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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271274-1502730877/watcher-4271274-1502730877 -o /tmp/evaluation-result-4271274-1502730877/solver-4271274-1502730877 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1502723077-6157 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 2067177256 HOME/instance-4271274-1502730877.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Current StackSize limit: 8192 KiB

solver pid=6854, runsolver pid=6851

[startup+0.105151 s]*
/proc/loadavg: 5.26 5.98 5.42 3/200 6875
/proc/meminfo: memFree=27757208/32770624 swapFree=67108860/67108860
[pid=6854] ppid=6851 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/6854/stat : 6854 (xcsp3-exec) S 6851 6854 6130 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 106168595 9740288 345 33554432000 4194304 5098028 140733611539184 140733611537288 139653060698748 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28008448 140733611545700 140733611545911 140733611545911 140733611548651 0
/proc/6854/statm: 2378 345 289 221 0 87 0
[pid=6856] ppid=6854 vsize=25999808 memory=25916 CPUtime=0.12 cores=0-7
/proc/6856/stat : 6856 (java) S 6854 6854 6130 0 -1 1077944320 5413 0 0 0 11 1 0 0 20 0 20 0 106168595 26623803392 6479 33554432000 4194304 4196468 140721666109920 140721666092464 140077167578871 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
/proc/6856/statm: 6499952 6479 2871 1 0 6488269 0
[pid=6856/tid=6857] ppid=6854 vsize=25999808 memory=4499828794826322845 CPUtime=0.1 cores=0-7
/proc/6856/task/6857/stat : 6857 (java) R 6854 6854 6130 0 -1 4202560 3300 0 0 0 9 1 0 0 20 0 20 0 106168595 26623803392 6479 33554432000 4194304 4196468 140721666109920 140077171811392 140076805237600 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6858] ppid=6854 vsize=25999808 memory=732370344325823461 CPUtime=0 cores=0-7
/proc/6856/task/6858/stat : 6858 (java) S 6854 6854 6130 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106168596 26623803392 6479 33554432000 4194304 4196468 140721666109920 140076726168720 140077167589077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6859] ppid=6854 vsize=25999808 memory=140205988370048 CPUtime=0 cores=0-7
/proc/6856/task/6859/stat : 6859 (java) S 6854 6854 6130 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106168596 26623803392 6479 33554432000 4194304 4196468 140721666109920 140076725115920 140077167589077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6860] ppid=6854 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6856/task/6860/stat : 6860 (java) S 6854 6854 6130 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106168596 26623803392 6479 33554432000 4194304 4196468 140721666109920 140076724063120 140077167589077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6861] ppid=6854 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6856/task/6861/stat : 6861 (java) S 6854 6854 6130 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106168596 26623803392 6479 33554432000 4194304 4196468 140721666109920 140076723010320 140077167589077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6862] ppid=6854 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6856/task/6862/stat : 6862 (java) S 6854 6854 6130 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106168596 26623803392 6479 33554432000 4194304 4196468 140721666109920 140076721957520 140077167589077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6863] ppid=6854 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/6856/task/6863/stat : 6863 (java) S 6854 6854 6130 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106168596 26623803392 6479 33554432000 4194304 4196468 140721666109920 140076720904720 140077167589077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6864] ppid=6854 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6856/task/6864/stat : 6864 (java) S 6854 6854 6130 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106168596 26623803392 6479 33554432000 4194304 4196468 140721666109920 140076719851920 140077167589077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6865] ppid=6854 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6856/task/6865/stat : 6865 (java) S 6854 6854 6130 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 106168596 26623803392 6479 33554432000 4194304 4196468 140721666109920 140076718799120 140077167589077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6866] ppid=6854 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6856/task/6866/stat : 6866 (java) S 6854 6854 6130 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106168598 26623803392 6479 33554432000 4194304 4196468 140721666109920 140076294982512 140077167590018 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6867] ppid=6854 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6856/task/6867/stat : 6867 (java) S 6854 6854 6130 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 106168598 26623803392 6479 33554432000 4194304 4196468 140721666109920 140076293928480 140077167589077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6868] ppid=6854 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6856/task/6868/stat : 6868 (java) S 6854 6854 6130 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 106168598 26623803392 6479 33554432000 4194304 4196468 140721666109920 140076292875632 140077167589077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6869] ppid=6854 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6856/task/6869/stat : 6869 (java) S 6854 6854 6130 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106168601 26623803392 6479 33554432000 4194304 4196468 140721666109920 140076291823952 140077167597467 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6870] ppid=6854 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6856/task/6870/stat : 6870 (java) S 6854 6854 6130 0 -1 1077944384 316 0 0 0 0 0 0 0 20 0 20 0 106168601 26623803392 6479 33554432000 4194304 4196468 140721666109920 140076290771312 140077167590018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6871] ppid=6854 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6856/task/6871/stat : 6871 (java) S 6854 6854 6130 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106168601 26623803392 6479 33554432000 4194304 4196468 140721666109920 140076289718512 140077167590018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6872] ppid=6854 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6856/task/6872/stat : 6872 (java) S 6854 6854 6130 0 -1 1077944384 127 0 0 0 0 0 0 0 20 0 20 0 106168601 26623803392 6479 33554432000 4194304 4196468 140721666109920 140076288665712 140077167590018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6873] ppid=6854 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/6856/task/6873/stat : 6873 (java) R 6854 6854 6130 0 -1 4202560 364 0 0 0 1 0 0 0 20 0 20 0 106168601 26623803392 6479 33554432000 4194304 4196468 140721666109920 140076287612912 140077145943532 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6874] ppid=6854 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6856/task/6874/stat : 6874 (java) S 6854 6854 6130 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 106168601 26623803392 6479 33554432000 4194304 4196468 140721666109920 140076286561376 140077167589077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6875] ppid=6854 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/6856/task/6875/stat : 6875 (java) S 6854 6854 6130 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106168601 26623803392 6479 33554432000 4194304 4196468 140721666109920 140076285508656 140077167590018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27296 KiB

