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 (13525 MiB free)
  memory of node 1: 16384 MiB (10530 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405008-1569004719/watcher-4405008-1569004719 -o /var/tmp/evaluation-result-4405008-1569004719/solver-4405008-1569004719 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node140-1568994030-7876 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1506055726 HOME/instance-4405008-1569004719.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=11387, runsolver pid=11384
Current StackSize limit: 8192 KiB


[startup+0.10013 s]*
/proc/loadavg: 7.78 7.99 8.02 3/211 11408
/proc/meminfo: memFree=24617004/32770624 swapFree=66997224/67108860
[pid=11387] ppid=11384 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/11387/stat : 11387 (xcsp3-exec) S 11384 11387 7849 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476410297 115843072 364 33554432000 4194304 5098028 140726745441920 140726745440024 140352428798588 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10100736 140726745445207 140726745445466 140726745445466 140726745448390 0
/proc/11387/statm: 28282 364 305 221 0 87 0
[pid=11389] ppid=11387 vsize=28227396 memory=28520 CPUtime=0.12 cores=0-7
/proc/11389/stat : 11389 (java) S 11387 11387 7849 0 -1 1077944320 5642 0 0 0 11 1 0 0 20 0 20 0 476410297 28904853504 7130 33554432000 4194304 4196468 140724061204432 140724061186976 139889422208759 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
/proc/11389/statm: 7056849 7130 3115 1 0 7019032 0
[pid=11389/tid=11390] ppid=11387 vsize=28227396 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/11389/task/11390/stat : 11390 (java) R 11387 11387 7849 0 -1 4202560 3582 0 0 0 8 0 0 0 20 0 20 0 476410297 28904853504 7130 33554432000 4194304 4196468 140724061204432 139889426442352 139889422220694 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11391] ppid=11387 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/11389/task/11391/stat : 11391 (java) S 11387 11387 7849 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476410298 28904853504 7130 33554432000 4194304 4196468 140724061204432 139889374829072 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11392] ppid=11387 vsize=28227396 memory=139975437624960 CPUtime=0 cores=0-7
/proc/11389/task/11392/stat : 11392 (java) S 11387 11387 7849 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476410298 28904853504 7130 33554432000 4194304 4196468 140724061204432 139889373776528 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11393] ppid=11387 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11389/task/11393/stat : 11393 (java) S 11387 11387 7849 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476410298 28904853504 7130 33554432000 4194304 4196468 140724061204432 139889372723472 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11394] ppid=11387 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11389/task/11394/stat : 11394 (java) S 11387 11387 7849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476410298 28904853504 7130 33554432000 4194304 4196468 140724061204432 139889371670928 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11395] ppid=11387 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11389/task/11395/stat : 11395 (java) S 11387 11387 7849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476410298 28904853504 7130 33554432000 4194304 4196468 140724061204432 139889370618896 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11396] ppid=11387 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/11389/task/11396/stat : 11396 (java) S 11387 11387 7849 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476410298 28904853504 7130 33554432000 4194304 4196468 140724061204432 139889369566352 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11397] ppid=11387 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11389/task/11397/stat : 11397 (java) S 11387 11387 7849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476410298 28904853504 7130 33554432000 4194304 4196468 140724061204432 139889368513296 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11398] ppid=11387 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11389/task/11398/stat : 11398 (java) S 11387 11387 7849 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476410298 28904853504 7130 33554432000 4194304 4196468 140724061204432 139888965835664 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11399] ppid=11387 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11389/task/11399/stat : 11399 (java) S 11387 11387 7849 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476410299 28904853504 7130 33554432000 4194304 4196468 140724061204432 139888403843312 139889422219906 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11400] ppid=11387 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11389/task/11400/stat : 11400 (java) S 11387 11387 7849 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476410300 28904853504 7130 33554432000 4194304 4196468 140724061204432 139888402789536 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11401] ppid=11387 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11389/task/11401/stat : 11401 (java) S 11387 11387 7849 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476410300 28904853504 7130 33554432000 4194304 4196468 140724061204432 139888401736432 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11402] ppid=11387 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11389/task/11402/stat : 11402 (java) S 11387 11387 7849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476410302 28904853504 7130 33554432000 4194304 4196468 140724061204432 139888400685008 139889422227355 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11403] ppid=11387 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11389/task/11403/stat : 11403 (java) S 11387 11387 7849 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 476410302 28904853504 7130 33554432000 4194304 4196468 140724061204432 139888399633136 139889422219906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11404] ppid=11387 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11389/task/11404/stat : 11404 (java) S 11387 11387 7849 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 476410302 28904853504 7130 33554432000 4194304 4196468 140724061204432 139888398580592 139889422219906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11405] ppid=11387 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11389/task/11405/stat : 11405 (java) R 11387 11387 7849 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 476410303 28904853504 7130 33554432000 4194304 4196468 140724061204432 139888397527536 139889407025261 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11406] ppid=11387 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/11389/task/11406/stat : 11406 (java) R 11387 11387 7849 0 -1 4202560 324 0 0 0 1 0 0 0 20 0 20 0 476410303 28904853504 7130 33554432000 4194304 4196468 140724061204432 139888396474992 139889400908960 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11407] ppid=11387 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11389/task/11407/stat : 11407 (java) S 11387 11387 7849 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476410303 28904853504 7130 33554432000 4194304 4196468 140724061204432 139888395422176 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11408] ppid=11387 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/11389/task/11408/stat : 11408 (java) S 11387 11387 7849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476410303 28904853504 7130 33554432000 4194304 4196468 140724061204432 139888394369712 139889422219906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 29976 KiB

