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 (12958 MiB free)
memory of node 1: 16384 MiB (11658 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4406223-1569414245/watcher-4406223-1569414245 -o /tmp/evaluation-result-4406223-1569414245/solver-4406223-1569414245 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node141-1569396627-21716 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 1174005154 HOME/instance-4406223-1569414245.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
solver pid=25206, runsolver pid=25203
Current StackSize limit: 8192 KiB
[startup+0.101119 s]*
/proc/loadavg: 1.95 1.78 1.80 4/230 25222
/proc/meminfo: memFree=25190868/32770624 swapFree=66936840/67108860
[pid=25206] ppid=25203 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/25206/stat : 25206 (xcsp3-exec) S 25203 25206 21684 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517362285 115843072 362 33554432000 4194304 5098028 140725399371744 140725399369848 140567143137916 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 40660992 140725399376762 140725399377005 140725399377005 140725399379914 0
/proc/25206/statm: 28282 362 304 221 0 87 0
[pid=25208] ppid=25206 vsize=15144776 memory=30284 CPUtime=0.14 cores=1,3,5,7
/proc/25208/stat : 25208 (java) S 25206 25206 21684 0 -1 1077944320 5520 0 0 0 13 1 0 0 20 0 15 0 517362285 15508250624 7571 33554432000 4194304 4196468 140728973772304 140728973754848 140550497500919 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
/proc/25208/statm: 3786194 7571 3148 1 0 3748377 0
[pid=25208/tid=25209] ppid=25206 vsize=15144776 memory=-8895323862916359523 CPUtime=0.09 cores=1,3,5,7
/proc/25208/task/25209/stat : 25209 (java) R 25206 25206 21684 0 -1 4202560 3388 0 0 0 9 0 0 0 20 0 15 0 517362285 15508250624 7571 33554432000 4194304 4196468 140728973772304 140550501722976 140550489738046 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
[pid=25208/tid=25210] ppid=25206 vsize=15144776 memory=3472468293153342672 CPUtime=0 cores=1,3,5,7
/proc/25208/task/25210/stat : 25210 (java) S 25206 25206 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517362286 15508250624 7571 33554432000 4194304 4196468 140728973772304 140550090075280 140550497511125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
[pid=25208/tid=25211] ppid=25206 vsize=15144776 memory=140164258190976 CPUtime=0 cores=1,3,5,7
/proc/25208/task/25211/stat : 25211 (java) S 25206 25206 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517362286 15508250624 7571 33554432000 4194304 4196468 140728973772304 140550089022480 140550497511125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
[pid=25208/tid=25212] ppid=25206 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25208/task/25212/stat : 25212 (java) S 25206 25206 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517362286 15508250624 7571 33554432000 4194304 4196468 140728973772304 140550087969680 140550497511125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
[pid=25208/tid=25213] ppid=25206 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25208/task/25213/stat : 25213 (java) S 25206 25206 21684 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517362286 15508250624 7571 33554432000 4194304 4196468 140728973772304 140550086916880 140550497511125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
[pid=25208/tid=25214] ppid=25206 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25208/task/25214/stat : 25214 (java) S 25206 25206 21684 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517362288 15508250624 7571 33554432000 4194304 4196468 140728973772304 140549966080368 140550497512066 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
[pid=25208/tid=25215] ppid=25206 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25208/task/25215/stat : 25215 (java) S 25206 25206 21684 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517362288 15508250624 7571 33554432000 4194304 4196468 140728973772304 140549965026336 140550497511125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
[pid=25208/tid=25216] ppid=25206 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25208/task/25216/stat : 25216 (java) S 25206 25206 21684 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517362288 15508250624 7571 33554432000 4194304 4196468 140728973772304 140549963973488 140550497511125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
[pid=25208/tid=25217] ppid=25206 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25208/task/25217/stat : 25217 (java) S 25206 25206 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517362291 15508250624 7571 33554432000 4194304 4196468 140728973772304 140549962921808 140550497519515 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
[pid=25208/tid=25218] ppid=25206 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25208/task/25218/stat : 25218 (java) S 25206 25206 21684 0 -1 1077944384 343 0 0 0 0 0 0 0 20 0 15 0 517362291 15508250624 7571 33554432000 4194304 4196468 140728973772304 140549961870192 140550497512066 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
[pid=25208/tid=25219] ppid=25206 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25208/task/25219/stat : 25219 (java) S 25206 25206 21684 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 517362291 15508250624 7571 33554432000 4194304 4196468 140728973772304 140549960817392 140550497512066 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
[pid=25208/tid=25220] ppid=25206 vsize=15144776 memory=140164258190976 CPUtime=0.02 cores=1,3,5,7
/proc/25208/task/25220/stat : 25220 (java) R 25206 25206 21684 0 -1 4202560 364 0 0 0 2 0 0 0 20 0 15 0 517362291 15508250624 7571 33554432000 4194304 4196468 140728973772304 140549959764592 140550476450796 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
[pid=25208/tid=25221] ppid=25206 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25208/task/25221/stat : 25221 (java) S 25206 25206 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517362291 15508250624 7571 33554432000 4194304 4196468 140728973772304 140549958712032 140550497511125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
[pid=25208/tid=25222] ppid=25206 vsize=15144776 memory=140164258190976 CPUtime=0 cores=1,3,5,7
/proc/25208/task/25222/stat : 25222 (java) R 25206 25206 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517362291 15508250624 7571 33554432000 4194304 4196468 140728973772304 140549957659312 140550497512066 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31732 KiB
[startup+0.210995 s]*
/proc/loadavg: 1.95 1.78 1.80 3/230 25222
/proc/meminfo: memFree=25177988/32770624 swapFree=66936840/67108860
[pid=25206] ppid=25203 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/25206/stat : 25206 (xcsp3-exec) S 25203 25206 21684 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517362285 115843072 362 33554432000 4194304 5098028 140725399371744 140725399369848 140567143137916 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 40660992 140725399376762 140725399377005 140725399377005 140725399379914 0
/proc/25206/statm: 28282 362 304 221 0 87 0
[pid=25208] ppid=25206 vsize=15144776 memory=41428 CPUtime=0.35 cores=1,3,5,7
/proc/25208/stat : 25208 (java) S 25206 25206 21684 0 -1 1077944320 9055 0 0 0 32 3 0 0 20 0 15 0 517362285 15508250624 10357 33554432000 4194304 4196468 140728973772304 140728973754848 140550497500919 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
/proc/25208/statm: 3786194 10357 3294 1 0 3748377 0
[pid=25208/tid=25209] ppid=25206 vsize=15144776 memory=-8895323862916359523 CPUtime=0.2 cores=1,3,5,7
/proc/25208/task/25209/stat : 25209 (java) R 25206 25206 21684 0 -1 4202560 6186 0 0 0 18 2 0 0 20 0 15 0 517362285 15508250624 10357 33554432000 4194304 4196468 140728973772304 140550501734864 140550135107159 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
[pid=25208/tid=25210] ppid=25206 vsize=15144776 memory=3472468293153342672 CPUtime=0 cores=1,3,5,7
/proc/25208/task/25210/stat : 25210 (java) S 25206 25206 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517362286 15508250624 10357 33554432000 4194304 4196468 140728973772304 140550090075280 140550497511125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
[pid=25208/tid=25211] ppid=25206 vsize=15144776 memory=140164258190976 CPUtime=0 cores=1,3,5,7
/proc/25208/task/25211/stat : 25211 (java) S 25206 25206 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517362286 15508250624 10357 33554432000 4194304 4196468 140728973772304 140550089022480 140550497511125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
[pid=25208/tid=25212] ppid=25206 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25208/task/25212/stat : 25212 (java) S 25206 25206 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517362286 15508250624 10357 33554432000 4194304 4196468 140728973772304 140550087969680 140550497511125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
[pid=25208/tid=25213] ppid=25206 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25208/task/25213/stat : 25213 (java) S 25206 25206 21684 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517362286 15508250624 10357 33554432000 4194304 4196468 140728973772304 140550086916880 140550497511125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
[pid=25208/tid=25214] ppid=25206 vsize=15144776 memory=140164258190976 CPUtime=0 cores=1,3,5,7
/proc/25208/task/25214/stat : 25214 (java) S 25206 25206 21684 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517362288 15508250624 10357 33554432000 4194304 4196468 140728973772304 140549966080368 140550497512066 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
[pid=25208/tid=25215] ppid=25206 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25208/task/25215/stat : 25215 (java) S 25206 25206 21684 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517362288 15508250624 10357 33554432000 4194304 4196468 140728973772304 140549965026336 140550497511125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
[pid=25208/tid=25216] ppid=25206 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25208/task/25216/stat : 25216 (java) S 25206 25206 21684 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517362288 15508250624 10357 33554432000 4194304 4196468 140728973772304 140549963973488 140550497511125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
[pid=25208/tid=25217] ppid=25206 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25208/task/25217/stat : 25217 (java) S 25206 25206 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517362291 15508250624 10357 33554432000 4194304 4196468 140728973772304 140549962921808 140550497519515 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
[pid=25208/tid=25218] ppid=25206 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/25208/task/25218/stat : 25218 (java) S 25206 25206 21684 0 -1 1077944384 395 0 0 0 2 0 0 0 20 0 15 0 517362291 15508250624 10357 33554432000 4194304 4196468 140728973772304 140549961870192 140550497512066 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
[pid=25208/tid=25219] ppid=25206 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/25208/task/25219/stat : 25219 (java) S 25206 25206 21684 0 -1 1077944384 428 0 0 0 2 0 0 0 20 0 15 0 517362291 15508250624 10357 33554432000 4194304 4196468 140728973772304 140549960817392 140550497512066 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
[pid=25208/tid=25220] ppid=25206 vsize=15144776 memory=140164258190976 CPUtime=0.08 cores=1,3,5,7
/proc/25208/task/25220/stat : 25220 (java) R 25206 25206 21684 0 -1 4202560 741 0 0 0 8 0 0 0 20 0 15 0 517362291 15508250624 10357 33554432000 4194304 4196468 140728973772304 140549959764592 140550497522266 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
[pid=25208/tid=25221] ppid=25206 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25208/task/25221/stat : 25221 (java) S 25206 25206 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517362291 15508250624 10357 33554432000 4194304 4196468 140728973772304 140549958712032 140550497511125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
[pid=25208/tid=25222] ppid=25206 vsize=15144776 memory=140164258190976 CPUtime=0 cores=1,3,5,7
/proc/25208/task/25222/stat : 25222 (java) S 25206 25206 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517362291 15508250624 10357 33554432000 4194304 4196468 140728973772304 140549957659312 140550497512066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42876 KiB
[startup+0.310775 s]*
/proc/loadavg: 1.95 1.78 1.80 4/230 25222
/proc/meminfo: memFree=25171088/32770624 swapFree=66936840/67108860
[pid=25206] ppid=25203 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/25206/stat : 25206 (xcsp3-exec) S 25203 25206 21684 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517362285 115843072 362 33554432000 4194304 5098028 140725399371744 140725399369848 140567143137916 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 40660992 140725399376762 140725399377005 140725399377005 140725399379914 0
/proc/25206/statm: 28282 362 304 221 0 87 0
[pid=25208] ppid=25206 vsize=15149032 memory=50472 CPUtime=0.53 cores=1,3,5,7
/proc/25208/stat : 25208 (java) S 25206 25206 21684 0 -1 1077944320 10424 0 0 0 50 3 0 0 20 0 15 0 517362285 15512608768 12618 33554432000 4194304 4196468 140728973772304 140728973754848 140550497500919 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
/proc/25208/statm: 3787258 12618 3364 1 0 3748377 0
[pid=25208/tid=25209] ppid=25206 vsize=15149032 memory=-8094235084319000145 CPUtime=0.29 cores=1,3,5,7
/proc/25208/task/25209/stat : 25209 (java) R 25206 25206 21684 0 -1 4202560 7365 0 0 0 27 2 0 0 20 0 15 0 517362285 15512608768 12618 33554432000 4194304 4196468 140728973772304 140550501735936 140550497522845 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
[pid=25208/tid=25210] ppid=25206 vsize=15149032 memory=3472468293153342672 CPUtime=0 cores=1,3,5,7
/proc/25208/task/25210/stat : 25210 (java) S 25206 25206 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517362286 15512608768 12618 33554432000 4194304 4196468 140728973772304 140550090075280 140550497511125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
[pid=25208/tid=25211] ppid=25206 vsize=15149032 memory=280328368523648 CPUtime=0 cores=1,3,5,7
/proc/25208/task/25211/stat : 25211 (java) S 25206 25206 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517362286 15512608768 12618 33554432000 4194304 4196468 140728973772304 140550089022480 140550497511125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
[pid=25208/tid=25212] ppid=25206 vsize=15149032 memory=280328220697632 CPUtime=0 cores=1,3,5,7
/proc/25208/task/25212/stat : 25212 (java) S 25206 25206 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517362286 15512608768 12618 33554432000 4194304 4196468 140728973772304 140550087969680 140550497511125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
[pid=25208/tid=25213] ppid=25206 vsize=15149032 memory=140164110332687 CPUtime=0 cores=1,3,5,7
/proc/25208/task/25213/stat : 25213 (java) S 25206 25206 21684 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517362286 15512608768 12618 33554432000 4194304 4196468 140728973772304 140550086916880 140550497511125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
[pid=25208/tid=25214] ppid=25206 vsize=15149032 memory=280328368532864 CPUtime=0 cores=1,3,5,7
/proc/25208/task/25214/stat : 25214 (java) S 25206 25206 21684 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517362288 15512608768 12618 33554432000 4194304 4196468 140728973772304 140549966080368 140550497512066 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
[pid=25208/tid=25215] ppid=25206 vsize=15149032 memory=140164110337295 CPUtime=0 cores=1,3,5,7
/proc/25208/task/25215/stat : 25215 (java) S 25206 25206 21684 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517362288 15512608768 12618 33554432000 4194304 4196468 140728973772304 140549965026336 140550497511125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
[pid=25208/tid=25216] ppid=25206 vsize=15149032 memory=140164110363867 CPUtime=0 cores=1,3,5,7
/proc/25208/task/25216/stat : 25216 (java) S 25206 25206 21684 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517362288 15512608768 12618 33554432000 4194304 4196468 140728973772304 140549963973488 140550497511125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
[pid=25208/tid=25217] ppid=25206 vsize=15149032 memory=140164110366946 CPUtime=0 cores=1,3,5,7
/proc/25208/task/25217/stat : 25217 (java) S 25206 25206 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517362291 15512608768 12618 33554432000 4194304 4196468 140728973772304 140549962921808 140550497519515 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
[pid=25208/tid=25218] ppid=25206 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/25208/task/25218/stat : 25218 (java) S 25206 25206 21684 0 -1 1077944384 408 0 0 0 4 0 0 0 20 0 15 0 517362291 15512608768 12618 33554432000 4194304 4196468 140728973772304 140549961870192 140550497512066 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
[pid=25208/tid=25219] ppid=25206 vsize=15149032 memory=-1 CPUtime=0.05 cores=1,3,5,7
/proc/25208/task/25219/stat : 25219 (java) S 25206 25206 21684 0 -1 1077944384 533 0 0 0 5 0 0 0 20 0 15 0 517362291 15512608768 12618 33554432000 4194304 4196468 140728973772304 140549960817392 140550497512066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
[pid=25208/tid=25220] ppid=25206 vsize=15149032 memory=140164258190976 CPUtime=0.12 cores=1,3,5,7
/proc/25208/task/25220/stat : 25220 (java) S 25206 25206 21684 0 -1 1077944384 816 0 0 0 12 0 0 0 20 0 15 0 517362291 15512608768 12618 33554432000 4194304 4196468 140728973772304 140549959764592 140550497512066 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
[pid=25208/tid=25221] ppid=25206 vsize=15149032 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25208/task/25221/stat : 25221 (java) S 25206 25206 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517362291 15512608768 12618 33554432000 4194304 4196468 140728973772304 140549958712032 140550497511125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
[pid=25208/tid=25222] ppid=25206 vsize=15149032 memory=140164258192424 CPUtime=0 cores=1,3,5,7
/proc/25208/task/25222/stat : 25222 (java) S 25206 25206 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517362291 15512608768 12618 33554432000 4194304 4196468 140728973772304 140549957659312 140550497512066 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51920 KiB
[startup+0.701594 s]
/proc/loadavg: 1.95 1.78 1.80 7/230 25222
/proc/meminfo: memFree=25148688/32770624 swapFree=66936840/67108860
[pid=25206] ppid=25203 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/25206/stat : 25206 (xcsp3-exec) S 25203 25206 21684 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517362285 115843072 362 33554432000 4194304 5098028 140725399371744 140725399369848 140567143137916 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 40660992 140725399376762 140725399377005 140725399377005 140725399379914 0
/proc/25206/statm: 28282 362 304 221 0 87 0
[pid=25208] ppid=25206 vsize=15151156 memory=102444 CPUtime=1.81 cores=1,3,5,7
/proc/25208/stat : 25208 (java) S 25206 25206 21684 0 -1 1077944320 15207 0 0 0 176 5 0 0 20 0 15 0 517362285 15514783744 25611 33554432000 4194304 4196468 140728973772304 140728973754848 140550497500919 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
/proc/25208/statm: 3787789 25611 3451 1 0 3748889 0
[pid=25208/tid=25209] ppid=25206 vsize=15151156 memory=6945208551368380768 CPUtime=0.67 cores=1,3,5,7
/proc/25208/task/25209/stat : 25209 (java) R 25206 25206 21684 0 -1 1077944384 8614 0 0 0 64 3 0 0 20 0 15 0 517362285 15514783744 25611 33554432000 4194304 4196468 140728973772304 140550501735312 140550497511125 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
[pid=25208/tid=25210] ppid=25206 vsize=15151156 memory=7084813469732589655 CPUtime=0 cores=1,3,5,7
/proc/25208/task/25210/stat : 25210 (java) S 25206 25206 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517362286 15514783744 25611 33554432000 4194304 4196468 140728973772304 140550090075280 140550497511125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
[pid=25208/tid=25211] ppid=25206 vsize=15151156 memory=7881696724453321575 CPUtime=0 cores=1,3,5,7
/proc/25208/task/25211/stat : 25211 (java) S 25206 25206 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517362286 15514783744 25611 33554432000 4194304 4196468 140728973772304 140550089022480 140550497511125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
[pid=25208/tid=25212] ppid=25206 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25208/task/25212/stat : 25212 (java) S 25206 25206 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517362286 15514783744 25611 33554432000 4194304 4196468 140728973772304 140550087969680 140550497511125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
[pid=25208/tid=25213] ppid=25206 vsize=15151156 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/25208/task/25213/stat : 25213 (java) S 25206 25206 21684 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517362286 15514783744 25611 33554432000 4194304 4196468 140728973772304 140550086916880 140550497511125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
[pid=25208/tid=25214] ppid=25206 vsize=15151156 memory=11620 CPUtime=0 cores=1,3,5,7
/proc/25208/task/25214/stat : 25214 (java) S 25206 25206 21684 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 517362288 15514783744 25611 33554432000 4194304 4196468 140728973772304 140549966080368 140550497512066 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
[pid=25208/tid=25215] ppid=25206 vsize=15151156 memory=3608 CPUtime=0 cores=1,3,5,7
/proc/25208/task/25215/stat : 25215 (java) S 25206 25206 21684 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517362288 15514783744 25611 33554432000 4194304 4196468 140728973772304 140549965026336 140550497511125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
[pid=25208/tid=25216] ppid=25206 vsize=15151156 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/25208/task/25216/stat : 25216 (java) S 25206 25206 21684 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517362288 15514783744 25611 33554432000 4194304 4196468 140728973772304 140549963973488 140550497511125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
[pid=25208/tid=25217] ppid=25206 vsize=15151156 memory=1000 CPUtime=0 cores=1,3,5,7
/proc/25208/task/25217/stat : 25217 (java) S 25206 25206 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517362291 15514783744 25611 33554432000 4194304 4196468 140728973772304 140549962921808 140550497519515 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
[pid=25208/tid=25218] ppid=25206 vsize=15151156 memory=1560 CPUtime=0.36 cores=1,3,5,7
/proc/25208/task/25218/stat : 25218 (java) R 25206 25206 21684 0 -1 4202560 1822 0 0 0 36 0 0 0 20 0 15 0 517362291 15514783744 25611 33554432000 4194304 4196468 140728973772304 140549961860544 140550479045470 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
[pid=25208/tid=25219] ppid=25206 vsize=15151156 memory=1172 CPUtime=0.36 cores=1,3,5,7
/proc/25208/task/25219/stat : 25219 (java) R 25206 25206 21684 0 -1 4202560 1577 0 0 0 36 0 0 0 20 0 15 0 517362291 15514783744 25611 33554432000 4194304 4196468 140728973772304 140549960808720 140550475248408 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
[pid=25208/tid=25220] ppid=25206 vsize=15151156 memory=14008 CPUtime=0.38 cores=1,3,5,7
/proc/25208/task/25220/stat : 25220 (java) R 25206 25206 21684 0 -1 4202560 1887 0 0 0 38 0 0 0 20 0 15 0 517362291 15514783744 25611 33554432000 4194304 4196468 140728973772304 140549959764592 140550475601505 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
[pid=25208/tid=25221] ppid=25206 vsize=15151156 memory=14076 CPUtime=0 cores=1,3,5,7
/proc/25208/task/25221/stat : 25221 (java) S 25206 25206 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517362291 15514783744 25611 33554432000 4194304 4196468 140728973772304 140549958712032 140550497511125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
[pid=25208/tid=25222] ppid=25206 vsize=15151156 memory=2116 CPUtime=0 cores=1,3,5,7
/proc/25208/task/25222/stat : 25222 (java) S 25206 25206 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517362291 15514783744 25611 33554432000 4194304 4196468 140728973772304 140549957659312 140550497512066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
Current children cumulated CPU time: 1.81 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 103892 KiB
[startup+1.50088 s]
/proc/loadavg: 1.95 1.78 1.80 5/230 25222
/proc/meminfo: memFree=25074972/32770624 swapFree=66936840/67108860
[pid=25206] ppid=25203 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/25206/stat : 25206 (xcsp3-exec) S 25203 25206 21684 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517362285 115843072 362 33554432000 4194304 5098028 140725399371744 140725399369848 140567143137916 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 40660992 140725399376762 140725399377005 140725399377005 140725399379914 0
/proc/25206/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/25206/stat : 25206 (xcsp3-exec) S 25203 25206 21684 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517362285 115843072 362 33554432000 4194304 5098028 140725399371744 140725399369848 140567143137916 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 40660992 140725399376762 140725399377005 140725399377005 140725399379914 0
/proc/25206/statm: 28282 362 304 221 0 87 0
[pid=25208] ppid=25206 vsize=15153204 memory=216572 CPUtime=409.01 cores=1,3,5,7
/proc/25208/stat : 25208 (java) S 25206 25206 21684 0 -1 1077944320 59841 0 0 0 40884 17 0 0 20 0 15 0 517362285 15516880896 54143 33554432000 4194304 4196468 140728973772304 140728973754848 140550497500919 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
/proc/25208/statm: 3788301 54143 3515 1 0 3749401 0
[pid=25208/tid=25209] ppid=25206 vsize=15153204 memory=1448 CPUtime=403.15 cores=1,3,5,7
/proc/25208/task/25209/stat : 25209 (java) R 25206 25206 21684 0 -1 4202560 15462 0 0 0 40309 6 0 0 20 0 15 0 517362285 15516880896 54143 33554432000 4194304 4196468 140728973772304 140550501737344 140550142533823 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
[pid=25208/tid=25210] ppid=25206 vsize=15153204 memory=4206470239542849568 CPUtime=0.01 cores=1,3,5,7
/proc/25208/task/25210/stat : 25210 (java) S 25206 25206 21684 0 -1 1077944384 844 0 0 0 1 0 0 0 20 0 15 0 517362286 15516880896 54143 33554432000 4194304 4196468 140728973772304 140550090075280 140550497511125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
[pid=25208/tid=25211] ppid=25206 vsize=15153204 memory=589972051086833205 CPUtime=0.01 cores=1,3,5,7
/proc/25208/task/25211/stat : 25211 (java) S 25206 25206 21684 0 -1 1077944384 319 0 0 0 1 0 0 0 20 0 15 0 517362286 15516880896 54143 33554432000 4194304 4196468 140728973772304 140550089022480 140550497511125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
[pid=25208/tid=25212] ppid=25206 vsize=15153204 memory=1448 CPUtime=0.01 cores=1,3,5,7
/proc/25208/task/25212/stat : 25212 (java) S 25206 25206 21684 0 -1 1077944384 1214 0 0 0 1 0 0 0 20 0 15 0 517362286 15516880896 54143 33554432000 4194304 4196468 140728973772304 140550087969680 140550497511125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
[pid=25208/tid=25213] ppid=25206 vsize=15153204 memory=216572 CPUtime=0.01 cores=1,3,5,7
/proc/25208/task/25213/stat : 25213 (java) S 25206 25206 21684 0 -1 1077944384 1038 0 0 0 1 0 0 0 20 0 15 0 517362286 15516880896 54143 33554432000 4194304 4196468 140728973772304 140550086916880 140550497511125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
[pid=25208/tid=25214] ppid=25206 vsize=15153204 memory=1448 CPUtime=0.01 cores=1,3,5,7
/proc/25208/task/25214/stat : 25214 (java) S 25206 25206 21684 0 -1 1077944384 998 0 0 0 1 0 0 0 20 0 15 0 517362288 15516880896 54143 33554432000 4194304 4196468 140728973772304 140549966080368 140550497512066 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
[pid=25208/tid=25215] ppid=25206 vsize=15153204 memory=216572 CPUtime=0 cores=1,3,5,7
/proc/25208/task/25215/stat : 25215 (java) S 25206 25206 21684 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 517362288 15516880896 54143 33554432000 4194304 4196468 140728973772304 140549965026400 140550497511125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
[pid=25208/tid=25216] ppid=25206 vsize=15153204 memory=-3622645143214314312 CPUtime=0 cores=1,3,5,7
/proc/25208/task/25216/stat : 25216 (java) S 25206 25206 21684 0 -1 1077944384 95 0 0 0 0 0 0 0 20 0 15 0 517362288 15516880896 54143 33554432000 4194304 4196468 140728973772304 140549963973504 140550497511125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
[pid=25208/tid=25217] ppid=25206 vsize=15153204 memory=6192 CPUtime=0 cores=1,3,5,7
/proc/25208/task/25217/stat : 25217 (java) S 25206 25206 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517362291 15516880896 54143 33554432000 4194304 4196468 140728973772304 140549962921808 140550497519515 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
[pid=25208/tid=25218] ppid=25206 vsize=15153204 memory=768 CPUtime=2.35 cores=1,3,5,7
/proc/25208/task/25218/stat : 25218 (java) S 25206 25206 21684 0 -1 1077944384 13800 0 0 0 234 1 0 0 20 0 15 0 517362291 15516880896 54143 33554432000 4194304 4196468 140728973772304 140549961870192 140550497512066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 22 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
[pid=25208/tid=25219] ppid=25206 vsize=15153204 memory=780 CPUtime=2.43 cores=1,3,5,7
/proc/25208/task/25219/stat : 25219 (java) S 25206 25206 21684 0 -1 1077944384 14907 0 0 0 242 1 0 0 20 0 15 0 517362291 15516880896 54143 33554432000 4194304 4196468 140728973772304 140549960817392 140550497512066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 22 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
[pid=25208/tid=25220] ppid=25206 vsize=15153204 memory=6791534058613427641 CPUtime=0.87 cores=1,3,5,7
/proc/25208/task/25220/stat : 25220 (java) S 25206 25206 21684 0 -1 1077944384 9150 0 0 0 85 2 0 0 20 0 15 0 517362291 15516880896 54143 33554432000 4194304 4196468 140728973772304 140549959764592 140550497512066 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
[pid=25208/tid=25221] ppid=25206 vsize=15153204 memory=916 CPUtime=0 cores=1,3,5,7
/proc/25208/task/25221/stat : 25221 (java) S 25206 25206 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517362291 15516880896 54143 33554432000 4194304 4196468 140728973772304 140549958712032 140550497511125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
[pid=25208/tid=25222] ppid=25206 vsize=15153204 memory=3848 CPUtime=0.07 cores=1,3,5,7
/proc/25208/task/25222/stat : 25222 (java) S 25206 25206 21684 0 -1 1077944384 690 0 0 0 3 4 0 0 20 0 15 0 517362291 15516880896 54143 33554432000 4194304 4196468 140728973772304 140549957659312 140550497512066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 26 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
Current children cumulated CPU time: 409.01 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 218020 KiB
[startup+404.001 s]*
/proc/loadavg: 1.95 1.91 1.86 3/230 25262
/proc/meminfo: memFree=24969596/32770624 swapFree=66936840/67108860
[pid=25206] ppid=25203 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/25206/stat : 25206 (xcsp3-exec) S 25203 25206 21684 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517362285 115843072 362 33554432000 4194304 5098028 140725399371744 140725399369848 140567143137916 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 40660992 140725399376762 140725399377005 140725399377005 140725399379914 0
/proc/25206/statm: 28282 362 304 221 0 87 0
[pid=25208] ppid=25206 vsize=15153204 memory=216572 CPUtime=409.82 cores=1,3,5,7
/proc/25208/stat : 25208 (java) S 25206 25206 21684 0 -1 1077944320 59841 0 0 0 40965 17 0 0 20 0 15 0 517362285 15516880896 54143 33554432000 4194304 4196468 140728973772304 140728973754848 140550497500919 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
/proc/25208/statm: 3788301 54143 3515 1 0 3749401 0
[pid=25208/tid=25209] ppid=25206 vsize=15153204 memory=1398722017469774279 CPUtime=403.95 cores=1,3,5,7
/proc/25208/task/25209/stat : 25209 (java) R 25206 25206 21684 0 -1 4202560 15462 0 0 0 40389 6 0 0 20 0 15 0 517362285 15516880896 54143 33554432000 4194304 4196468 140728973772304 140550501737344 140550141984092 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
[pid=25208/tid=25210] ppid=25206 vsize=15153204 memory=-7003737579269690708 CPUtime=0.01 cores=1,3,5,7
/proc/25208/task/25210/stat : 25210 (java) S 25206 25206 21684 0 -1 1077944384 844 0 0 0 1 0 0 0 20 0 15 0 517362286 15516880896 54143 33554432000 4194304 4196468 140728973772304 140550090075280 140550497511125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
[pid=25208/tid=25211] ppid=25206 vsize=15153204 memory=916 CPUtime=0.01 cores=1,3,5,7
/proc/25208/task/25211/stat : 25211 (java) S 25206 25206 21684 0 -1 1077944384 319 0 0 0 1 0 0 0 20 0 15 0 517362286 15516880896 54143 33554432000 4194304 4196468 140728973772304 140550089022480 140550497511125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
[pid=25208/tid=25212] ppid=25206 vsize=15153204 memory=3848 CPUtime=0.01 cores=1,3,5,7
/proc/25208/task/25212/stat : 25212 (java) S 25206 25206 21684 0 -1 1077944384 1214 0 0 0 1 0 0 0 20 0 15 0 517362286 15516880896 54143 33554432000 4194304 4196468 140728973772304 140550087969680 140550497511125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
[pid=25208/tid=25213] ppid=25206 vsize=15153204 memory=2688 CPUtime=0.01 cores=1,3,5,7
/proc/25208/task/25213/stat : 25213 (java) S 25206 25206 21684 0 -1 1077944384 1038 0 0 0 1 0 0 0 20 0 15 0 517362286 15516880896 54143 33554432000 4194304 4196468 140728973772304 140550086916880 140550497511125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
[pid=25208/tid=25214] ppid=25206 vsize=15153204 memory=2728 CPUtime=0.01 cores=1,3,5,7
/proc/25208/task/25214/stat : 25214 (java) S 25206 25206 21684 0 -1 1077944384 998 0 0 0 1 0 0 0 20 0 15 0 517362288 15516880896 54143 33554432000 4194304 4196468 140728973772304 140549966080368 140550497512066 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
[pid=25208/tid=25215] ppid=25206 vsize=15153204 memory=4100 CPUtime=0 cores=1,3,5,7
/proc/25208/task/25215/stat : 25215 (java) S 25206 25206 21684 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 517362288 15516880896 54143 33554432000 4194304 4196468 140728973772304 140549965026400 140550497511125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
[pid=25208/tid=25216] ppid=25206 vsize=15153204 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/25208/task/25216/stat : 25216 (java) S 25206 25206 21684 0 -1 1077944384 95 0 0 0 0 0 0 0 20 0 15 0 517362288 15516880896 54143 33554432000 4194304 4196468 140728973772304 140549963973504 140550497511125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
[pid=25208/tid=25217] ppid=25206 vsize=15153204 memory=3196 CPUtime=0 cores=1,3,5,7
/proc/25208/task/25217/stat : 25217 (java) S 25206 25206 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517362291 15516880896 54143 33554432000 4194304 4196468 140728973772304 140549962921808 140550497519515 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
[pid=25208/tid=25218] ppid=25206 vsize=15153204 memory=1452 CPUtime=2.35 cores=1,3,5,7
/proc/25208/task/25218/stat : 25218 (java) S 25206 25206 21684 0 -1 1077944384 13800 0 0 0 234 1 0 0 20 0 15 0 517362291 15516880896 54143 33554432000 4194304 4196468 140728973772304 140549961870192 140550497512066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 22 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
[pid=25208/tid=25219] ppid=25206 vsize=15153204 memory=190068 CPUtime=2.43 cores=1,3,5,7
/proc/25208/task/25219/stat : 25219 (java) S 25206 25206 21684 0 -1 1077944384 14907 0 0 0 242 1 0 0 20 0 15 0 517362291 15516880896 54143 33554432000 4194304 4196468 140728973772304 140549960817392 140550497512066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 22 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
[pid=25208/tid=25220] ppid=25206 vsize=15153204 memory=1412 CPUtime=0.87 cores=1,3,5,7
/proc/25208/task/25220/stat : 25220 (java) S 25206 25206 21684 0 -1 1077944384 9150 0 0 0 85 2 0 0 20 0 15 0 517362291 15516880896 54143 33554432000 4194304 4196468 140728973772304 140549959764592 140550497512066 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
[pid=25208/tid=25221] ppid=25206 vsize=15153204 memory=3168 CPUtime=0 cores=1,3,5,7
/proc/25208/task/25221/stat : 25221 (java) S 25206 25206 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517362291 15516880896 54143 33554432000 4194304 4196468 140728973772304 140549958712032 140550497511125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
[pid=25208/tid=25222] ppid=25206 vsize=15153204 memory=1448 CPUtime=0.07 cores=1,3,5,7
/proc/25208/task/25222/stat : 25222 (java) S 25206 25206 21684 0 -1 1077944384 690 0 0 0 3 4 0 0 20 0 15 0 517362291 15516880896 54143 33554432000 4194304 4196468 140728973772304 140549957659312 140550497512066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 26 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
Current children cumulated CPU time: 409.82 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 218020 KiB
[startup+404.401 s]
/proc/loadavg: 1.95 1.91 1.86 3/230 25262
/proc/meminfo: memFree=24969596/32770624 swapFree=66936840/67108860
[pid=25206] ppid=25203 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/25206/stat : 25206 (xcsp3-exec) S 25203 25206 21684 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517362285 115843072 362 33554432000 4194304 5098028 140725399371744 140725399369848 140567143137916 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 40660992 140725399376762 140725399377005 140725399377005 140725399379914 0
/proc/25206/statm: 28282 362 304 221 0 87 0
[pid=25208] ppid=25206 vsize=15153204 memory=216572 CPUtime=410.21 cores=1,3,5,7
/proc/25208/stat : 25208 (java) S 25206 25206 21684 0 -1 1077944320 59841 0 0 0 41004 17 0 0 20 0 15 0 517362285 15516880896 54143 33554432000 4194304 4196468 140728973772304 140728973754848 140550497500919 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
/proc/25208/statm: 3788301 54143 3515 1 0 3749401 0
[pid=25208/tid=25209] ppid=25206 vsize=15153204 memory=1804 CPUtime=404.35 cores=1,3,5,7
/proc/25208/task/25209/stat : 25209 (java) R 25206 25206 21684 0 -1 4202560 15462 0 0 0 40429 6 0 0 20 0 15 0 517362285 15516880896 54143 33554432000 4194304 4196468 140728973772304 140550501737344 140550141984310 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
[pid=25208/tid=25210] ppid=25206 vsize=15153204 memory=6791534058613427641 CPUtime=0.01 cores=1,3,5,7
/proc/25208/task/25210/stat : 25210 (java) S 25206 25206 21684 0 -1 1077944384 844 0 0 0 1 0 0 0 20 0 15 0 517362286 15516880896 54143 33554432000 4194304 4196468 140728973772304 140550090075280 140550497511125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
[pid=25208/tid=25211] ppid=25206 vsize=15153204 memory=1424 CPUtime=0.01 cores=1,3,5,7
/proc/25208/task/25211/stat : 25211 (java) S 25206 25206 21684 0 -1 1077944384 319 0 0 0 1 0 0 0 20 0 15 0 517362286 15516880896 54143 33554432000 4194304 4196468 140728973772304 140550089022480 140550497511125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
[pid=25208/tid=25212] ppid=25206 vsize=15153204 memory=1704 CPUtime=0.01 cores=1,3,5,7
/proc/25208/task/25212/stat : 25212 (java) S 25206 25206 21684 0 -1 1077944384 1214 0 0 0 1 0 0 0 20 0 15 0 517362286 15516880896 54143 33554432000 4194304 4196468 140728973772304 140550087969680 140550497511125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
[pid=25208/tid=25213] ppid=25206 vsize=15153204 memory=6192 CPUtime=0.01 cores=1,3,5,7
/proc/25208/task/25213/stat : 25213 (java) S 25206 25206 21684 0 -1 1077944384 1038 0 0 0 1 0 0 0 20 0 15 0 517362286 15516880896 54143 33554432000 4194304 4196468 140728973772304 140550086916880 140550497511125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
[pid=25208/tid=25214] ppid=25206 vsize=15153204 memory=768 CPUtime=0.01 cores=1,3,5,7
/proc/25208/task/25214/stat : 25214 (java) S 25206 25206 21684 0 -1 1077944384 998 0 0 0 1 0 0 0 20 0 15 0 517362288 15516880896 54143 33554432000 4194304 4196468 140728973772304 140549966080368 140550497512066 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
[pid=25208/tid=25215] ppid=25206 vsize=15153204 memory=780 CPUtime=0 cores=1,3,5,7
/proc/25208/task/25215/stat : 25215 (java) S 25206 25206 21684 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 517362288 15516880896 54143 33554432000 4194304 4196468 140728973772304 140549965026400 140550497511125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
[pid=25208/tid=25216] ppid=25206 vsize=15153204 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/25208/task/25216/stat : 25216 (java) S 25206 25206 21684 0 -1 1077944384 95 0 0 0 0 0 0 0 20 0 15 0 517362288 15516880896 54143 33554432000 4194304 4196468 140728973772304 140549963973504 140550497511125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
[pid=25208/tid=25217] ppid=25206 vsize=15153204 memory=11620 CPUtime=0 cores=1,3,5,7
/proc/25208/task/25217/stat : 25217 (java) S 25206 25206 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517362291 15516880896 54143 33554432000 4194304 4196468 140728973772304 140549962921808 140550497519515 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
[pid=25208/tid=25218] ppid=25206 vsize=15153204 memory=3608 CPUtime=2.35 cores=1,3,5,7
/proc/25208/task/25218/stat : 25218 (java) S 25206 25206 21684 0 -1 1077944384 13800 0 0 0 234 1 0 0 20 0 15 0 517362291 15516880896 54143 33554432000 4194304 4196468 140728973772304 140549961870192 140550497512066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 22 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
[pid=25208/tid=25219] ppid=25206 vsize=15153204 memory=2828 CPUtime=2.43 cores=1,3,5,7
/proc/25208/task/25219/stat : 25219 (java) S 25206 25206 21684 0 -1 1077944384 14907 0 0 0 242 1 0 0 20 0 15 0 517362291 15516880896 54143 33554432000 4194304 4196468 140728973772304 140549960817392 140550497512066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 22 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
[pid=25208/tid=25220] ppid=25206 vsize=15153204 memory=1000 CPUtime=0.87 cores=1,3,5,7
/proc/25208/task/25220/stat : 25220 (java) S 25206 25206 21684 0 -1 1077944384 9150 0 0 0 85 2 0 0 20 0 15 0 517362291 15516880896 54143 33554432000 4194304 4196468 140728973772304 140549959764592 140550497512066 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
[pid=25208/tid=25221] ppid=25206 vsize=15153204 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/25208/task/25221/stat : 25221 (java) S 25206 25206 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517362291 15516880896 54143 33554432000 4194304 4196468 140728973772304 140549958712032 140550497511125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
[pid=25208/tid=25222] ppid=25206 vsize=15153204 memory=1172 CPUtime=0.07 cores=1,3,5,7
/proc/25208/task/25222/stat : 25222 (java) S 25206 25206 21684 0 -1 1077944384 690 0 0 0 3 4 0 0 20 0 15 0 517362291 15516880896 54143 33554432000 4194304 4196468 140728973772304 140549957659312 140550497512066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 26 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
Current children cumulated CPU time: 410.21 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 218020 KiB
[startup+404.801 s]
/proc/loadavg: 1.95 1.91 1.86 3/230 25262
/proc/meminfo: memFree=24969596/32770624 swapFree=66936840/67108860
[pid=25206] ppid=25203 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/25206/stat : 25206 (xcsp3-exec) S 25203 25206 21684 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517362285 115843072 362 33554432000 4194304 5098028 140725399371744 140725399369848 140567143137916 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 40660992 140725399376762 140725399377005 140725399377005 140725399379914 0
/proc/25206/statm: 28282 362 304 221 0 87 0
[pid=25208] ppid=25206 vsize=15153204 memory=216572 CPUtime=410.61 cores=1,3,5,7
/proc/25208/stat : 25208 (java) S 25206 25206 21684 0 -1 1077944320 59841 0 0 0 41044 17 0 0 20 0 15 0 517362285 15516880896 54143 33554432000 4194304 4196468 140728973772304 140728973754848 140550497500919 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
/proc/25208/statm: 3788301 54143 3515 1 0 3749401 0
[pid=25208/tid=25209] ppid=25206 vsize=15153204 memory=216572 CPUtime=404.75 cores=1,3,5,7
/proc/25208/task/25209/stat : 25209 (java) R 25206 25206 21684 0 -1 4202560 15462 0 0 0 40469 6 0 0 20 0 15 0 517362285 15516880896 54143 33554432000 4194304 4196468 140728973772304 140550501737344 140550143338711 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
[pid=25208/tid=25210] ppid=25206 vsize=15153204 memory=216572 CPUtime=0.01 cores=1,3,5,7
/proc/25208/task/25210/stat : 25210 (java) S 25206 25206 21684 0 -1 1077944384 844 0 0 0 1 0 0 0 20 0 15 0 517362286 15516880896 54143 33554432000 4194304 4196468 140728973772304 140550090075280 140550497511125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
[pid=25208/tid=25211] ppid=25206 vsize=15153204 memory=1448 CPUtime=0.01 cores=1,3,5,7
/proc/25208/task/25211/stat : 25211 (java) S 25206 25206 21684 0 -1 1077944384 319 0 0 0 1 0 0 0 20 0 15 0 517362286 15516880896 54143 33554432000 4194304 4196468 140728973772304 140550089022480 140550497511125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
[pid=25208/tid=25212] ppid=25206 vsize=15153204 memory=6791534058613427641 CPUtime=0.01 cores=1,3,5,7
/proc/25208/task/25212/stat : 25212 (java) S 25206 25206 21684 0 -1 1077944384 1214 0 0 0 1 0 0 0 20 0 15 0 517362286 15516880896 54143 33554432000 4194304 4196468 140728973772304 140550087969680 140550497511125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
[pid=25208/tid=25213] ppid=25206 vsize=15153204 memory=2432 CPUtime=0.01 cores=1,3,5,7
/proc/25208/task/25213/stat : 25213 (java) S 25206 25206 21684 0 -1 1077944384 1038 0 0 0 1 0 0 0 20 0 15 0 517362286 15516880896 54143 33554432000 4194304 4196468 140728973772304 140550086916880 140550497511125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
[pid=25208/tid=25214] ppid=25206 vsize=15153204 memory=1760 CPUtime=0.01 cores=1,3,5,7
/proc/25208/task/25214/stat : 25214 (java) S 25206 25206 21684 0 -1 1077944384 998 0 0 0 1 0 0 0 20 0 15 0 517362288 15516880896 54143 33554432000 4194304 4196468 140728973772304 140549966080368 140550497512066 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
[pid=25208/tid=25215] ppid=25206 vsize=15153204 memory=111636 CPUtime=0 cores=1,3,5,7
/proc/25208/task/25215/stat : 25215 (java) S 25206 25206 21684 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 517362288 15516880896 54143 33554432000 4194304 4196468 140728973772304 140549965026400 140550497511125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
[pid=25208/tid=25216] ppid=25206 vsize=15153204 memory=800 CPUtime=0 cores=1,3,5,7
/proc/25208/task/25216/stat : 25216 (java) S 25206 25206 21684 0 -1 1077944384 95 0 0 0 0 0 0 0 20 0 15 0 517362288 15516880896 54143 33554432000 4194304 4196468 140728973772304 140549963973504 140550497511125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
[pid=25208/tid=25217] ppid=25206 vsize=15153204 memory=2116 CPUtime=0 cores=1,3,5,7
/proc/25208/task/25217/stat : 25217 (java) S 25206 25206 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517362291 15516880896 54143 33554432000 4194304 4196468 140728973772304 140549962921808 140550497519515 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
[pid=25208/tid=25218] ppid=25206 vsize=15153204 memory=24120 CPUtime=2.35 cores=1,3,5,7
/proc/25208/task/25218/stat : 25218 (java) S 25206 25206 21684 0 -1 1077944384 13800 0 0 0 234 1 0 0 20 0 15 0 517362291 15516880896 54143 33554432000 4194304 4196468 140728973772304 140549961870192 140550497512066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 22 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
[pid=25208/tid=25219] ppid=25206 vsize=15153204 memory=528 CPUtime=2.43 cores=1,3,5,7
/proc/25208/task/25219/stat : 25219 (java) S 25206 25206 21684 0 -1 1077944384 14907 0 0 0 242 1 0 0 20 0 15 0 517362291 15516880896 54143 33554432000 4194304 4196468 140728973772304 140549960817392 140550497512066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 22 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
[pid=25208/tid=25220] ppid=25206 vsize=15153204 memory=1980 CPUtime=0.87 cores=1,3,5,7
/proc/25208/task/25220/stat : 25220 (java) S 25206 25206 21684 0 -1 1077944384 9150 0 0 0 85 2 0 0 20 0 15 0 517362291 15516880896 54143 33554432000 4194304 4196468 140728973772304 140549959764592 140550497512066 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
[pid=25208/tid=25221] ppid=25206 vsize=15153204 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/25208/task/25221/stat : 25221 (java) S 25206 25206 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517362291 15516880896 54143 33554432000 4194304 4196468 140728973772304 140549958712032 140550497511125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
[pid=25208/tid=25222] ppid=25206 vsize=15153204 memory=1448 CPUtime=0.07 cores=1,3,5,7
/proc/25208/task/25222/stat : 25222 (java) S 25206 25206 21684 0 -1 1077944384 690 0 0 0 3 4 0 0 20 0 15 0 517362291 15516880896 54143 33554432000 4194304 4196468 140728973772304 140549957659312 140550497512066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 26 0 0 6293624 6294260 10199040 140728973775855 140728973776026 140728973776026 140728973778895 0
Current children cumulated CPU time: 410.61 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 218020 KiB
Child status: 0
Real time (s): 404.811
CPU time (s): 410.629
CPU user time (s): 410.453
CPU system time (s): 0.17623
CPU usage (%): 101.437
Max. virtual memory (cumulated for all children) (KiB): 15266332
Max. memory (cumulated for all children) (KiB): 218020
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 410.453
system time used= 0.17623
maximum resident set size= 216648
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60752
page faults= 0
swaps= 0
block input operations= 0
block output operations= 504
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11577
involuntary context switches= 1053
# summary of solver processes directly reported to runsolver:
# pid: 25206
# total CPU time (s): 410.629
# total CPU user time (s): 410.453
# total CPU system time (s): 0.17623
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.45035 second user time and 3.55024 second system time
The end