[startup+0.210648 s]*
/proc/loadavg: 5.26 5.98 5.42 2/200 6875
/proc/meminfo: memFree=27745812/32770624 swapFree=67108860/67108860
[pid=6854] ppid=6851 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/6854/stat : 6854 (xcsp3-exec) S 6851 6854 6130 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 106168595 9740288 345 33554432000 4194304 5098028 140733611539184 140733611537288 139653060698748 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28008448 140733611545700 140733611545911 140733611545911 140733611548651 0
/proc/6854/statm: 2378 345 289 221 0 87 0
[pid=6856] ppid=6854 vsize=26004064 memory=37840 CPUtime=0.33 cores=0-7
/proc/6856/stat : 6856 (java) S 6854 6854 6130 0 -1 1077944320 8070 0 0 0 30 3 0 0 20 0 20 0 106168595 26628161536 9460 33554432000 4194304 4196468 140721666109920 140721666092464 140077167578871 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
/proc/6856/statm: 6501016 9460 3062 1 0 6488269 0
[pid=6856/tid=6857] ppid=6854 vsize=26004064 memory=0 CPUtime=0.19 cores=0-7
/proc/6856/task/6857/stat : 6857 (java) R 6854 6854 6130 0 -1 4202560 5013 0 0 0 18 1 0 0 20 0 20 0 106168595 26628161536 9460 33554432000 4194304 4196468 140721666109920 140077171799872 140077160256885 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6858] ppid=6854 vsize=26004064 memory=280411840304888 CPUtime=0 cores=0-7
/proc/6856/task/6858/stat : 6858 (java) S 6854 6854 6130 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106168596 26628161536 9460 33554432000 4194304 4196468 140721666109920 140076726168720 140077167589077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6859] ppid=6854 vsize=26004064 memory=140205988370048 CPUtime=0 cores=0-7
/proc/6856/task/6859/stat : 6859 (java) S 6854 6854 6130 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106168596 26628161536 9460 33554432000 4194304 4196468 140721666109920 140076725115920 140077167589077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6860] ppid=6854 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6856/task/6860/stat : 6860 (java) S 6854 6854 6130 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106168596 26628161536 9460 33554432000 4194304 4196468 140721666109920 140076724063120 140077167589077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6861] ppid=6854 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6856/task/6861/stat : 6861 (java) S 6854 6854 6130 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106168596 26628161536 9460 33554432000 4194304 4196468 140721666109920 140076723010320 140077167589077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6862] ppid=6854 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6856/task/6862/stat : 6862 (java) S 6854 6854 6130 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106168596 26628161536 9460 33554432000 4194304 4196468 140721666109920 140076721957520 140077167589077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6863] ppid=6854 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/6856/task/6863/stat : 6863 (java) S 6854 6854 6130 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106168596 26628161536 9460 33554432000 4194304 4196468 140721666109920 140076720904720 140077167589077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6864] ppid=6854 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6856/task/6864/stat : 6864 (java) S 6854 6854 6130 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106168596 26628161536 9460 33554432000 4194304 4196468 140721666109920 140076719851920 140077167589077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6865] ppid=6854 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6856/task/6865/stat : 6865 (java) S 6854 6854 6130 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 106168596 26628161536 9460 33554432000 4194304 4196468 140721666109920 140076718799120 140077167589077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6866] ppid=6854 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6856/task/6866/stat : 6866 (java) S 6854 6854 6130 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106168598 26628161536 9460 33554432000 4194304 4196468 140721666109920 140076294982512 140077167590018 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6867] ppid=6854 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6856/task/6867/stat : 6867 (java) S 6854 6854 6130 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 106168598 26628161536 9460 33554432000 4194304 4196468 140721666109920 140076293928480 140077167589077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6868] ppid=6854 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6856/task/6868/stat : 6868 (java) S 6854 6854 6130 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 106168598 26628161536 9460 33554432000 4194304 4196468 140721666109920 140076292875632 140077167589077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6869] ppid=6854 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6856/task/6869/stat : 6869 (java) S 6854 6854 6130 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106168601 26628161536 9460 33554432000 4194304 4196468 140721666109920 140076291823952 140077167597467 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6870] ppid=6854 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/6856/task/6870/stat : 6870 (java) R 6854 6854 6130 0 -1 1077944384 411 0 0 0 1 0 0 0 20 0 20 0 106168601 26628161536 9460 33554432000 4194304 4196468 140721666109920 140076290771312 140077167590018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6871] ppid=6854 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/6856/task/6871/stat : 6871 (java) R 6854 6854 6130 0 -1 1077944384 317 0 0 0 1 0 0 0 20 0 20 0 106168601 26628161536 9460 33554432000 4194304 4196468 140721666109920 140076289718512 140077167590018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6872] ppid=6854 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/6856/task/6872/stat : 6872 (java) S 6854 6854 6130 0 -1 1077944384 176 0 0 0 1 0 0 0 20 0 20 0 106168601 26628161536 9460 33554432000 4194304 4196468 140721666109920 140076288665712 140077167590018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6873] ppid=6854 vsize=26004064 memory=0 CPUtime=0.07 cores=0-7
/proc/6856/task/6873/stat : 6873 (java) R 6854 6854 6130 0 -1 4202560 846 0 0 0 7 0 0 0 20 0 20 0 106168601 26628161536 9460 33554432000 4194304 4196468 140721666109920 140076287612912 140077160675707 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6874] ppid=6854 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6856/task/6874/stat : 6874 (java) S 6854 6854 6130 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 106168601 26628161536 9460 33554432000 4194304 4196468 140721666109920 140076286561376 140077167589077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6875] ppid=6854 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/6856/task/6875/stat : 6875 (java) S 6854 6854 6130 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106168601 26628161536 9460 33554432000 4194304 4196468 140721666109920 140076285508656 140077167590018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 39220 KiB