[startup+0.210506 s]*
/proc/loadavg: 7.78 7.99 8.02 3/212 11410
/proc/meminfo: memFree=24604380/32770624 swapFree=66997224/67108860
[pid=11387] ppid=11384 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/11387/stat : 11387 (xcsp3-exec) S 11384 11387 7849 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476410297 115843072 364 33554432000 4194304 5098028 140726745441920 140726745440024 140352428798588 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10100736 140726745445207 140726745445466 140726745445466 140726745448390 0
/proc/11387/statm: 28282 364 305 221 0 87 0
[pid=11389] ppid=11387 vsize=28227396 memory=40208 CPUtime=0.33 cores=0-7
/proc/11389/stat : 11389 (java) S 11387 11387 7849 0 -1 1077944320 9347 0 0 0 30 3 0 0 20 0 20 0 476410297 28904853504 10052 33554432000 4194304 4196468 140724061204432 140724061186976 139889422208759 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
/proc/11389/statm: 7056849 10052 3237 1 0 7019032 0
[pid=11389/tid=11390] ppid=11387 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/11389/task/11390/stat : 11390 (java) R 11387 11387 7849 0 -1 4202560 6561 0 0 0 18 2 0 0 20 0 20 0 476410297 28904853504 10052 33554432000 4194304 4196468 140724061204432 139889426438480 139889047868816 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11391] ppid=11387 vsize=28227396 memory=339 CPUtime=0 cores=0-7
/proc/11389/task/11391/stat : 11391 (java) S 11387 11387 7849 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476410298 28904853504 10052 33554432000 4194304 4196468 140724061204432 139889374829072 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11392] ppid=11387 vsize=28227396 memory=139975437634827 CPUtime=0 cores=0-7
/proc/11389/task/11392/stat : 11392 (java) S 11387 11387 7849 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476410298 28904853504 10052 33554432000 4194304 4196468 140724061204432 139889373776528 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11393] ppid=11387 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/11389/task/11393/stat : 11393 (java) S 11387 11387 7849 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476410298 28904853504 10052 33554432000 4194304 4196468 140724061204432 139889372723472 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11394] ppid=11387 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11389/task/11394/stat : 11394 (java) S 11387 11387 7849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476410298 28904853504 10052 33554432000 4194304 4196468 140724061204432 139889371670928 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11395] ppid=11387 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11389/task/11395/stat : 11395 (java) S 11387 11387 7849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476410298 28904853504 10052 33554432000 4194304 4196468 140724061204432 139889370618896 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11396] ppid=11387 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/11389/task/11396/stat : 11396 (java) S 11387 11387 7849 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476410298 28904853504 10052 33554432000 4194304 4196468 140724061204432 139889369566352 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11397] ppid=11387 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11389/task/11397/stat : 11397 (java) S 11387 11387 7849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476410298 28904853504 10052 33554432000 4194304 4196468 140724061204432 139889368513296 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11398] ppid=11387 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11389/task/11398/stat : 11398 (java) S 11387 11387 7849 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476410298 28904853504 10052 33554432000 4194304 4196468 140724061204432 139888965835664 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11399] ppid=11387 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11389/task/11399/stat : 11399 (java) S 11387 11387 7849 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476410299 28904853504 10052 33554432000 4194304 4196468 140724061204432 139888403843312 139889422219906 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11400] ppid=11387 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11389/task/11400/stat : 11400 (java) S 11387 11387 7849 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476410300 28904853504 10052 33554432000 4194304 4196468 140724061204432 139888402789536 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11401] ppid=11387 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11389/task/11401/stat : 11401 (java) S 11387 11387 7849 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476410300 28904853504 10052 33554432000 4194304 4196468 140724061204432 139888401736432 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11402] ppid=11387 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11389/task/11402/stat : 11402 (java) S 11387 11387 7849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476410302 28904853504 10052 33554432000 4194304 4196468 140724061204432 139888400685008 139889422227355 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11403] ppid=11387 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/11389/task/11403/stat : 11403 (java) S 11387 11387 7849 0 -1 1077944384 421 0 0 0 1 0 0 0 20 0 20 0 476410302 28904853504 10052 33554432000 4194304 4196468 140724061204432 139888399633136 139889422219906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11404] ppid=11387 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11389/task/11404/stat : 11404 (java) S 11387 11387 7849 0 -1 1077944384 127 0 0 0 0 0 0 0 20 0 20 0 476410302 28904853504 10052 33554432000 4194304 4196468 140724061204432 139888398580592 139889422219906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11405] ppid=11387 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/11389/task/11405/stat : 11405 (java) S 11387 11387 7849 0 -1 1077944384 110 0 0 0 1 0 0 0 20 0 20 0 476410303 28904853504 10052 33554432000 4194304 4196468 140724061204432 139888397527536 139889422219906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11406] ppid=11387 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7
/proc/11389/task/11406/stat : 11406 (java) R 11387 11387 7849 0 -1 4202560 813 0 0 0 8 0 0 0 20 0 20 0 476410303 28904853504 10052 33554432000 4194304 4196468 140724061204432 139888396474992 139889422220694 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11407] ppid=11387 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/11389/task/11407/stat : 11407 (java) S 11387 11387 7849 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476410303 28904853504 10052 33554432000 4194304 4196468 140724061204432 139888395422176 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11408] ppid=11387 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/11389/task/11408/stat : 11408 (java) S 11387 11387 7849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476410303 28904853504 10052 33554432000 4194304 4196468 140724061204432 139888394369712 139889422219906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 41664 KiB

[startup+0.310458 s]*
/proc/loadavg: 7.78 7.99 8.02 3/212 11410
/proc/meminfo: memFree=24596288/32770624 swapFree=66997224/67108860
[pid=11387] ppid=11384 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/11387/stat : 11387 (xcsp3-exec) S 11384 11387 7849 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476410297 115843072 364 33554432000 4194304 5098028 140726745441920 140726745440024 140352428798588 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10100736 140726745445207 140726745445466 140726745445466 140726745448390 0
/proc/11387/statm: 28282 364 305 221 0 87 0
[pid=11389] ppid=11387 vsize=28231652 memory=49648 CPUtime=0.52 cores=0-7
/proc/11389/stat : 11389 (java) S 11387 11387 7849 0 -1 1077944320 10761 0 0 0 48 4 0 0 20 0 20 0 476410297 28909211648 12412 33554432000 4194304 4196468 140724061204432 140724061186976 139889422208759 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
/proc/11389/statm: 7057913 12412 3347 1 0 7019032 0
[pid=11389/tid=11390] ppid=11387 vsize=28231652 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/11389/task/11390/stat : 11390 (java) R 11387 11387 7849 0 -1 4202560 7700 0 0 0 27 3 0 0 20 0 20 0 476410297 28909211648 12412 33554432000 4194304 4196468 140724061204432 139889426439872 139889422230685 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11391] ppid=11387 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/11389/task/11391/stat : 11391 (java) S 11387 11387 7849 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476410298 28909211648 12412 33554432000 4194304 4196468 140724061204432 139889374829072 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11392] ppid=11387 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/11389/task/11392/stat : 11392 (java) S 11387 11387 7849 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476410298 28909211648 12412 33554432000 4194304 4196468 140724061204432 139889373776528 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11393] ppid=11387 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/11389/task/11393/stat : 11393 (java) S 11387 11387 7849 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476410298 28909211648 12412 33554432000 4194304 4196468 140724061204432 139889372723472 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11394] ppid=11387 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/11389/task/11394/stat : 11394 (java) S 11387 11387 7849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476410298 28909211648 12412 33554432000 4194304 4196468 140724061204432 139889371670928 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11395] ppid=11387 vsize=28231652 memory=2244 CPUtime=0 cores=0-7
/proc/11389/task/11395/stat : 11395 (java) S 11387 11387 7849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476410298 28909211648 12412 33554432000 4194304 4196468 140724061204432 139889370618896 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11396] ppid=11387 vsize=28231652 memory=139975333082031 CPUtime=0 cores=0-7
/proc/11389/task/11396/stat : 11396 (java) S 11387 11387 7849 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476410298 28909211648 12412 33554432000 4194304 4196468 140724061204432 139889369566352 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11397] ppid=11387 vsize=28231652 memory=139975333084336 CPUtime=0 cores=0-7
/proc/11389/task/11397/stat : 11397 (java) S 11387 11387 7849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476410298 28909211648 12412 33554432000 4194304 4196468 140724061204432 139889368513296 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11398] ppid=11387 vsize=28231652 memory=139975333086640 CPUtime=0 cores=0-7
/proc/11389/task/11398/stat : 11398 (java) S 11387 11387 7849 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476410298 28909211648 12412 33554432000 4194304 4196468 140724061204432 139888965835664 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11399] ppid=11387 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/11389/task/11399/stat : 11399 (java) S 11387 11387 7849 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476410299 28909211648 12412 33554432000 4194304 4196468 140724061204432 139888403843312 139889422219906 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11400] ppid=11387 vsize=28231652 memory=279950666180240 CPUtime=0 cores=0-7
/proc/11389/task/11400/stat : 11400 (java) S 11387 11387 7849 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476410300 28909211648 12412 33554432000 4194304 4196468 140724061204432 139888402789536 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11401] ppid=11387 vsize=28231652 memory=279950666187152 CPUtime=0 cores=0-7
/proc/11389/task/11401/stat : 11401 (java) S 11387 11387 7849 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476410300 28909211648 12412 33554432000 4194304 4196468 140724061204432 139888401736432 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11402] ppid=11387 vsize=28231652 memory=279950666128304 CPUtime=0 cores=0-7
/proc/11389/task/11402/stat : 11402 (java) S 11387 11387 7849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476410302 28909211648 12412 33554432000 4194304 4196468 140724061204432 139888400685008 139889422227355 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11403] ppid=11387 vsize=28231652 memory=279950666200976 CPUtime=0.03 cores=0-7
/proc/11389/task/11403/stat : 11403 (java) R 11387 11387 7849 0 -1 4202560 496 0 0 0 3 0 0 0 20 0 20 0 476410302 28909211648 12412 33554432000 4194304 4196468 140724061204432 139888399623520 139889403729881 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11404] ppid=11387 vsize=28231652 memory=279950666207888 CPUtime=0.02 cores=0-7
/proc/11389/task/11404/stat : 11404 (java) S 11387 11387 7849 0 -1 1077944384 146 0 0 0 2 0 0 0 20 0 20 0 476410302 28909211648 12412 33554432000 4194304 4196468 140724061204432 139888398580592 139889422219906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11405] ppid=11387 vsize=28231652 memory=279950666205584 CPUtime=0.02 cores=0-7
/proc/11389/task/11405/stat : 11405 (java) S 11387 11387 7849 0 -1 1077944384 116 0 0 0 2 0 0 0 20 0 20 0 476410303 28909211648 12412 33554432000 4194304 4196468 140724061204432 139888397527536 139889422219906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11406] ppid=11387 vsize=28231652 memory=279950666221744 CPUtime=0.12 cores=0-7
/proc/11389/task/11406/stat : 11406 (java) S 11387 11387 7849 0 -1 1077944384 991 0 0 0 12 0 0 0 20 0 20 0 476410303 28909211648 12412 33554432000 4194304 4196468 140724061204432 139888396474992 139889422219906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11407] ppid=11387 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/11389/task/11407/stat : 11407 (java) S 11387 11387 7849 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476410303 28909211648 12412 33554432000 4194304 4196468 140724061204432 139888395422176 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11408] ppid=11387 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/11389/task/11408/stat : 11408 (java) S 11387 11387 7849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476410303 28909211648 12412 33554432000 4194304 4196468 140724061204432 139888394369712 139889422219906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51104 KiB