[startup+0.310346 s]*
/proc/loadavg: 5.26 5.98 5.42 3/200 6875
/proc/meminfo: memFree=27741036/32770624 swapFree=67108860/67108860
[pid=6854] ppid=6851 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/6854/stat : 6854 (xcsp3-exec) S 6851 6854 6130 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 106168595 9740288 345 33554432000 4194304 5098028 140733611539184 140733611537288 139653060698748 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28008448 140733611545700 140733611545911 140733611545911 140733611548651 0
/proc/6854/statm: 2378 345 289 221 0 87 0
[pid=6856] ppid=6854 vsize=26004064 memory=43000 CPUtime=0.49 cores=0-7
/proc/6856/stat : 6856 (java) S 6854 6854 6130 0 -1 1077944320 8992 0 0 0 46 3 0 0 20 0 20 0 106168595 26628161536 10750 33554432000 4194304 4196468 140721666109920 140721666092464 140077167578871 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
/proc/6856/statm: 6501016 10750 3096 1 0 6488269 0
[pid=6856/tid=6857] ppid=6854 vsize=26004064 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/6856/task/6857/stat : 6857 (java) R 6854 6854 6130 0 -1 4202560 5681 0 0 0 28 1 0 0 20 0 20 0 106168595 26628161536 10750 33554432000 4194304 4196468 140721666109920 140077171811504 140076805341859 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6858] ppid=6854 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6856/task/6858/stat : 6858 (java) S 6854 6854 6130 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106168596 26628161536 10750 33554432000 4194304 4196468 140721666109920 140076726168720 140077167589077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6859] ppid=6854 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6856/task/6859/stat : 6859 (java) S 6854 6854 6130 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106168596 26628161536 10750 33554432000 4194304 4196468 140721666109920 140076725115920 140077167589077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6860] ppid=6854 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6856/task/6860/stat : 6860 (java) S 6854 6854 6130 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106168596 26628161536 10750 33554432000 4194304 4196468 140721666109920 140076724063120 140077167589077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6861] ppid=6854 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6856/task/6861/stat : 6861 (java) S 6854 6854 6130 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106168596 26628161536 10750 33554432000 4194304 4196468 140721666109920 140076723010320 140077167589077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6862] ppid=6854 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/6856/task/6862/stat : 6862 (java) S 6854 6854 6130 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106168596 26628161536 10750 33554432000 4194304 4196468 140721666109920 140076721957520 140077167589077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6863] ppid=6854 vsize=26004064 memory=140205852029871 CPUtime=0 cores=0-7
/proc/6856/task/6863/stat : 6863 (java) S 6854 6854 6130 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106168596 26628161536 10750 33554432000 4194304 4196468 140721666109920 140076720904720 140077167589077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6864] ppid=6854 vsize=26004064 memory=140205852032176 CPUtime=0 cores=0-7
/proc/6856/task/6864/stat : 6864 (java) S 6854 6854 6130 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106168596 26628161536 10750 33554432000 4194304 4196468 140721666109920 140076719851920 140077167589077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6865] ppid=6854 vsize=26004064 memory=140205852034480 CPUtime=0 cores=0-7
/proc/6856/task/6865/stat : 6865 (java) S 6854 6854 6130 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 106168596 26628161536 10750 33554432000 4194304 4196468 140721666109920 140076718799120 140077167589077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6866] ppid=6854 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6856/task/6866/stat : 6866 (java) S 6854 6854 6130 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106168598 26628161536 10750 33554432000 4194304 4196468 140721666109920 140076294982512 140077167590018 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6867] ppid=6854 vsize=26004064 memory=280411704075920 CPUtime=0 cores=0-7
/proc/6856/task/6867/stat : 6867 (java) S 6854 6854 6130 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 106168598 26628161536 10750 33554432000 4194304 4196468 140721666109920 140076293928480 140077167589077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6868] ppid=6854 vsize=26004064 memory=280411704082832 CPUtime=0 cores=0-7
/proc/6856/task/6868/stat : 6868 (java) S 6854 6854 6130 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 106168598 26628161536 10750 33554432000 4194304 4196468 140721666109920 140076292875632 140077167589077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6869] ppid=6854 vsize=26004064 memory=280411704024112 CPUtime=0 cores=0-7
/proc/6856/task/6869/stat : 6869 (java) S 6854 6854 6130 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106168601 26628161536 10750 33554432000 4194304 4196468 140721666109920 140076291823952 140077167597467 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6870] ppid=6854 vsize=26004064 memory=280411704096656 CPUtime=0.01 cores=0-7
/proc/6856/task/6870/stat : 6870 (java) S 6854 6854 6130 0 -1 1077944384 416 0 0 0 1 0 0 0 20 0 20 0 106168601 26628161536 10750 33554432000 4194304 4196468 140721666109920 140076290771312 140077167590018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6871] ppid=6854 vsize=26004064 memory=280411704103568 CPUtime=0.01 cores=0-7
/proc/6856/task/6871/stat : 6871 (java) S 6854 6854 6130 0 -1 1077944384 321 0 0 0 1 0 0 0 20 0 20 0 106168601 26628161536 10750 33554432000 4194304 4196468 140721666109920 140076289718512 140077167590018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6872] ppid=6854 vsize=26004064 memory=280411704101264 CPUtime=0.02 cores=0-7
/proc/6856/task/6872/stat : 6872 (java) S 6854 6854 6130 0 -1 1077944384 250 0 0 0 2 0 0 0 20 0 20 0 106168601 26628161536 10750 33554432000 4194304 4196468 140721666109920 140076288665712 140077167590018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6873] ppid=6854 vsize=26004064 memory=280411704117424 CPUtime=0.12 cores=0-7
/proc/6856/task/6873/stat : 6873 (java) R 6854 6854 6130 0 -1 4202560 1020 0 0 0 12 0 0 0 20 0 20 0 106168601 26628161536 10750 33554432000 4194304 4196468 140721666109920 140076287612912 140077160675755 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6874] ppid=6854 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6856/task/6874/stat : 6874 (java) S 6854 6854 6130 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 106168601 26628161536 10750 33554432000 4194304 4196468 140721666109920 140076286561376 140077167589077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6875] ppid=6854 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/6856/task/6875/stat : 6875 (java) S 6854 6854 6130 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 106168601 26628161536 10750 33554432000 4194304 4196468 140721666109920 140076285508656 140077167590018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 44380 KiB

[startup+0.700994 s]
/proc/loadavg: 5.26 5.98 5.42 5/200 6875
/proc/meminfo: memFree=27713804/32770624 swapFree=67108860/67108860
[pid=6854] ppid=6851 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/6854/stat : 6854 (xcsp3-exec) S 6851 6854 6130 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 106168595 9740288 345 33554432000 4194304 5098028 140733611539184 140733611537288 139653060698748 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28008448 140733611545700 140733611545911 140733611545911 140733611548651 0
/proc/6854/statm: 2378 345 289 221 0 87 0
[pid=6856] ppid=6854 vsize=26006188 memory=114424 CPUtime=2.04 cores=0-7
/proc/6856/stat : 6856 (java) S 6854 6854 6130 0 -1 1077944320 14125 0 0 0 198 6 0 0 20 0 20 0 106168595 26630336512 28606 33554432000 4194304 4196468 140721666109920 140721666092464 140077167578871 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
/proc/6856/statm: 6501547 28606 3203 1 0 6488781 0
[pid=6856/tid=6857] ppid=6854 vsize=26006188 memory=280411704412288 CPUtime=0.67 cores=0-7
/proc/6856/task/6857/stat : 6857 (java) R 6854 6854 6130 0 -1 4202560 6303 0 0 0 64 3 0 0 20 0 20 0 106168595 26630336512 28606 33554432000 4194304 4196468 140721666109920 140077171814320 140077167590806 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6858] ppid=6854 vsize=26006188 memory=1224 CPUtime=0 cores=0-7
/proc/6856/task/6858/stat : 6858 (java) S 6854 6854 6130 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106168596 26630336512 28606 33554432000 4194304 4196468 140721666109920 140076726168720 140077167589077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6859] ppid=6854 vsize=26006188 memory=12032 CPUtime=0 cores=0-7
/proc/6856/task/6859/stat : 6859 (java) S 6854 6854 6130 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106168596 26630336512 28606 33554432000 4194304 4196468 140721666109920 140076725115920 140077167589077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6860] ppid=6854 vsize=26006188 memory=5792 CPUtime=0 cores=0-7
/proc/6856/task/6860/stat : 6860 (java) S 6854 6854 6130 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 106168596 26630336512 28606 33554432000 4194304 4196468 140721666109920 140076724063120 140077167589077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0

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

[pid=6856/tid=6873] ppid=6854 vsize=26538700 memory=0 CPUtime=0.7 cores=0-7
/proc/6856/task/6873/stat : 6873 (java) S 6854 6854 6130 0 -1 1077944384 3570 0 0 0 69 1 0 0 20 0 28 0 106168601 27175628800 159682 33554432000 4194304 4196468 140721666109920 140076287612912 140077167590018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6874] ppid=6854 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/6856/task/6874/stat : 6874 (java) S 6854 6854 6130 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 106168601 27175628800 159682 33554432000 4194304 4196468 140721666109920 140076286561376 140077167589077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6875] ppid=6854 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/6856/task/6875/stat : 6875 (java) S 6854 6854 6130 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 106168601 27175628800 159682 33554432000 4194304 4196468 140721666109920 140076285508656 140077167590018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6876] ppid=6854 vsize=26538700 memory=0 CPUtime=1.07 cores=0-7
/proc/6856/task/6876/stat : 6876 (java) R 6854 6854 6130 0 -1 4202560 225 0 0 0 106 1 0 0 20 0 28 0 106168822 27175628800 159682 33554432000 4194304 4196468 140721666109920 140076277497832 140076813362050 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6877] ppid=6854 vsize=26538700 memory=0 CPUtime=1.02 cores=0-7
/proc/6856/task/6877/stat : 6877 (java) R 6854 6854 6130 0 -1 4202560 49 0 0 0 102 0 0 0 20 0 28 0 106168823 27175628800 159682 33554432000 4194304 4196468 140721666109920 140076276445480 140076813364181 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6878] ppid=6854 vsize=26538700 memory=0 CPUtime=0.99 cores=0-7
/proc/6856/task/6878/stat : 6878 (java) R 6854 6854 6130 0 -1 4202560 113 0 0 0 98 1 0 0 20 0 28 0 106168823 27175628800 159682 33554432000 4194304 4196468 140721666109920 140076275392392 140076813812110 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6879] ppid=6854 vsize=26538700 memory=0 CPUtime=1.03 cores=0-7
/proc/6856/task/6879/stat : 6879 (java) R 6854 6854 6130 0 -1 4202560 97 0 0 0 101 2 0 0 20 0 28 0 106168823 27175628800 159682 33554432000 4194304 4196468 140721666109920 140076274339752 140076813674470 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6880] ppid=6854 vsize=26538700 memory=0 CPUtime=1.05 cores=0-7
/proc/6856/task/6880/stat : 6880 (java) R 6854 6854 6130 0 -1 4202560 64 0 0 0 104 1 0 0 20 0 28 0 106168823 27175628800 159682 33554432000 4194304 4196468 140721666109920 140076273287656 140076813152565 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6881] ppid=6854 vsize=26538700 memory=0 CPUtime=1.03 cores=0-7
/proc/6856/task/6881/stat : 6881 (java) R 6854 6854 6130 0 -1 4202560 81 0 0 0 103 0 0 0 20 0 28 0 106168823 27175628800 159682 33554432000 4194304 4196468 140721666109920 140076272236840 140076813363382 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6882] ppid=6854 vsize=26538700 memory=0 CPUtime=1.11 cores=0-7
/proc/6856/task/6882/stat : 6882 (java) R 6854 6854 6130 0 -1 4202560 38 0 0 0 111 0 0 0 20 0 28 0 106168823 27175628800 159682 33554432000 4194304 4196468 140721666109920 140076271182344 140076813153423 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6883] ppid=6854 vsize=26538700 memory=0 CPUtime=1.12 cores=0-7
/proc/6856/task/6883/stat : 6883 (java) R 6854 6854 6130 0 -1 4202560 68 0 0 0 111 1 0 0 20 0 28 0 106168823 27175628800 159682 33554432000 4194304 4196468 140721666109920 140076270129064 140076813362945 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
Current children cumulated CPU time: 18.25 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 640108 KiB