[startup+0.701897 s]
/proc/loadavg: 7.78 7.99 8.02 3/212 11410
/proc/meminfo: memFree=24575188/32770624 swapFree=66997224/67108860
[pid=11387] ppid=11384 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/11387/stat : 11387 (xcsp3-exec) S 11384 11387 7849 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476410297 115843072 364 33554432000 4194304 5098028 140726745441920 140726745440024 140352428798588 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10100736 140726745445207 140726745445466 140726745445466 140726745448390 0
/proc/11387/statm: 28282 364 305 221 0 87 0
[pid=11389] ppid=11387 vsize=28233776 memory=106512 CPUtime=1.97 cores=0-7
/proc/11389/stat : 11389 (java) S 11387 11387 7849 0 -1 1077944320 15710 0 0 0 191 6 0 0 20 0 20 0 476410297 28911386624 26628 33554432000 4194304 4196468 140724061204432 140724061186976 139889422208759 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
/proc/11389/statm: 7058444 26628 3449 1 0 7019544 0
[pid=11389/tid=11390] ppid=11387 vsize=28233776 memory=279950666579632 CPUtime=0.67 cores=0-7
/proc/11389/task/11390/stat : 11390 (java) R 11387 11387 7849 0 -1 4202560 8960 0 0 0 64 3 0 0 20 0 20 0 476410297 28911386624 26628 33554432000 4194304 4196468 140724061204432 139889426434208 139889422230685 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11391] ppid=11387 vsize=28233776 memory=139975333290864 CPUtime=0 cores=0-7
/proc/11389/task/11391/stat : 11391 (java) S 11387 11387 7849 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476410298 28911386624 26628 33554432000 4194304 4196468 140724061204432 139889374829072 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11392] ppid=11387 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/11389/task/11392/stat : 11392 (java) S 11387 11387 7849 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476410298 28911386624 26628 33554432000 4194304 4196468 140724061204432 139889373776528 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11393] ppid=11387 vsize=28233776 memory=5800 CPUtime=0 cores=0-7
/proc/11389/task/11393/stat : 11393 (java) S 11387 11387 7849 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476410298 28911386624 26628 33554432000 4194304 4196468 140724061204432 139889372723472 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0

################
# More data... #
################

[pid=11389/tid=11406] ppid=11387 vsize=28766288 memory=2167192 CPUtime=0.82 cores=0-7
/proc/11389/task/11406/stat : 11406 (java) S 11387 11387 7849 0 -1 1077944384 8694 0 0 0 80 2 0 0 20 0 28 0 476410303 29456678912 541798 33554432000 4194304 4196468 140724061204432 139888396474992 139889422219906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11407] ppid=11387 vsize=28766288 memory=14060 CPUtime=0 cores=0-7
/proc/11389/task/11407/stat : 11407 (java) S 11387 11387 7849 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476410303 29456678912 541798 33554432000 4194304 4196468 140724061204432 139888395422176 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11408] ppid=11387 vsize=28766288 memory=2116 CPUtime=0.05 cores=0-7
/proc/11389/task/11408/stat : 11408 (java) S 11387 11387 7849 0 -1 1077944384 1448 0 0 0 5 0 0 0 20 0 28 0 476410303 29456678912 541798 33554432000 4194304 4196468 140724061204432 139888394369712 139889422219906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11424] ppid=11387 vsize=28766288 memory=27904 CPUtime=79.22 cores=0-7
/proc/11389/task/11424/stat : 11424 (java) R 11387 11387 7849 0 -1 4202560 1095 0 0 0 7921 1 0 0 20 0 28 0 476419333 29456678912 541798 33554432000 4194304 4196468 140724061204432 139888379075448 139889054776448 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11425] ppid=11387 vsize=28766288 memory=0 CPUtime=78.06 cores=0-7
/proc/11389/task/11425/stat : 11425 (java) R 11387 11387 7849 0 -1 4202560 1144 0 0 0 7806 0 0 0 20 0 28 0 476419333 29456678912 541798 33554432000 4194304 4196468 140724061204432 139888385392808 139889055374215 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11426] ppid=11387 vsize=28766288 memory=-3622645143214314312 CPUtime=78.97 cores=0-7
/proc/11389/task/11426/stat : 11426 (java) R 11387 11387 7849 0 -1 4202560 1115 0 0 0 7897 0 0 0 20 0 28 0 476419333 29456678912 541798 33554432000 4194304 4196468 140724061204432 139888378024744 139889055374302 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11427] ppid=11387 vsize=28766288 memory=2168220 CPUtime=79.18 cores=0-7
/proc/11389/task/11427/stat : 11427 (java) R 11387 11387 7849 0 -1 4202560 12303 0 0 0 7875 43 0 0 20 0 28 0 476419333 29456678912 541798 33554432000 4194304 4196468 140724061204432 139888382235560 139889057192248 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11428] ppid=11387 vsize=28766288 memory=1456 CPUtime=78.8 cores=0-7
/proc/11389/task/11428/stat : 11428 (java) R 11387 11387 7849 0 -1 4202560 1845 0 0 0 7879 1 0 0 20 0 28 0 476419333 29456678912 541798 33554432000 4194304 4196468 140724061204432 139888381182504 139889055480161 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11429] ppid=11387 vsize=28766288 memory=2168220 CPUtime=79.16 cores=0-7
/proc/11389/task/11429/stat : 11429 (java) R 11387 11387 7849 0 -1 4202560 1167 0 0 0 7916 0 0 0 20 0 28 0 476419333 29456678912 541798 33554432000 4194304 4196468 140724061204432 139888383287472 139889055480523 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11430] ppid=11387 vsize=28766288 memory=1456 CPUtime=79.19 cores=0-7
/proc/11389/task/11430/stat : 11430 (java) R 11387 11387 7849 0 -1 4202560 1740 0 0 0 7917 2 0 0 20 0 28 0 476419333 29456678912 541798 33554432000 4194304 4196468 140724061204432 139888380129008 139889055139179 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11431] ppid=11387 vsize=28766288 memory=1456 CPUtime=79.13 cores=0-7
/proc/11389/task/11431/stat : 11431 (java) R 11387 11387 7849 0 -1 4202560 2275 0 0 0 7907 6 0 0 20 0 28 0 476419333 29456678912 541798 33554432000 4194304 4196468 140724061204432 139888384340392 139889057245888 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
Current children cumulated CPU time: 1345.51 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 2168648 KiB