[startup+4.00174 s]*
/proc/loadavg: 4.92 5.90 5.39 10/208 6883
/proc/meminfo: memFree=27085328/32770624 swapFree=67108860/67108860
[pid=6854] ppid=6851 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/6854/stat : 6854 (xcsp3-exec) S 6851 6854 6130 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 106168595 9740288 345 33554432000 4194304 5098028 140733611539184 140733611537288 139653060698748 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28008448 140733611545700 140733611545911 140733611545911 140733611548651 0
/proc/6854/statm: 2378 345 289 221 0 87 0
[pid=6856] ppid=6854 vsize=26538700 memory=695764 CPUtime=21.45 cores=0-7
/proc/6856/stat : 6856 (java) S 6854 6854 6130 0 -1 1077944320 24187 0 0 0 2087 58 0 0 20 0 28 0 106168595 27175628800 173941 33554432000 4194304 4196468 140721666109920 140721666092464 140077167578871 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
/proc/6856/statm: 6634675 173941 3276 1 0 6621909 0
[pid=6856/tid=6857] ppid=6854 vsize=26538700 memory=8112282956445269571 CPUtime=2.12 cores=0-7
/proc/6856/task/6857/stat : 6857 (java) S 6854 6854 6130 0 -1 1077944384 6613 0 0 0 206 6 0 0 20 0 28 0 106168595 27175628800 173941 33554432000 4194304 4196468 140721666109920 140077171819648 140077167589077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6858] ppid=6854 vsize=26538700 memory=0 CPUtime=0.15 cores=0-7
/proc/6856/task/6858/stat : 6858 (java) S 6854 6854 6130 0 -1 1077944384 122 0 0 0 11 4 0 0 20 0 28 0 106168596 27175628800 173941 33554432000 4194304 4196468 140721666109920 140076726168720 140077167589077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6859] ppid=6854 vsize=26538700 memory=0 CPUtime=0.15 cores=0-7
/proc/6856/task/6859/stat : 6859 (java) S 6854 6854 6130 0 -1 1077944384 102 0 0 0 11 4 0 0 20 0 28 0 106168596 27175628800 173941 33554432000 4194304 4196468 140721666109920 140076725115920 140077167589077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6860] ppid=6854 vsize=26538700 memory=0 CPUtime=0.16 cores=0-7
/proc/6856/task/6860/stat : 6860 (java) S 6854 6854 6130 0 -1 1077944384 96 0 0 0 12 4 0 0 20 0 28 0 106168596 27175628800 173941 33554432000 4194304 4196468 140721666109920 140076724063120 140077167589077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6861] ppid=6854 vsize=26538700 memory=-1 CPUtime=0.16 cores=0-7
/proc/6856/task/6861/stat : 6861 (java) S 6854 6854 6130 0 -1 1077944384 119 0 0 0 12 4 0 0 20 0 28 0 106168596 27175628800 173941 33554432000 4194304 4196468 140721666109920 140076723010320 140077167589077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6862] ppid=6854 vsize=26538700 memory=-1 CPUtime=0.15 cores=0-7
/proc/6856/task/6862/stat : 6862 (java) S 6854 6854 6130 0 -1 1077944384 107 0 0 0 11 4 0 0 20 0 28 0 106168596 27175628800 173941 33554432000 4194304 4196468 140721666109920 140076721957520 140077167589077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6863] ppid=6854 vsize=26538700 memory=-1 CPUtime=0.15 cores=0-7
/proc/6856/task/6863/stat : 6863 (java) S 6854 6854 6130 0 -1 1077944384 106 0 0 0 11 4 0 0 20 0 28 0 106168596 27175628800 173941 33554432000 4194304 4196468 140721666109920 140076720904720 140077167589077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6864] ppid=6854 vsize=26538700 memory=0 CPUtime=0.12 cores=0-7
/proc/6856/task/6864/stat : 6864 (java) S 6854 6854 6130 0 -1 1077944384 79 0 0 0 9 3 0 0 20 0 28 0 106168596 27175628800 173941 33554432000 4194304 4196468 140721666109920 140076719851920 140077167589077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6865] ppid=6854 vsize=26538700 memory=0 CPUtime=0.15 cores=0-7
/proc/6856/task/6865/stat : 6865 (java) S 6854 6854 6130 0 -1 1077944384 169 0 0 0 11 4 0 0 20 0 28 0 106168596 27175628800 173941 33554432000 4194304 4196468 140721666109920 140076718799120 140077167589077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6866] ppid=6854 vsize=26538700 memory=0 CPUtime=0.01 cores=0-7
/proc/6856/task/6866/stat : 6866 (java) S 6854 6854 6130 0 -1 1077944384 502 0 0 0 1 0 0 0 20 0 28 0 106168598 27175628800 173941 33554432000 4194304 4196468 140721666109920 140076294982512 140077167590018 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6867] ppid=6854 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/6856/task/6867/stat : 6867 (java) S 6854 6854 6130 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 106168598 27175628800 173941 33554432000 4194304 4196468 140721666109920 140076293928544 140077167589077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6868] ppid=6854 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/6856/task/6868/stat : 6868 (java) S 6854 6854 6130 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 106168598 27175628800 173941 33554432000 4194304 4196468 140721666109920 140076292875648 140077167589077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6869] ppid=6854 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/6856/task/6869/stat : 6869 (java) S 6854 6854 6130 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 106168601 27175628800 173941 33554432000 4194304 4196468 140721666109920 140076291823952 140077167597467 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6870] ppid=6854 vsize=26538700 memory=26500 CPUtime=2.05 cores=0-7
/proc/6856/task/6870/stat : 6870 (java) S 6854 6854 6130 0 -1 1077944384 3152 0 0 0 205 0 0 0 20 0 28 0 106168601 27175628800 173941 33554432000 4194304 4196468 140721666109920 140076290771312 140077167590018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6871] ppid=6854 vsize=26538700 memory=4100 CPUtime=2.03 cores=0-7
/proc/6856/task/6871/stat : 6871 (java) S 6854 6854 6130 0 -1 1077944384 3481 0 0 0 203 0 0 0 20 0 28 0 106168601 27175628800 173941 33554432000 4194304 4196468 140721666109920 140076289718512 140077167590018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6872] ppid=6854 vsize=26538700 memory=7444844154436341840 CPUtime=2.15 cores=0-7
/proc/6856/task/6872/stat : 6872 (java) R 6854 6854 6130 0 -1 4202560 3836 0 0 0 214 1 0 0 20 0 28 0 106168601 27175628800 173941 33554432000 4194304 4196468 140721666109920 140076288651808 140077150963885 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6873] ppid=6854 vsize=26538700 memory=7590933064770152551 CPUtime=0.71 cores=0-7
/proc/6856/task/6873/stat : 6873 (java) S 6854 6854 6130 0 -1 1077944384 3583 0 0 0 70 1 0 0 20 0 28 0 106168601 27175628800 173941 33554432000 4194304 4196468 140721666109920 140076287612912 140077167590018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6874] ppid=6854 vsize=26538700 memory=3472328296227680304 CPUtime=0 cores=0-7
/proc/6856/task/6874/stat : 6874 (java) S 6854 6854 6130 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 106168601 27175628800 173941 33554432000 4194304 4196468 140721666109920 140076286561376 140077167589077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6875] ppid=6854 vsize=26538700 memory=140205851934839 CPUtime=0 cores=0-7
/proc/6856/task/6875/stat : 6875 (java) S 6854 6854 6130 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 106168601 27175628800 173941 33554432000 4194304 4196468 140721666109920 140076285508656 140077167590018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6876] ppid=6854 vsize=26538700 memory=-1 CPUtime=1.32 cores=0-7
/proc/6856/task/6876/stat : 6876 (java) R 6854 6854 6130 0 -1 4202560 225 0 0 0 131 1 0 0 20 0 28 0 106168822 27175628800 173941 33554432000 4194304 4196468 140721666109920 140076277496808 140076814295230 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6877] ppid=6854 vsize=26538700 memory=4294969568 CPUtime=1.35 cores=0-7
/proc/6856/task/6877/stat : 6877 (java) R 6854 6854 6130 0 -1 4202560 49 0 0 0 135 0 0 0 20 0 28 0 106168823 27175628800 173941 33554432000 4194304 4196468 140721666109920 140076276444864 140076813363468 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6878] ppid=6854 vsize=26538700 memory=116420 CPUtime=1.29 cores=0-7
/proc/6856/task/6878/stat : 6878 (java) R 6854 6854 6130 0 -1 4202560 115 0 0 0 128 1 0 0 20 0 28 0 106168823 27175628800 173941 33554432000 4194304 4196468 140721666109920 140076275392192 140076813361813 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6879] ppid=6854 vsize=26538700 memory=0 CPUtime=1.37 cores=0-7
/proc/6856/task/6879/stat : 6879 (java) R 6854 6854 6130 0 -1 4202560 180 0 0 0 134 3 0 0 20 0 28 0 106168823 27175628800 173941 33554432000 4194304 4196468 140721666109920 140076274340168 140076813152565 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6880] ppid=6854 vsize=26538700 memory=5792262887553650770 CPUtime=1.38 cores=0-7
/proc/6856/task/6880/stat : 6880 (java) R 6854 6854 6130 0 -1 4202560 64 0 0 0 137 1 0 0 20 0 28 0 106168823 27175628800 173941 33554432000 4194304 4196468 140721666109920 140076273286016 140076813362266 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6881] ppid=6854 vsize=26538700 memory=7019265057849371217 CPUtime=1.36 cores=0-7
/proc/6856/task/6881/stat : 6881 (java) R 6854 6854 6130 0 -1 4202560 81 0 0 0 136 0 0 0 20 0 28 0 106168823 27175628800 173941 33554432000 4194304 4196468 140721666109920 140076272233680 140076813363907 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6882] ppid=6854 vsize=26538700 memory=7163373674675393368 CPUtime=1.45 cores=0-7
/proc/6856/task/6882/stat : 6882 (java) R 6854 6854 6130 0 -1 4202560 38 0 0 0 145 0 0 0 20 0 28 0 106168823 27175628800 173941 33554432000 4194304 4196468 140721666109920 140076271182104 140076814295002 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6883] ppid=6854 vsize=26538700 memory=2241 CPUtime=1.45 cores=0-7
/proc/6856/task/6883/stat : 6883 (java) R 6854 6854 6130 0 -1 4202560 68 0 0 0 143 2 0 0 20 0 28 0 106168823 27175628800 173941 33554432000 4194304 4196468 140721666109920 140076270131576 140076813860875 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
Current children cumulated CPU time: 21.45 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 697144 KiB