[startup+170.002 s]*
/proc/loadavg: 7.99 7.99 8.02 10/220 11442
/proc/meminfo: memFree=22478012/32770624 swapFree=66997224/67108860
[pid=11387] ppid=11384 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/11387/stat : 11387 (xcsp3-exec) S 11384 11387 7849 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476410297 115843072 364 33554432000 4194304 5098028 140726745441920 140726745440024 140352428798588 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10100736 140726745445207 140726745445466 140726745445466 140726745448390 0
/proc/11387/statm: 28282 364 305 221 0 87 0
[pid=11389] ppid=11387 vsize=28766288 memory=2167192 CPUtime=1348.77 cores=0-7
/proc/11389/stat : 11389 (java) S 11387 11387 7849 0 -1 1077944320 111862 0 0 0 134713 164 0 0 20 0 28 0 476410297 29456678912 541798 33554432000 4194304 4196468 140724061204432 140724061186976 139889422208759 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
/proc/11389/statm: 7191572 541798 3543 1 0 7152672 0
[pid=11389/tid=11390] ppid=11387 vsize=28766288 memory=6791534058613427641 CPUtime=1.51 cores=0-7
/proc/11389/task/11390/stat : 11390 (java) S 11387 11387 7849 0 -1 1077944384 10272 0 0 0 144 7 0 0 20 0 28 0 476410297 29456678912 541798 33554432000 4194304 4196468 140724061204432 139889426449536 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11391] ppid=11387 vsize=28766288 memory=4872558044660077418 CPUtime=0.12 cores=0-7
/proc/11389/task/11391/stat : 11391 (java) S 11387 11387 7849 0 -1 1077944384 708 0 0 0 9 3 0 0 20 0 28 0 476410298 29456678912 541798 33554432000 4194304 4196468 140724061204432 139889374829072 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11392] ppid=11387 vsize=28766288 memory=1540 CPUtime=0.15 cores=0-7
/proc/11389/task/11392/stat : 11392 (java) S 11387 11387 7849 0 -1 1077944384 1044 0 0 0 11 4 0 0 20 0 28 0 476410298 29456678912 541798 33554432000 4194304 4196468 140724061204432 139889373776528 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11393] ppid=11387 vsize=28766288 memory=772 CPUtime=0.15 cores=0-7
/proc/11389/task/11393/stat : 11393 (java) S 11387 11387 7849 0 -1 1077944384 2426 0 0 0 11 4 0 0 20 0 28 0 476410298 29456678912 541798 33554432000 4194304 4196468 140724061204432 139889372723472 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11394] ppid=11387 vsize=28766288 memory=10596 CPUtime=0.14 cores=0-7
/proc/11389/task/11394/stat : 11394 (java) S 11387 11387 7849 0 -1 1077944384 489 0 0 0 10 4 0 0 20 0 28 0 476410298 29456678912 541798 33554432000 4194304 4196468 140724061204432 139889371670928 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11395] ppid=11387 vsize=28766288 memory=1708 CPUtime=0.12 cores=0-7
/proc/11389/task/11395/stat : 11395 (java) S 11387 11387 7849 0 -1 1077944384 1032 0 0 0 9 3 0 0 20 0 28 0 476410298 29456678912 541798 33554432000 4194304 4196468 140724061204432 139889370618896 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11396] ppid=11387 vsize=28766288 memory=988 CPUtime=0.12 cores=0-7
/proc/11389/task/11396/stat : 11396 (java) S 11387 11387 7849 0 -1 1077944384 1523 0 0 0 9 3 0 0 20 0 28 0 476410298 29456678912 541798 33554432000 4194304 4196468 140724061204432 139889369566352 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11397] ppid=11387 vsize=28766288 memory=3628 CPUtime=0.14 cores=0-7
/proc/11389/task/11397/stat : 11397 (java) S 11387 11387 7849 0 -1 1077944384 1693 0 0 0 10 4 0 0 20 0 28 0 476410298 29456678912 541798 33554432000 4194304 4196468 140724061204432 139889368513296 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11398] ppid=11387 vsize=28766288 memory=2828 CPUtime=0.14 cores=0-7
/proc/11389/task/11398/stat : 11398 (java) S 11387 11387 7849 0 -1 1077944384 1413 0 0 0 10 4 0 0 20 0 28 0 476410298 29456678912 541798 33554432000 4194304 4196468 140724061204432 139888965835664 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11399] ppid=11387 vsize=28766288 memory=1048 CPUtime=0.02 cores=0-7
/proc/11389/task/11399/stat : 11399 (java) S 11387 11387 7849 0 -1 1077944384 3201 0 0 0 2 0 0 0 20 0 28 0 476410299 29456678912 541798 33554432000 4194304 4196468 140724061204432 139888403843312 139889422219906 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11400] ppid=11387 vsize=28766288 memory=5800 CPUtime=0 cores=0-7
/proc/11389/task/11400/stat : 11400 (java) S 11387 11387 7849 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 28 0 476410300 29456678912 541798 33554432000 4194304 4196468 140724061204432 139888402789600 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11401] ppid=11387 vsize=28766288 memory=612 CPUtime=0 cores=0-7
/proc/11389/task/11401/stat : 11401 (java) S 11387 11387 7849 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 476410300 29456678912 541798 33554432000 4194304 4196468 140724061204432 139888401736448 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11402] ppid=11387 vsize=28766288 memory=139975333739297 CPUtime=0 cores=0-7
/proc/11389/task/11402/stat : 11402 (java) S 11387 11387 7849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476410302 29456678912 541798 33554432000 4194304 4196468 140724061204432 139888400685008 139889422227355 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11403] ppid=11387 vsize=28766288 memory=7306316804797196914 CPUtime=2.42 cores=0-7
/proc/11389/task/11403/stat : 11403 (java) S 11387 11387 7849 0 -1 1077944384 14617 0 0 0 240 2 0 0 20 0 28 0 476410302 29456678912 541798 33554432000 4194304 4196468 140724061204432 139888399633136 139889422219906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11404] ppid=11387 vsize=28766288 memory=7295950583417696866 CPUtime=2.14 cores=0-7
/proc/11389/task/11404/stat : 11404 (java) S 11387 11387 7849 0 -1 1077944384 9717 0 0 0 212 2 0 0 20 0 28 0 476410302 29456678912 541798 33554432000 4194304 4196468 140724061204432 139888398580592 139889422219906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11405] ppid=11387 vsize=28766288 memory=6791534058613427641 CPUtime=2.24 cores=0-7
/proc/11389/task/11405/stat : 11405 (java) S 11387 11387 7849 0 -1 1077944384 10024 0 0 0 223 1 0 0 20 0 28 0 476410303 29456678912 541798 33554432000 4194304 4196468 140724061204432 139888397527536 139889422219906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11406] ppid=11387 vsize=28766288 memory=1456 CPUtime=0.82 cores=0-7
/proc/11389/task/11406/stat : 11406 (java) S 11387 11387 7849 0 -1 1077944384 8694 0 0 0 80 2 0 0 20 0 28 0 476410303 29456678912 541798 33554432000 4194304 4196468 140724061204432 139888396474992 139889422219906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11407] ppid=11387 vsize=28766288 memory=2167192 CPUtime=0 cores=0-7
/proc/11389/task/11407/stat : 11407 (java) S 11387 11387 7849 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476410303 29456678912 541798 33554432000 4194304 4196468 140724061204432 139888395422176 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11408] ppid=11387 vsize=28766288 memory=1048 CPUtime=0.05 cores=0-7
/proc/11389/task/11408/stat : 11408 (java) S 11387 11387 7849 0 -1 1077944384 1448 0 0 0 5 0 0 0 20 0 28 0 476410303 29456678912 541798 33554432000 4194304 4196468 140724061204432 139888394369712 139889422219906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11424] ppid=11387 vsize=28766288 memory=1456 CPUtime=79.62 cores=0-7
/proc/11389/task/11424/stat : 11424 (java) R 11387 11387 7849 0 -1 4202560 1097 0 0 0 7961 1 0 0 20 0 28 0 476419333 29456678912 541798 33554432000 4194304 4196468 140724061204432 139888379075448 139889055372467 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11425] ppid=11387 vsize=28766288 memory=1412 CPUtime=78.47 cores=0-7
/proc/11389/task/11425/stat : 11425 (java) R 11387 11387 7849 0 -1 4202560 1144 0 0 0 7847 0 0 0 20 0 28 0 476419333 29456678912 541798 33554432000 4194304 4196468 140724061204432 139888385392808 139889053009651 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11426] ppid=11387 vsize=28766288 memory=3532 CPUtime=79.38 cores=0-7
/proc/11389/task/11426/stat : 11426 (java) R 11387 11387 7849 0 -1 4202560 1118 0 0 0 7938 0 0 0 20 0 28 0 476419333 29456678912 541798 33554432000 4194304 4196468 140724061204432 139888378024744 139889055374388 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11427] ppid=11387 vsize=28766288 memory=1456 CPUtime=79.59 cores=0-7
/proc/11389/task/11427/stat : 11427 (java) R 11387 11387 7849 0 -1 4202560 12320 0 0 0 7916 43 0 0 20 0 28 0 476419333 29456678912 541798 33554432000 4194304 4196468 140724061204432 139888382235560 139889055374453 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11428] ppid=11387 vsize=28766288 memory=2167192 CPUtime=79.19 cores=0-7
/proc/11389/task/11428/stat : 11428 (java) R 11387 11387 7849 0 -1 4202560 1845 0 0 0 7918 1 0 0 20 0 28 0 476419333 29456678912 541798 33554432000 4194304 4196468 140724061204432 139888381182504 139889055138817 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11429] ppid=11387 vsize=28766288 memory=6791534058613427641 CPUtime=79.57 cores=0-7
/proc/11389/task/11429/stat : 11429 (java) R 11387 11387 7849 0 -1 4202560 1168 0 0 0 7957 0 0 0 20 0 28 0 476419333 29456678912 541798 33554432000 4194304 4196468 140724061204432 139888383287472 139889055372467 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11430] ppid=11387 vsize=28766288 memory=4872558044660077418 CPUtime=79.6 cores=0-7
/proc/11389/task/11430/stat : 11430 (java) R 11387 11387 7849 0 -1 4202560 1740 0 0 0 7958 2 0 0 20 0 28 0 476419333 29456678912 541798 33554432000 4194304 4196468 140724061204432 139888380129008 139889055139179 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11431] ppid=11387 vsize=28766288 memory=2116 CPUtime=79.54 cores=0-7
/proc/11389/task/11431/stat : 11431 (java) R 11387 11387 7849 0 -1 4202560 2281 0 0 0 7948 6 0 0 20 0 28 0 476419333 29456678912 541798 33554432000 4194304 4196468 140724061204432 139888384340392 139889055139248 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
Current children cumulated CPU time: 1348.77 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 2168648 KiB

[startup+170.202 s]
/proc/loadavg: 7.99 7.99 8.02 10/220 11442
/proc/meminfo: memFree=22478012/32770624 swapFree=66997224/67108860
[pid=11387] ppid=11384 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/11387/stat : 11387 (xcsp3-exec) S 11384 11387 7849 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476410297 115843072 364 33554432000 4194304 5098028 140726745441920 140726745440024 140352428798588 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10100736 140726745445207 140726745445466 140726745445466 140726745448390 0
/proc/11387/statm: 28282 364 305 221 0 87 0
[pid=11389] ppid=11387 vsize=28766288 memory=2167192 CPUtime=1350.29 cores=0-7
/proc/11389/stat : 11389 (java) S 11387 11387 7849 0 -1 1077944320 111924 0 0 0 134864 165 0 0 20 0 28 0 476410297 29456678912 541798 33554432000 4194304 4196468 140724061204432 140724061186976 139889422208759 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
/proc/11389/statm: 7191572 541798 3543 1 0 7152672 0
[pid=11389/tid=11390] ppid=11387 vsize=28766288 memory=2167192 CPUtime=1.51 cores=0-7
/proc/11389/task/11390/stat : 11390 (java) S 11387 11387 7849 0 -1 1077944384 10272 0 0 0 144 7 0 0 20 0 28 0 476410297 29456678912 541798 33554432000 4194304 4196468 140724061204432 139889426449536 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11391] ppid=11387 vsize=28766288 memory=1980 CPUtime=0.12 cores=0-7
/proc/11389/task/11391/stat : 11391 (java) S 11387 11387 7849 0 -1 1077944384 708 0 0 0 9 3 0 0 20 0 28 0 476410298 29456678912 541798 33554432000 4194304 4196468 140724061204432 139889374829072 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11392] ppid=11387 vsize=28766288 memory=2540 CPUtime=0.15 cores=0-7
/proc/11389/task/11392/stat : 11392 (java) S 11387 11387 7849 0 -1 1077944384 1044 0 0 0 11 4 0 0 20 0 28 0 476410298 29456678912 541798 33554432000 4194304 4196468 140724061204432 139889373776528 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11393] ppid=11387 vsize=28766288 memory=288230574492221466 CPUtime=0.15 cores=0-7
/proc/11389/task/11393/stat : 11393 (java) S 11387 11387 7849 0 -1 1077944384 2426 0 0 0 11 4 0 0 20 0 28 0 476410298 29456678912 541798 33554432000 4194304 4196468 140724061204432 139889372723472 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11394] ppid=11387 vsize=28766288 memory=288230583166042426 CPUtime=0.14 cores=0-7
/proc/11389/task/11394/stat : 11394 (java) S 11387 11387 7849 0 -1 1077944384 489 0 0 0 10 4 0 0 20 0 28 0 476410298 29456678912 541798 33554432000 4194304 4196468 140724061204432 139889371670928 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11395] ppid=11387 vsize=28766288 memory=15262532197681710 CPUtime=0.12 cores=0-7
/proc/11389/task/11395/stat : 11395 (java) S 11387 11387 7849 0 -1 1077944384 1032 0 0 0 9 3 0 0 20 0 28 0 476410298 29456678912 541798 33554432000 4194304 4196468 140724061204432 139889370618896 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11396] ppid=11387 vsize=28766288 memory=4639930699739851118 CPUtime=0.12 cores=0-7
/proc/11389/task/11396/stat : 11396 (java) S 11387 11387 7849 0 -1 1077944384 1523 0 0 0 9 3 0 0 20 0 28 0 476410298 29456678912 541798 33554432000 4194304 4196468 140724061204432 139889369566352 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11397] ppid=11387 vsize=28766288 memory=5788366128521177448 CPUtime=0.14 cores=0-7
/proc/11389/task/11397/stat : 11397 (java) S 11387 11387 7849 0 -1 1077944384 1693 0 0 0 10 4 0 0 20 0 28 0 476410298 29456678912 541798 33554432000 4194304 4196468 140724061204432 139889368513296 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11398] ppid=11387 vsize=28766288 memory=5788366128554601833 CPUtime=0.14 cores=0-7
/proc/11389/task/11398/stat : 11398 (java) S 11387 11387 7849 0 -1 1077944384 1413 0 0 0 10 4 0 0 20 0 28 0 476410298 29456678912 541798 33554432000 4194304 4196468 140724061204432 139888965835664 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11399] ppid=11387 vsize=28766288 memory=4639930699739918699 CPUtime=0.02 cores=0-7
/proc/11389/task/11399/stat : 11399 (java) S 11387 11387 7849 0 -1 1077944384 3201 0 0 0 2 0 0 0 20 0 28 0 476410299 29456678912 541798 33554432000 4194304 4196468 140724061204432 139888403843312 139889422219906 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11400] ppid=11387 vsize=28766288 memory=5788366128487557480 CPUtime=0 cores=0-7
/proc/11389/task/11400/stat : 11400 (java) S 11387 11387 7849 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 28 0 476410300 29456678912 541798 33554432000 4194304 4196468 140724061204432 139888402789600 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11401] ppid=11387 vsize=28766288 memory=5788366128504270440 CPUtime=0 cores=0-7
/proc/11389/task/11401/stat : 11401 (java) S 11387 11387 7849 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 476410300 29456678912 541798 33554432000 4194304 4196468 140724061204432 139888401736448 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11402] ppid=11387 vsize=28766288 memory=5788366128504729448 CPUtime=0 cores=0-7
/proc/11389/task/11402/stat : 11402 (java) S 11387 11387 7849 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476410302 29456678912 541798 33554432000 4194304 4196468 140724061204432 139888400685008 139889422227355 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11403] ppid=11387 vsize=28766288 memory=5788366128504204648 CPUtime=2.42 cores=0-7
/proc/11389/task/11403/stat : 11403 (java) S 11387 11387 7849 0 -1 1077944384 14617 0 0 0 240 2 0 0 20 0 28 0 476410302 29456678912 541798 33554432000 4194304 4196468 140724061204432 139888399633136 139889422219906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11404] ppid=11387 vsize=28766288 memory=5788366128605325930 CPUtime=2.14 cores=0-7
/proc/11389/task/11404/stat : 11404 (java) S 11387 11387 7849 0 -1 1077944384 9717 0 0 0 212 2 0 0 20 0 28 0 476410302 29456678912 541798 33554432000 4194304 4196468 140724061204432 139888398580592 139889422219906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11405] ppid=11387 vsize=28766288 memory=5788366128452759917 CPUtime=2.24 cores=0-7
/proc/11389/task/11405/stat : 11405 (java) S 11387 11387 7849 0 -1 1077944384 10024 0 0 0 223 1 0 0 20 0 28 0 476410303 29456678912 541798 33554432000 4194304 4196468 140724061204432 139888397527536 139889422219906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11406] ppid=11387 vsize=28766288 memory=2167192 CPUtime=0.82 cores=0-7
/proc/11389/task/11406/stat : 11406 (java) S 11387 11387 7849 0 -1 1077944384 8694 0 0 0 80 2 0 0 20 0 28 0 476410303 29456678912 541798 33554432000 4194304 4196468 140724061204432 139888396474992 139889422219906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11407] ppid=11387 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/11389/task/11407/stat : 11407 (java) S 11387 11387 7849 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476410303 29456678912 541798 33554432000 4194304 4196468 140724061204432 139888395422176 139889422218965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11408] ppid=11387 vsize=28766288 memory=2241 CPUtime=0.05 cores=0-7
/proc/11389/task/11408/stat : 11408 (java) S 11387 11387 7849 0 -1 1077944384 1448 0 0 0 5 0 0 0 20 0 28 0 476410303 29456678912 541798 33554432000 4194304 4196468 140724061204432 139888394369712 139889422219906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11424] ppid=11387 vsize=28766288 memory=2244 CPUtime=79.82 cores=0-7
/proc/11389/task/11424/stat : 11424 (java) R 11387 11387 7849 0 -1 4202560 1097 0 0 0 7981 1 0 0 20 0 28 0 476419333 29456678912 541798 33554432000 4194304 4196468 140724061204432 139888379075448 139889054764224 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11425] ppid=11387 vsize=28766288 memory=6944656592455360569 CPUtime=78.66 cores=0-7
/proc/11389/task/11425/stat : 11425 (java) R 11387 11387 7849 0 -1 4202560 1145 0 0 0 7866 0 0 0 20 0 28 0 476419333 29456678912 541798 33554432000 4194304 4196468 140724061204432 139888385392808 139889055499515 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11426] ppid=11387 vsize=28766288 memory=6944656592455360608 CPUtime=79.57 cores=0-7
/proc/11389/task/11426/stat : 11426 (java) R 11387 11387 7849 0 -1 4202560 1118 0 0 0 7957 0 0 0 20 0 28 0 476419333 29456678912 541798 33554432000 4194304 4196468 140724061204432 139888378024744 139889057261288 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11427] ppid=11387 vsize=28766288 memory=-9001734043636558696 CPUtime=79.78 cores=0-7
/proc/11389/task/11427/stat : 11427 (java) R 11387 11387 7849 0 -1 4202560 12362 0 0 0 7934 44 0 0 20 0 28 0 476419333 29456678912 541798 33554432000 4194304 4196468 140724061204432 139888382235560 139889055374522 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11428] ppid=11387 vsize=28766288 memory=6944656591801717918 CPUtime=79.38 cores=0-7
/proc/11389/task/11428/stat : 11428 (java) R 11387 11387 7849 0 -1 4202560 1847 0 0 0 7937 1 0 0 20 0 28 0 476419333 29456678912 541798 33554432000 4194304 4196468 140724061204432 139888381182504 139889055374546 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11429] ppid=11387 vsize=28766288 memory=6944656592455360569 CPUtime=79.76 cores=0-7
/proc/11389/task/11429/stat : 11429 (java) R 11387 11387 7849 0 -1 4202560 1168 0 0 0 7976 0 0 0 20 0 28 0 476419333 29456678912 541798 33554432000 4194304 4196468 140724061204432 139888383287472 139889055374705 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11430] ppid=11387 vsize=28766288 memory=-7737605734073691286 CPUtime=79.79 cores=0-7
/proc/11389/task/11430/stat : 11430 (java) R 11387 11387 7849 0 -1 4202560 1748 0 0 0 7977 2 0 0 20 0 28 0 476419333 29456678912 541798 33554432000 4194304 4196468 140724061204432 139888380129008 139889055372335 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
[pid=11389/tid=11431] ppid=11387 vsize=28766288 memory=6944613755328037012 CPUtime=79.73 cores=0-7
/proc/11389/task/11431/stat : 11431 (java) R 11387 11387 7849 0 -1 4202560 2290 0 0 0 7967 6 0 0 20 0 28 0 476419333 29456678912 541798 33554432000 4194304 4196468 140724061204432 139888384340392 139889055173948 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27631616 140724061209564 140724061209739 140724061209739 140724061212623 0
Current children cumulated CPU time: 1350.29 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 2168648 KiB

Child status: 0
Real time (s): 170.237
CPU time (s): 1350.42
CPU user time (s): 1348.75
CPU system time (s): 1.6722
CPU usage (%): 793.26
Max. virtual memory (cumulated for all children) (KiB): 28879416
Max. memory (cumulated for all children) (KiB): 2169676

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1348.75
system time used= 1.6722
maximum resident set size= 2169684
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 113806
page faults= 0
swaps= 0
block input operations= 0
block output operations= 352
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9002
involuntary context switches= 16501


# summary of solver processes directly reported to runsolver:
#   pid: 11387
#   total CPU time (s): 1350.42
#   total CPU user time (s): 1348.75
#   total CPU system time (s): 1.6722

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.81051 second user time and 1.71155 second system time

The end