[startup+4.11074 s]
/proc/loadavg: 4.92 5.90 5.39 10/208 6883
/proc/meminfo: memFree=27085328/32770624 swapFree=67108860/67108860
[pid=6854] ppid=6851 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/6854/stat : 6854 (xcsp3-exec) S 6851 6854 6130 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 106168595 9740288 345 33554432000 4194304 5098028 140733611539184 140733611537288 139653060698748 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28008448 140733611545700 140733611545911 140733611545911 140733611548651 0
/proc/6854/statm: 2378 345 289 221 0 87 0
[pid=6856] ppid=6854 vsize=26538700 memory=695828 CPUtime=22.24 cores=0-7
/proc/6856/stat : 6856 (java) S 6854 6854 6130 0 -1 1077944320 24211 0 0 0 2166 58 0 0 20 0 28 0 106168595 27175628800 173957 33554432000 4194304 4196468 140721666109920 140721666092464 140077167578871 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
/proc/6856/statm: 6634675 173957 3277 1 0 6621909 0
[pid=6856/tid=6857] ppid=6854 vsize=26538700 memory=6225772847984305511 CPUtime=2.12 cores=0-7
/proc/6856/task/6857/stat : 6857 (java) S 6854 6854 6130 0 -1 1077944384 6613 0 0 0 206 6 0 0 20 0 28 0 106168595 27175628800 173957 33554432000 4194304 4196468 140721666109920 140077171819648 140077167589077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6858] ppid=6854 vsize=26538700 memory=2241 CPUtime=0.15 cores=0-7
/proc/6856/task/6858/stat : 6858 (java) S 6854 6854 6130 0 -1 1077944384 122 0 0 0 11 4 0 0 20 0 28 0 106168596 27175628800 173957 33554432000 4194304 4196468 140721666109920 140076726168720 140077167589077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6859] ppid=6854 vsize=26538700 memory=55 CPUtime=0.15 cores=0-7
/proc/6856/task/6859/stat : 6859 (java) S 6854 6854 6130 0 -1 1077944384 102 0 0 0 11 4 0 0 20 0 28 0 106168596 27175628800 173957 33554432000 4194304 4196468 140721666109920 140076725115920 140077167589077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6860] ppid=6854 vsize=26538700 memory=9133 CPUtime=0.16 cores=0-7
/proc/6856/task/6860/stat : 6860 (java) S 6854 6854 6130 0 -1 1077944384 96 0 0 0 12 4 0 0 20 0 28 0 106168596 27175628800 173957 33554432000 4194304 4196468 140721666109920 140076724063120 140077167589077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6861] ppid=6854 vsize=26538700 memory=479316 CPUtime=0.16 cores=0-7
/proc/6856/task/6861/stat : 6861 (java) S 6854 6854 6130 0 -1 1077944384 119 0 0 0 12 4 0 0 20 0 28 0 106168596 27175628800 173957 33554432000 4194304 4196468 140721666109920 140076723010320 140077167589077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6862] ppid=6854 vsize=26538700 memory=209336 CPUtime=0.15 cores=0-7
/proc/6856/task/6862/stat : 6862 (java) S 6854 6854 6130 0 -1 1077944384 107 0 0 0 11 4 0 0 20 0 28 0 106168596 27175628800 173957 33554432000 4194304 4196468 140721666109920 140076721957520 140077167589077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6863] ppid=6854 vsize=26538700 memory=1380 CPUtime=0.15 cores=0-7
/proc/6856/task/6863/stat : 6863 (java) S 6854 6854 6130 0 -1 1077944384 106 0 0 0 11 4 0 0 20 0 28 0 106168596 27175628800 173957 33554432000 4194304 4196468 140721666109920 140076720904720 140077167589077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6864] ppid=6854 vsize=26538700 memory=128096 CPUtime=0.12 cores=0-7
/proc/6856/task/6864/stat : 6864 (java) S 6854 6854 6130 0 -1 1077944384 79 0 0 0 9 3 0 0 20 0 28 0 106168596 27175628800 173957 33554432000 4194304 4196468 140721666109920 140076719851920 140077167589077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6865] ppid=6854 vsize=26538700 memory=1732 CPUtime=0.15 cores=0-7
/proc/6856/task/6865/stat : 6865 (java) S 6854 6854 6130 0 -1 1077944384 169 0 0 0 11 4 0 0 20 0 28 0 106168596 27175628800 173957 33554432000 4194304 4196468 140721666109920 140076718799120 140077167589077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6866] ppid=6854 vsize=26538700 memory=1224 CPUtime=0.01 cores=0-7
/proc/6856/task/6866/stat : 6866 (java) S 6854 6854 6130 0 -1 1077944384 503 0 0 0 1 0 0 0 20 0 28 0 106168598 27175628800 173957 33554432000 4194304 4196468 140721666109920 140076294982512 140077167590018 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6867] ppid=6854 vsize=26538700 memory=12032 CPUtime=0 cores=0-7
/proc/6856/task/6867/stat : 6867 (java) S 6854 6854 6130 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 106168598 27175628800 173957 33554432000 4194304 4196468 140721666109920 140076293928544 140077167589077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6868] ppid=6854 vsize=26538700 memory=5792 CPUtime=0 cores=0-7
/proc/6856/task/6868/stat : 6868 (java) S 6854 6854 6130 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 106168598 27175628800 173957 33554432000 4194304 4196468 140721666109920 140076292875648 140077167589077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6869] ppid=6854 vsize=26538700 memory=796 CPUtime=0 cores=0-7
/proc/6856/task/6869/stat : 6869 (java) S 6854 6854 6130 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 106168601 27175628800 173957 33554432000 4194304 4196468 140721666109920 140076291823952 140077167597467 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6870] ppid=6854 vsize=26538700 memory=8112282956445269571 CPUtime=2.05 cores=0-7
/proc/6856/task/6870/stat : 6870 (java) S 6854 6854 6130 0 -1 1077944384 3152 0 0 0 205 0 0 0 20 0 28 0 106168601 27175628800 173957 33554432000 4194304 4196468 140721666109920 140076290771312 140077167590018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6871] ppid=6854 vsize=26538700 memory=140205852231760 CPUtime=2.03 cores=0-7
/proc/6856/task/6871/stat : 6871 (java) S 6854 6854 6130 0 -1 1077944384 3481 0 0 0 203 0 0 0 20 0 28 0 106168601 27175628800 173957 33554432000 4194304 4196468 140721666109920 140076289718512 140077167590018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6872] ppid=6854 vsize=26538700 memory=0 CPUtime=2.18 cores=0-7
/proc/6856/task/6872/stat : 6872 (java) S 6854 6854 6130 0 -1 1077944384 3848 0 0 0 217 1 0 0 20 0 28 0 106168601 27175628800 173957 33554432000 4194304 4196468 140721666109920 140076288665712 140077167590018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6873] ppid=6854 vsize=26538700 memory=0 CPUtime=0.71 cores=0-7
/proc/6856/task/6873/stat : 6873 (java) S 6854 6854 6130 0 -1 1077944384 3583 0 0 0 70 1 0 0 20 0 28 0 106168601 27175628800 173957 33554432000 4194304 4196468 140721666109920 140076287612912 140077167590018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6874] ppid=6854 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/6856/task/6874/stat : 6874 (java) S 6854 6854 6130 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 106168601 27175628800 173957 33554432000 4194304 4196468 140721666109920 140076286561376 140077167589077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6875] ppid=6854 vsize=26538700 memory=56 CPUtime=0 cores=0-7
/proc/6856/task/6875/stat : 6875 (java) S 6854 6854 6130 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 106168601 27175628800 173957 33554432000 4194304 4196468 140721666109920 140076285508656 140077167590018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6876] ppid=6854 vsize=26538700 memory=-7093856181963027648 CPUtime=1.4 cores=0-7
/proc/6856/task/6876/stat : 6876 (java) R 6854 6854 6130 0 -1 4202560 225 0 0 0 139 1 0 0 20 0 28 0 106168822 27175628800 173957 33554432000 4194304 4196468 140721666109920 140076277499392 140076813153244 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6877] ppid=6854 vsize=26538700 memory=0 CPUtime=1.44 cores=0-7
/proc/6856/task/6877/stat : 6877 (java) R 6854 6854 6130 0 -1 4202560 49 0 0 0 144 0 0 0 20 0 28 0 106168823 27175628800 173957 33554432000 4194304 4196468 140721666109920 140076276447600 140076813364184 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6878] ppid=6854 vsize=26538700 memory=0 CPUtime=1.39 cores=0-7
/proc/6856/task/6878/stat : 6878 (java) R 6854 6854 6130 0 -1 4202560 118 0 0 0 138 1 0 0 20 0 28 0 106168823 27175628800 173957 33554432000 4194304 4196468 140721666109920 140076275392992 140076813361931 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6879] ppid=6854 vsize=26538700 memory=0 CPUtime=1.47 cores=0-7
/proc/6856/task/6879/stat : 6879 (java) R 6854 6854 6130 0 -1 4202560 186 0 0 0 144 3 0 0 20 0 28 0 106168823 27175628800 173957 33554432000 4194304 4196468 140721666109920 140076274342136 140076813363382 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6880] ppid=6854 vsize=26538700 memory=576460756329985062 CPUtime=1.46 cores=0-7
/proc/6856/task/6880/stat : 6880 (java) R 6854 6854 6130 0 -1 4202560 65 0 0 0 145 1 0 0 20 0 28 0 106168823 27175628800 173957 33554432000 4194304 4196468 140721666109920 140076273287544 140076814295300 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6881] ppid=6854 vsize=26538700 memory=288230621904634245 CPUtime=1.46 cores=0-7
/proc/6856/task/6881/stat : 6881 (java) R 6854 6854 6130 0 -1 4202560 81 0 0 0 146 0 0 0 20 0 28 0 106168823 27175628800 173957 33554432000 4194304 4196468 140721666109920 140076272234160 140076814561596 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6882] ppid=6854 vsize=26538700 memory=15258164283055936 CPUtime=1.55 cores=0-7
/proc/6856/task/6882/stat : 6882 (java) R 6854 6854 6130 0 -1 4202560 38 0 0 0 155 0 0 0 20 0 28 0 106168823 27175628800 173957 33554432000 4194304 4196468 140721666109920 140076271182160 140076814295282 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
[pid=6856/tid=6883] ppid=6854 vsize=26538700 memory=0 CPUtime=1.55 cores=0-7
/proc/6856/task/6883/stat : 6883 (java) R 6854 6854 6130 0 -1 4202560 69 0 0 0 153 2 0 0 20 0 28 0 106168823 27175628800 173957 33554432000 4194304 4196468 140721666109920 140076270131824 140076813860647 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38473728 140721666114706 140721666114883 140721666114883 140721666117583 0
Current children cumulated CPU time: 22.24 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 697208 KiB

Child status: 0
Real time (s): 4.15856
CPU time (s): 22.4623
CPU user time (s): 21.8617
CPU system time (s): 0.600609
CPU usage (%): 540.146
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 697208

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 21.8617
system time used= 0.600609
maximum resident set size= 696868
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24797
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3668
involuntary context switches= 522


# summary of solver processes directly reported to runsolver:
#   pid: 6854
#   total CPU time (s): 22.4623
#   total CPU user time (s): 21.8617
#   total CPU system time (s): 0.600609

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.050961 second user time and 0.094605 second system time

The end