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 (9199 MiB free)
memory of node 1: 16384 MiB (15101 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392990-1568319775/watcher-4392990-1568319775 -o /tmp/evaluation-result-4392990-1568319775/solver-4392990-1568319775 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1568309054-15623 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 334912700 HOME/instance-4392990-1568319775.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=22892, runsolver pid=22889
Current StackSize limit: 8192 KiB
[startup+0.100127 s]*
/proc/loadavg: 7.95 8.29 8.11 7/233 22908
/proc/meminfo: memFree=24868520/32770624 swapFree=66977612/67108860
[pid=22892] ppid=22889 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22892/stat : 22892 (xcsp3-exec) S 22889 22892 15592 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408234790 115843072 363 33554432000 4194304 5098028 140724701907184 140724701905288 139810434855548 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30314496 140724701909883 140724701910125 140724701910125 140724701913034 0
/proc/22892/statm: 28282 363 304 221 0 87 0
[pid=22894] ppid=22892 vsize=15144768 memory=28420 CPUtime=0.1 cores=0,2,4,6
/proc/22894/stat : 22894 (java) S 22892 22892 15592 0 -1 1077944320 5553 0 0 0 9 1 0 0 20 0 15 0 408234790 15508242432 7105 33554432000 4194304 4196468 140727815232912 140727815215456 140453972811511 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
/proc/22894/statm: 3786192 7105 3051 1 0 3748377 0
[pid=22894/tid=22895] ppid=22892 vsize=15144768 memory=576460756329955459 CPUtime=0.08 cores=0,2,4,6
/proc/22894/task/22895/stat : 22895 (java) R 22892 22892 15592 0 -1 4202560 3588 0 0 0 7 1 0 0 20 0 15 0 408234790 15508242432 7105 33554432000 4194304 4196468 140727815232912 140453977041408 140453972833437 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
[pid=22894/tid=22896] ppid=22892 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22894/task/22896/stat : 22896 (java) S 22892 22892 15592 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408234791 15508242432 7105 33554432000 4194304 4196468 140727815232912 140453900851600 140453972821717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
[pid=22894/tid=22897] ppid=22892 vsize=15144768 memory=140156426907445 CPUtime=0 cores=0,2,4,6
/proc/22894/task/22897/stat : 22897 (java) S 22892 22892 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408234791 15508242432 7105 33554432000 4194304 4196468 140727815232912 140453899798800 140453972821717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
[pid=22894/tid=22898] ppid=22892 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22894/task/22898/stat : 22898 (java) S 22892 22892 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408234791 15508242432 7105 33554432000 4194304 4196468 140727815232912 140453898746512 140453972821717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
[pid=22894/tid=22899] ppid=22892 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22894/task/22899/stat : 22899 (java) S 22892 22892 15592 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408234791 15508242432 7105 33554432000 4194304 4196468 140727815232912 140453897693712 140453972821717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
[pid=22894/tid=22900] ppid=22892 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22894/task/22900/stat : 22900 (java) S 22892 22892 15592 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408234793 15508242432 7105 33554432000 4194304 4196468 140727815232912 140453441333872 140453972822658 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
[pid=22894/tid=22901] ppid=22892 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22894/task/22901/stat : 22901 (java) S 22892 22892 15592 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408234793 15508242432 7105 33554432000 4194304 4196468 140727815232912 140453440279840 140453972821717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
[pid=22894/tid=22902] ppid=22892 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22894/task/22902/stat : 22902 (java) S 22892 22892 15592 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408234793 15508242432 7105 33554432000 4194304 4196468 140727815232912 140453439227504 140453972821717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
[pid=22894/tid=22903] ppid=22892 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22894/task/22903/stat : 22903 (java) S 22892 22892 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408234796 15508242432 7105 33554432000 4194304 4196468 140727815232912 140453438175824 140453972830107 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
[pid=22894/tid=22904] ppid=22892 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22894/task/22904/stat : 22904 (java) R 22892 22892 15592 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 15 0 408234797 15508242432 7105 33554432000 4194304 4196468 140727815232912 140453437122672 140453972822658 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
[pid=22894/tid=22905] ppid=22892 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22894/task/22905/stat : 22905 (java) S 22892 22892 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408234797 15508242432 7105 33554432000 4194304 4196468 140727815232912 140453436069872 140453972822658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
[pid=22894/tid=22906] ppid=22892 vsize=15144768 memory=140156426888832 CPUtime=0.01 cores=0,2,4,6
/proc/22894/task/22906/stat : 22906 (java) S 22892 22892 15592 0 -1 1077944384 351 0 0 0 1 0 0 0 20 0 15 0 408234797 15508242432 7105 33554432000 4194304 4196468 140727815232912 140453435017584 140453972822658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
[pid=22894/tid=22907] ppid=22892 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22894/task/22907/stat : 22907 (java) S 22892 22892 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408234798 15508242432 7105 33554432000 4194304 4196468 140727815232912 140453433965024 140453972821717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
[pid=22894/tid=22908] ppid=22892 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22894/task/22908/stat : 22908 (java) S 22892 22892 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408234798 15508242432 7105 33554432000 4194304 4196468 140727815232912 140453432912816 140453972822658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 29872 KiB
[startup+0.210799 s]*
/proc/loadavg: 7.95 8.29 8.11 6/233 22908
/proc/meminfo: memFree=24856124/32770624 swapFree=66977612/67108860
[pid=22892] ppid=22889 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22892/stat : 22892 (xcsp3-exec) S 22889 22892 15592 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408234790 115843072 363 33554432000 4194304 5098028 140724701907184 140724701905288 139810434855548 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30314496 140724701909883 140724701910125 140724701910125 140724701913034 0
/proc/22892/statm: 28282 363 304 221 0 87 0
[pid=22894] ppid=22892 vsize=15144768 memory=39912 CPUtime=0.31 cores=0,2,4,6
/proc/22894/stat : 22894 (java) S 22892 22892 15592 0 -1 1077944320 9239 0 0 0 28 3 0 0 20 0 15 0 408234790 15508242432 9978 33554432000 4194304 4196468 140727815232912 140727815215456 140453972811511 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
/proc/22894/statm: 3786192 9978 3270 1 0 3748377 0
[pid=22894/tid=22895] ppid=22892 vsize=15144768 memory=7883960649037381690 CPUtime=0.18 cores=0,2,4,6
/proc/22894/task/22895/stat : 22895 (java) R 22892 22892 15592 0 -1 4202560 6516 0 0 0 16 2 0 0 20 0 15 0 408234790 15508242432 9978 33554432000 4194304 4196468 140727815232912 140453977046192 140453972823446 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
[pid=22894/tid=22896] ppid=22892 vsize=15144768 memory=1898157 CPUtime=0 cores=0,2,4,6
/proc/22894/task/22896/stat : 22896 (java) S 22892 22892 15592 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408234791 15508242432 9978 33554432000 4194304 4196468 140727815232912 140453900851600 140453972821717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
[pid=22894/tid=22897] ppid=22892 vsize=15144768 memory=288370532578600576 CPUtime=0 cores=0,2,4,6
/proc/22894/task/22897/stat : 22897 (java) S 22892 22892 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408234791 15508242432 9978 33554432000 4194304 4196468 140727815232912 140453899798800 140453972821717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
[pid=22894/tid=22898] ppid=22892 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22894/task/22898/stat : 22898 (java) S 22892 22892 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408234791 15508242432 9978 33554432000 4194304 4196468 140727815232912 140453898746512 140453972821717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
[pid=22894/tid=22899] ppid=22892 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22894/task/22899/stat : 22899 (java) S 22892 22892 15592 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408234791 15508242432 9978 33554432000 4194304 4196468 140727815232912 140453897693712 140453972821717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
[pid=22894/tid=22900] ppid=22892 vsize=15144768 memory=140156426888832 CPUtime=0 cores=0,2,4,6
/proc/22894/task/22900/stat : 22900 (java) S 22892 22892 15592 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408234793 15508242432 9978 33554432000 4194304 4196468 140727815232912 140453441333872 140453972822658 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
[pid=22894/tid=22901] ppid=22892 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22894/task/22901/stat : 22901 (java) S 22892 22892 15592 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408234793 15508242432 9978 33554432000 4194304 4196468 140727815232912 140453440279840 140453972821717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
[pid=22894/tid=22902] ppid=22892 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22894/task/22902/stat : 22902 (java) S 22892 22892 15592 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408234793 15508242432 9978 33554432000 4194304 4196468 140727815232912 140453439227504 140453972821717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
[pid=22894/tid=22903] ppid=22892 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22894/task/22903/stat : 22903 (java) S 22892 22892 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408234796 15508242432 9978 33554432000 4194304 4196468 140727815232912 140453438175824 140453972830107 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
[pid=22894/tid=22904] ppid=22892 vsize=15144768 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/22894/task/22904/stat : 22904 (java) S 22892 22892 15592 0 -1 1077944384 589 0 0 0 3 0 0 0 20 0 15 0 408234797 15508242432 9978 33554432000 4194304 4196468 140727815232912 140453437122672 140453972822658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
[pid=22894/tid=22905] ppid=22892 vsize=15144768 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/22894/task/22905/stat : 22905 (java) S 22892 22892 15592 0 -1 1077944384 50 0 0 0 1 0 0 0 20 0 15 0 408234797 15508242432 9978 33554432000 4194304 4196468 140727815232912 140453436069872 140453972822658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
[pid=22894/tid=22906] ppid=22892 vsize=15144768 memory=140156426888832 CPUtime=0.07 cores=0,2,4,6
/proc/22894/task/22906/stat : 22906 (java) R 22892 22892 15592 0 -1 4202560 779 0 0 0 7 0 0 0 20 0 15 0 408234797 15508242432 9978 33554432000 4194304 4196468 140727815232912 140453435015376 140453972823446 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
[pid=22894/tid=22907] ppid=22892 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22894/task/22907/stat : 22907 (java) S 22892 22892 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408234798 15508242432 9978 33554432000 4194304 4196468 140727815232912 140453433965024 140453972821717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
[pid=22894/tid=22908] ppid=22892 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22894/task/22908/stat : 22908 (java) S 22892 22892 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408234798 15508242432 9978 33554432000 4194304 4196468 140727815232912 140453432912816 140453972822658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 41364 KiB
[startup+0.31125 s]*
/proc/loadavg: 7.95 8.29 8.11 6/233 22908
/proc/meminfo: memFree=24850752/32770624 swapFree=66977612/67108860
[pid=22892] ppid=22889 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22892/stat : 22892 (xcsp3-exec) S 22889 22892 15592 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408234790 115843072 363 33554432000 4194304 5098028 140724701907184 140724701905288 139810434855548 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30314496 140724701909883 140724701910125 140724701910125 140724701913034 0
/proc/22892/statm: 28282 363 304 221 0 87 0
[pid=22894] ppid=22892 vsize=15149024 memory=46472 CPUtime=0.49 cores=0,2,4,6
/proc/22894/stat : 22894 (java) S 22892 22892 15592 0 -1 1077944320 10491 0 0 0 45 4 0 0 20 0 15 0 408234790 15512600576 11618 33554432000 4194304 4196468 140727815232912 140727815215456 140453972811511 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
/proc/22894/statm: 3787256 11618 3335 1 0 3748377 0
[pid=22894/tid=22895] ppid=22892 vsize=15149024 memory=8317482817917895235 CPUtime=0.28 cores=0,2,4,6
/proc/22894/task/22895/stat : 22895 (java) R 22892 22892 15592 0 -1 4202560 7571 0 0 0 25 3 0 0 20 0 15 0 408234790 15512600576 11618 33554432000 4194304 4196468 140727815232912 140453977048144 140453956855141 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
[pid=22894/tid=22896] ppid=22892 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/22894/task/22896/stat : 22896 (java) S 22892 22892 15592 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408234791 15512600576 11618 33554432000 4194304 4196468 140727815232912 140453900851600 140453972821717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
[pid=22894/tid=22897] ppid=22892 vsize=15149024 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/22894/task/22897/stat : 22897 (java) S 22892 22892 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408234791 15512600576 11618 33554432000 4194304 4196468 140727815232912 140453899798800 140453972821717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
[pid=22894/tid=22898] ppid=22892 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/22894/task/22898/stat : 22898 (java) S 22892 22892 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408234791 15512600576 11618 33554432000 4194304 4196468 140727815232912 140453898746512 140453972821717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
[pid=22894/tid=22899] ppid=22892 vsize=15149024 memory=-4190076264842474805 CPUtime=0 cores=0,2,4,6
/proc/22894/task/22899/stat : 22899 (java) S 22892 22892 15592 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408234791 15512600576 11618 33554432000 4194304 4196468 140727815232912 140453897693712 140453972821717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
[pid=22894/tid=22900] ppid=22892 vsize=15149024 memory=-6945283279944138911 CPUtime=0 cores=0,2,4,6
/proc/22894/task/22900/stat : 22900 (java) S 22892 22892 15592 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408234793 15512600576 11618 33554432000 4194304 4196468 140727815232912 140453441333872 140453972822658 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
[pid=22894/tid=22901] ppid=22892 vsize=15149024 memory=6944656425123485561 CPUtime=0 cores=0,2,4,6
/proc/22894/task/22901/stat : 22901 (java) S 22892 22892 15592 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408234793 15512600576 11618 33554432000 4194304 4196468 140727815232912 140453440279840 140453972821717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
[pid=22894/tid=22902] ppid=22892 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/22894/task/22902/stat : 22902 (java) S 22892 22892 15592 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408234793 15512600576 11618 33554432000 4194304 4196468 140727815232912 140453439227504 140453972821717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
[pid=22894/tid=22903] ppid=22892 vsize=15149024 memory=4627853888499060086 CPUtime=0 cores=0,2,4,6
/proc/22894/task/22903/stat : 22903 (java) S 22892 22892 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408234796 15512600576 11618 33554432000 4194304 4196468 140727815232912 140453438175824 140453972830107 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
[pid=22894/tid=22904] ppid=22892 vsize=15149024 memory=7827413994055111515 CPUtime=0.05 cores=0,2,4,6
/proc/22894/task/22904/stat : 22904 (java) S 22892 22892 15592 0 -1 1077944384 612 0 0 0 5 0 0 0 20 0 15 0 408234797 15512600576 11618 33554432000 4194304 4196468 140727815232912 140453437122672 140453972822658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
[pid=22894/tid=22905] ppid=22892 vsize=15149024 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/22894/task/22905/stat : 22905 (java) S 22892 22892 15592 0 -1 1077944384 62 0 0 0 2 0 0 0 20 0 15 0 408234797 15512600576 11618 33554432000 4194304 4196468 140727815232912 140453436069872 140453972822658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
[pid=22894/tid=22906] ppid=22892 vsize=15149024 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/22894/task/22906/stat : 22906 (java) R 22892 22892 15592 0 -1 4202560 941 0 0 0 11 0 0 0 20 0 15 0 408234797 15512600576 11618 33554432000 4194304 4196468 140727815232912 140453435017584 140453952200793 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
[pid=22894/tid=22907] ppid=22892 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22894/task/22907/stat : 22907 (java) S 22892 22892 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408234798 15512600576 11618 33554432000 4194304 4196468 140727815232912 140453433965024 140453972821717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
[pid=22894/tid=22908] ppid=22892 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22894/task/22908/stat : 22908 (java) S 22892 22892 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408234798 15512600576 11618 33554432000 4194304 4196468 140727815232912 140453432912816 140453972822658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 47924 KiB
[startup+0.705754 s]
/proc/loadavg: 7.95 8.29 8.11 9/233 22908
/proc/meminfo: memFree=24828952/32770624 swapFree=66977612/67108860
[pid=22892] ppid=22889 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22892/stat : 22892 (xcsp3-exec) S 22889 22892 15592 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408234790 115843072 363 33554432000 4194304 5098028 140724701907184 140724701905288 139810434855548 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30314496 140724701909883 140724701910125 140724701910125 140724701913034 0
/proc/22892/statm: 28282 363 304 221 0 87 0
[pid=22894] ppid=22892 vsize=15151148 memory=88768 CPUtime=1.74 cores=0,2,4,6
/proc/22894/stat : 22894 (java) S 22892 22892 15592 0 -1 1077944320 15885 0 0 0 168 6 0 0 20 0 15 0 408234790 15514775552 22192 33554432000 4194304 4196468 140727815232912 140727815215456 140453972811511 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
/proc/22894/statm: 3787787 22192 3452 1 0 3748889 0
[pid=22894/tid=22895] ppid=22892 vsize=15151148 memory=-3704326594973231466 CPUtime=0.66 cores=0,2,4,6
/proc/22894/task/22895/stat : 22895 (java) R 22892 22892 15592 0 -1 4202560 9185 0 0 0 62 4 0 0 20 0 15 0 408234790 15514775552 22192 33554432000 4194304 4196468 140727815232912 140453977049824 140453567623376 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
[pid=22894/tid=22896] ppid=22892 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22894/task/22896/stat : 22896 (java) S 22892 22892 15592 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408234791 15514775552 22192 33554432000 4194304 4196468 140727815232912 140453900851600 140453972821717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
[pid=22894/tid=22897] ppid=22892 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22894/task/22897/stat : 22897 (java) S 22892 22892 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408234791 15514775552 22192 33554432000 4194304 4196468 140727815232912 140453899798800 140453972821717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
[pid=22894/tid=22898] ppid=22892 vsize=15151148 memory=704 CPUtime=0 cores=0,2,4,6
/proc/22894/task/22898/stat : 22898 (java) S 22892 22892 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408234791 15514775552 22192 33554432000 4194304 4196468 140727815232912 140453898746512 140453972821717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
[pid=22894/tid=22899] ppid=22892 vsize=15151148 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/22894/task/22899/stat : 22899 (java) S 22892 22892 15592 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408234791 15514775552 22192 33554432000 4194304 4196468 140727815232912 140453897693712 140453972821717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
[pid=22894/tid=22900] ppid=22892 vsize=15151148 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/22894/task/22900/stat : 22900 (java) S 22892 22892 15592 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408234793 15514775552 22192 33554432000 4194304 4196468 140727815232912 140453441333872 140453972822658 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
[pid=22894/tid=22901] ppid=22892 vsize=15151148 memory=780 CPUtime=0 cores=0,2,4,6
/proc/22894/task/22901/stat : 22901 (java) S 22892 22892 15592 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408234793 15514775552 22192 33554432000 4194304 4196468 140727815232912 140453440279840 140453972821717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
[pid=22894/tid=22902] ppid=22892 vsize=15151148 memory=3252 CPUtime=0 cores=0,2,4,6
/proc/22894/task/22902/stat : 22902 (java) S 22892 22892 15592 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408234793 15514775552 22192 33554432000 4194304 4196468 140727815232912 140453439227504 140453972821717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
[pid=22894/tid=22903] ppid=22892 vsize=15151148 memory=1112 CPUtime=0 cores=0,2,4,6
/proc/22894/task/22903/stat : 22903 (java) S 22892 22892 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408234796 15514775552 22192 33554432000 4194304 4196468 140727815232912 140453438175824 140453972830107 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
[pid=22894/tid=22904] ppid=22892 vsize=15151148 memory=5952 CPUtime=0.33 cores=0,2,4,6
/proc/22894/task/22904/stat : 22904 (java) R 22892 22892 15592 0 -1 4202560 2078 0 0 0 33 0 0 0 20 0 15 0 408234797 15514775552 22192 33554432000 4194304 4196468 140727815232912 140453437103688 140453954332945 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
[pid=22894/tid=22905] ppid=22892 vsize=15151148 memory=7552 CPUtime=0.34 cores=0,2,4,6
/proc/22894/task/22905/stat : 22905 (java) R 22892 22892 15592 0 -1 4202560 1117 0 0 0 34 0 0 0 20 0 15 0 408234797 15514775552 22192 33554432000 4194304 4196468 140727815232912 140453436059344 140453950664800 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
[pid=22894/tid=22906] ppid=22892 vsize=15151148 memory=2832 CPUtime=0.39 cores=0,2,4,6
/proc/22894/task/22906/stat : 22906 (java) R 22892 22892 15592 0 -1 1077944384 2197 0 0 0 38 1 0 0 20 0 15 0 408234797 15514775552 22192 33554432000 4194304 4196468 140727815232912 140453435017584 140453972822658 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
[pid=22894/tid=22907] ppid=22892 vsize=15151148 memory=1084 CPUtime=0 cores=0,2,4,6
/proc/22894/task/22907/stat : 22907 (java) S 22892 22892 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408234798 15514775552 22192 33554432000 4194304 4196468 140727815232912 140453433965024 140453972821717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
[pid=22894/tid=22908] ppid=22892 vsize=15151148 memory=14012 CPUtime=0 cores=0,2,4,6
/proc/22894/task/22908/stat : 22908 (java) S 22892 22892 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408234798 15514775552 22192 33554432000 4194304 4196468 140727815232912 140453432912816 140453972822658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
Current children cumulated CPU time: 1.74 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 90220 KiB
[startup+1.50074 s]
/proc/loadavg: 7.95 8.29 8.11 8/233 22908
/proc/meminfo: memFree=24747396/32770624 swapFree=66977612/67108860
[pid=22892] ppid=22889 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22892/stat : 22892 (xcsp3-exec) S 22889 22892 15592 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408234790 115843072 363 33554432000 4194304 5098028 140724701907184 140724701905288 139810434855548 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30314496 140724701909883 140724701910125 140724701910125 140724701913034 0
/proc/22892/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/22894/task/22903/stat : 22903 (java) S 22892 22892 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408234796 15789518848 60818 33554432000 4194304 4196468 140727815232912 140453438175824 140453972830107 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
[pid=22894/tid=22904] ppid=22892 vsize=15419452 memory=0 CPUtime=2.15 cores=0,2,4,6
/proc/22894/task/22904/stat : 22904 (java) S 22892 22892 15592 0 -1 1077944384 7167 0 0 0 215 0 0 0 20 0 19 0 408234797 15789518848 60818 33554432000 4194304 4196468 140727815232912 140453437122672 140453972822658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 31 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
[pid=22894/tid=22905] ppid=22892 vsize=15419452 memory=0 CPUtime=2.34 cores=0,2,4,6
/proc/22894/task/22905/stat : 22905 (java) S 22892 22892 15592 0 -1 1077944384 9050 0 0 0 233 1 0 0 20 0 19 0 408234797 15789518848 60818 33554432000 4194304 4196468 140727815232912 140453436069872 140453972822658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 35 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
[pid=22894/tid=22906] ppid=22892 vsize=15419452 memory=0 CPUtime=0.77 cores=0,2,4,6
/proc/22894/task/22906/stat : 22906 (java) S 22892 22892 15592 0 -1 1077944384 6163 0 0 0 76 1 0 0 20 0 19 0 408234797 15789518848 60818 33554432000 4194304 4196468 140727815232912 140453435017584 140453972822658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 12 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
[pid=22894/tid=22907] ppid=22892 vsize=15419452 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22894/task/22907/stat : 22907 (java) S 22892 22892 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408234798 15789518848 60818 33554432000 4194304 4196468 140727815232912 140453433965024 140453972821717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
[pid=22894/tid=22908] ppid=22892 vsize=15419452 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22894/task/22908/stat : 22908 (java) S 22892 22892 15592 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 19 0 408234798 15789518848 60818 33554432000 4194304 4196468 140727815232912 140453432912816 140453972822658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 31 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
[pid=22894/tid=22909] ppid=22892 vsize=15419452 memory=704 CPUtime=13.46 cores=0,2,4,6
/proc/22894/task/22909/stat : 22909 (java) R 22892 22892 15592 0 -1 4202560 394 0 0 0 1346 0 0 0 20 0 19 0 408234896 15789518848 60818 33554432000 4194304 4196468 140727815232912 140453423700864 140453574300099 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
[pid=22894/tid=22910] ppid=22892 vsize=15419452 memory=1056 CPUtime=12.91 cores=0,2,4,6
/proc/22894/task/22910/stat : 22910 (java) R 22892 22892 15592 0 -1 4202560 1187 0 0 0 1291 0 0 0 20 0 19 0 408234896 15789518848 60818 33554432000 4194304 4196468 140727815232912 140453422649704 140453574711438 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
[pid=22894/tid=22911] ppid=22892 vsize=15419452 memory=1556 CPUtime=13 cores=0,2,4,6
/proc/22894/task/22911/stat : 22911 (java) R 22892 22892 15592 0 -1 4202560 286 0 0 0 1300 0 0 0 20 0 19 0 408234896 15789518848 60818 33554432000 4194304 4196468 140727815232912 140453421597032 140453574311476 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
[pid=22894/tid=22912] ppid=22892 vsize=15419452 memory=780 CPUtime=13.31 cores=0,2,4,6
/proc/22894/task/22912/stat : 22912 (java) R 22892 22892 15592 0 -1 4202560 633 0 0 0 1330 1 0 0 20 0 19 0 408234896 15789518848 60818 33554432000 4194304 4196468 140727815232912 140453420543528 140453573857008 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
Current children cumulated CPU time: 59.19 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 244724 KiB
[startup+15.6082 s]
/proc/loadavg: 8.17 8.33 8.12 9/237 22914
/proc/meminfo: memFree=24633680/32770624 swapFree=66977612/67108860
[pid=22892] ppid=22889 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22892/stat : 22892 (xcsp3-exec) S 22889 22892 15592 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408234790 115843072 363 33554432000 4194304 5098028 140724701907184 140724701905288 139810434855548 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30314496 140724701909883 140724701910125 140724701910125 140724701913034 0
/proc/22892/statm: 28282 363 304 221 0 87 0
[pid=22894] ppid=22892 vsize=15419452 memory=243272 CPUtime=60.8 cores=0,2,4,6
/proc/22894/stat : 22894 (java) S 22892 22892 15592 0 -1 1077944320 42172 0 0 0 6065 15 0 0 20 0 19 0 408234790 15789518848 60818 33554432000 4194304 4196468 140727815232912 140727815215456 140453972811511 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
/proc/22894/statm: 3854863 60818 3525 1 0 3815965 0
[pid=22894/tid=22895] ppid=22892 vsize=15419452 memory=6791534058613427641 CPUtime=1.01 cores=0,2,4,6
/proc/22894/task/22895/stat : 22895 (java) S 22892 22892 15592 0 -1 1077944384 11187 0 0 0 95 6 0 0 20 0 19 0 408234790 15789518848 60818 33554432000 4194304 4196468 140727815232912 140453977052288 140453972821717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
[pid=22894/tid=22896] ppid=22892 vsize=15419452 memory=1084 CPUtime=0.03 cores=0,2,4,6
/proc/22894/task/22896/stat : 22896 (java) S 22892 22892 15592 0 -1 1077944384 1874 0 0 0 3 0 0 0 20 0 19 0 408234791 15789518848 60818 33554432000 4194304 4196468 140727815232912 140453900851600 140453972821717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
[pid=22894/tid=22897] ppid=22892 vsize=15419452 memory=14012 CPUtime=0.03 cores=0,2,4,6
/proc/22894/task/22897/stat : 22897 (java) S 22892 22892 15592 0 -1 1077944384 1139 0 0 0 2 1 0 0 20 0 19 0 408234791 15789518848 60818 33554432000 4194304 4196468 140727815232912 140453899798800 140453972821717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
[pid=22894/tid=22898] ppid=22892 vsize=15419452 memory=14048 CPUtime=0.03 cores=0,2,4,6
/proc/22894/task/22898/stat : 22898 (java) S 22892 22892 15592 0 -1 1077944384 378 0 0 0 3 0 0 0 20 0 19 0 408234791 15789518848 60818 33554432000 4194304 4196468 140727815232912 140453898746512 140453972821717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
[pid=22894/tid=22899] ppid=22892 vsize=15419452 memory=20236 CPUtime=0.03 cores=0,2,4,6
/proc/22894/task/22899/stat : 22899 (java) S 22892 22892 15592 0 -1 1077944384 533 0 0 0 2 1 0 0 20 0 19 0 408234791 15789518848 60818 33554432000 4194304 4196468 140727815232912 140453897693712 140453972821717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
[pid=22894/tid=22900] ppid=22892 vsize=15419452 memory=2120 CPUtime=0.01 cores=0,2,4,6
/proc/22894/task/22900/stat : 22900 (java) S 22892 22892 15592 0 -1 1077944384 648 0 0 0 1 0 0 0 20 0 19 0 408234793 15789518848 60818 33554432000 4194304 4196468 140727815232912 140453441333872 140453972822658 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
[pid=22894/tid=22901] ppid=22892 vsize=15419452 memory=532 CPUtime=0 cores=0,2,4,6
/proc/22894/task/22901/stat : 22901 (java) S 22892 22892 15592 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 19 0 408234793 15789518848 60818 33554432000 4194304 4196468 140727815232912 140453440279904 140453972821717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
[pid=22894/tid=22902] ppid=22892 vsize=15419452 memory=1564 CPUtime=0 cores=0,2,4,6
/proc/22894/task/22902/stat : 22902 (java) S 22892 22892 15592 0 -1 1077944384 110 0 0 0 0 0 0 0 20 0 19 0 408234793 15789518848 60818 33554432000 4194304 4196468 140727815232912 140453439227520 140453972821717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
[pid=22894/tid=22903] ppid=22892 vsize=15419452 memory=704 CPUtime=0 cores=0,2,4,6
/proc/22894/task/22903/stat : 22903 (java) S 22892 22892 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408234796 15789518848 60818 33554432000 4194304 4196468 140727815232912 140453438175824 140453972830107 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
[pid=22894/tid=22904] ppid=22892 vsize=15419452 memory=1056 CPUtime=2.15 cores=0,2,4,6
/proc/22894/task/22904/stat : 22904 (java) S 22892 22892 15592 0 -1 1077944384 7167 0 0 0 215 0 0 0 20 0 19 0 408234797 15789518848 60818 33554432000 4194304 4196468 140727815232912 140453437122672 140453972822658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 31 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
[pid=22894/tid=22905] ppid=22892 vsize=15419452 memory=1556 CPUtime=2.34 cores=0,2,4,6
/proc/22894/task/22905/stat : 22905 (java) S 22892 22892 15592 0 -1 1077944384 9050 0 0 0 233 1 0 0 20 0 19 0 408234797 15789518848 60818 33554432000 4194304 4196468 140727815232912 140453436069872 140453972822658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 35 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
[pid=22894/tid=22906] ppid=22892 vsize=15419452 memory=780 CPUtime=0.77 cores=0,2,4,6
/proc/22894/task/22906/stat : 22906 (java) S 22892 22892 15592 0 -1 1077944384 6163 0 0 0 76 1 0 0 20 0 19 0 408234797 15789518848 60818 33554432000 4194304 4196468 140727815232912 140453435017584 140453972822658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 12 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
[pid=22894/tid=22907] ppid=22892 vsize=15419452 memory=3252 CPUtime=0 cores=0,2,4,6
/proc/22894/task/22907/stat : 22907 (java) S 22892 22892 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408234798 15789518848 60818 33554432000 4194304 4196468 140727815232912 140453433965024 140453972821717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
[pid=22894/tid=22908] ppid=22892 vsize=15419452 memory=1112 CPUtime=0 cores=0,2,4,6
/proc/22894/task/22908/stat : 22908 (java) R 22892 22892 15592 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 19 0 408234798 15789518848 60818 33554432000 4194304 4196468 140727815232912 140453432912816 140453972822658 0 4 0 16800975 0 0 0 -1 6 0 0 31 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
[pid=22894/tid=22909] ppid=22892 vsize=15419452 memory=5952 CPUtime=13.86 cores=0,2,4,6
/proc/22894/task/22909/stat : 22909 (java) R 22892 22892 15592 0 -1 4202560 394 0 0 0 1386 0 0 0 20 0 19 0 408234896 15789518848 60818 33554432000 4194304 4196468 140727815232912 140453423700864 140453574940085 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
[pid=22894/tid=22910] ppid=22892 vsize=15419452 memory=7552 CPUtime=13.31 cores=0,2,4,6
/proc/22894/task/22910/stat : 22910 (java) R 22892 22892 15592 0 -1 4202560 1216 0 0 0 1331 0 0 0 20 0 19 0 408234896 15789518848 60818 33554432000 4194304 4196468 140727815232912 140453422649704 140453574940163 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
[pid=22894/tid=22911] ppid=22892 vsize=15419452 memory=2832 CPUtime=13.41 cores=0,2,4,6
/proc/22894/task/22911/stat : 22911 (java) R 22892 22892 15592 0 -1 4202560 286 0 0 0 1341 0 0 0 20 0 19 0 408234896 15789518848 60818 33554432000 4194304 4196468 140727815232912 140453421597032 140453573877531 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
[pid=22894/tid=22912] ppid=22892 vsize=15419452 memory=1084 CPUtime=13.71 cores=0,2,4,6
/proc/22894/task/22912/stat : 22912 (java) R 22892 22892 15592 0 -1 4202560 633 0 0 0 1370 1 0 0 20 0 19 0 408234896 15789518848 60818 33554432000 4194304 4196468 140727815232912 140453420543528 140453573877490 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
Current children cumulated CPU time: 60.8 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 244724 KiB
[startup+16.0012 s]*
/proc/loadavg: 8.17 8.33 8.12 9/237 22914
/proc/meminfo: memFree=24633152/32770624 swapFree=66977612/67108860
[pid=22892] ppid=22889 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22892/stat : 22892 (xcsp3-exec) S 22889 22892 15592 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408234790 115843072 363 33554432000 4194304 5098028 140724701907184 140724701905288 139810434855548 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30314496 140724701909883 140724701910125 140724701910125 140724701913034 0
/proc/22892/statm: 28282 363 304 221 0 87 0
[pid=22894] ppid=22892 vsize=15419452 memory=243272 CPUtime=62.4 cores=0,2,4,6
/proc/22894/stat : 22894 (java) S 22892 22892 15592 0 -1 1077944320 42623 0 0 0 6225 15 0 0 20 0 19 0 408234790 15789518848 60818 33554432000 4194304 4196468 140727815232912 140727815215456 140453972811511 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
/proc/22894/statm: 3854863 60818 3525 1 0 3815965 0
[pid=22894/tid=22895] ppid=22892 vsize=15419452 memory=8317482817917895235 CPUtime=1.01 cores=0,2,4,6
/proc/22894/task/22895/stat : 22895 (java) S 22892 22892 15592 0 -1 1077944384 11187 0 0 0 95 6 0 0 20 0 19 0 408234790 15789518848 60818 33554432000 4194304 4196468 140727815232912 140453977052288 140453972821717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
[pid=22894/tid=22896] ppid=22892 vsize=15419452 memory=301794158561711623 CPUtime=0.03 cores=0,2,4,6
/proc/22894/task/22896/stat : 22896 (java) S 22892 22892 15592 0 -1 1077944384 1874 0 0 0 3 0 0 0 20 0 19 0 408234791 15789518848 60818 33554432000 4194304 4196468 140727815232912 140453900851600 140453972821717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
[pid=22894/tid=22897] ppid=22892 vsize=15419452 memory=1452 CPUtime=0.03 cores=0,2,4,6
/proc/22894/task/22897/stat : 22897 (java) S 22892 22892 15592 0 -1 1077944384 1139 0 0 0 2 1 0 0 20 0 19 0 408234791 15789518848 60818 33554432000 4194304 4196468 140727815232912 140453899798800 140453972821717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
[pid=22894/tid=22898] ppid=22892 vsize=15419452 memory=239528 CPUtime=0.03 cores=0,2,4,6
/proc/22894/task/22898/stat : 22898 (java) S 22892 22892 15592 0 -1 1077944384 378 0 0 0 3 0 0 0 20 0 19 0 408234791 15789518848 60818 33554432000 4194304 4196468 140727815232912 140453898746512 140453972821717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
[pid=22894/tid=22899] ppid=22892 vsize=15419452 memory=6944656592387989600 CPUtime=0.03 cores=0,2,4,6
/proc/22894/task/22899/stat : 22899 (java) S 22892 22892 15592 0 -1 1077944384 533 0 0 0 2 1 0 0 20 0 19 0 408234791 15789518848 60818 33554432000 4194304 4196468 140727815232912 140453897693712 140453972821717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
[pid=22894/tid=22900] ppid=22892 vsize=15419452 memory=6656426216303648864 CPUtime=0.01 cores=0,2,4,6
/proc/22894/task/22900/stat : 22900 (java) S 22892 22892 15592 0 -1 1077944384 648 0 0 0 1 0 0 0 20 0 19 0 408234793 15789518848 60818 33554432000 4194304 4196468 140727815232912 140453441333872 140453972822658 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
[pid=22894/tid=22901] ppid=22892 vsize=15419452 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/22894/task/22901/stat : 22901 (java) S 22892 22892 15592 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 19 0 408234793 15789518848 60818 33554432000 4194304 4196468 140727815232912 140453440279904 140453972821717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
[pid=22894/tid=22902] ppid=22892 vsize=15419452 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22894/task/22902/stat : 22902 (java) S 22892 22892 15592 0 -1 1077944384 110 0 0 0 0 0 0 0 20 0 19 0 408234793 15789518848 60818 33554432000 4194304 4196468 140727815232912 140453439227520 140453972821717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
[pid=22894/tid=22903] ppid=22892 vsize=15419452 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22894/task/22903/stat : 22903 (java) S 22892 22892 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408234796 15789518848 60818 33554432000 4194304 4196468 140727815232912 140453438175824 140453972830107 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
[pid=22894/tid=22904] ppid=22892 vsize=15419452 memory=0 CPUtime=2.15 cores=0,2,4,6
/proc/22894/task/22904/stat : 22904 (java) S 22892 22892 15592 0 -1 1077944384 7167 0 0 0 215 0 0 0 20 0 19 0 408234797 15789518848 60818 33554432000 4194304 4196468 140727815232912 140453437122672 140453972822658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 31 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
[pid=22894/tid=22905] ppid=22892 vsize=15419452 memory=3 CPUtime=2.34 cores=0,2,4,6
/proc/22894/task/22905/stat : 22905 (java) S 22892 22892 15592 0 -1 1077944384 9050 0 0 0 233 1 0 0 20 0 19 0 408234797 15789518848 60818 33554432000 4194304 4196468 140727815232912 140453436069872 140453972822658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 35 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
[pid=22894/tid=22906] ppid=22892 vsize=15419452 memory=1 CPUtime=0.77 cores=0,2,4,6
/proc/22894/task/22906/stat : 22906 (java) S 22892 22892 15592 0 -1 1077944384 6163 0 0 0 76 1 0 0 20 0 19 0 408234797 15789518848 60818 33554432000 4194304 4196468 140727815232912 140453435017584 140453972822658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 12 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
[pid=22894/tid=22907] ppid=22892 vsize=15419452 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22894/task/22907/stat : 22907 (java) S 22892 22892 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408234798 15789518848 60818 33554432000 4194304 4196468 140727815232912 140453433965024 140453972821717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
[pid=22894/tid=22908] ppid=22892 vsize=15419452 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22894/task/22908/stat : 22908 (java) R 22892 22892 15592 0 -1 1077944384 536 0 0 0 0 0 0 0 20 0 19 0 408234798 15789518848 60818 33554432000 4194304 4196468 140727815232912 140453432912816 140453972822658 0 4 0 16800975 0 0 0 -1 6 0 0 31 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
[pid=22894/tid=22909] ppid=22892 vsize=15419452 memory=0 CPUtime=14.27 cores=0,2,4,6
/proc/22894/task/22909/stat : 22909 (java) R 22892 22892 15592 0 -1 4202560 394 0 0 0 1427 0 0 0 20 0 19 0 408234896 15789518848 60818 33554432000 4194304 4196468 140727815232912 140453423700864 140453574940126 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
[pid=22894/tid=22910] ppid=22892 vsize=15419452 memory=215 CPUtime=13.69 cores=0,2,4,6
/proc/22894/task/22910/stat : 22910 (java) R 22892 22892 15592 0 -1 4202560 1218 0 0 0 1369 0 0 0 20 0 19 0 408234896 15789518848 60818 33554432000 4194304 4196468 140727815232912 140453422649704 140453574311614 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
[pid=22894/tid=22911] ppid=22892 vsize=15419452 memory=20417 CPUtime=13.81 cores=0,2,4,6
/proc/22894/task/22911/stat : 22911 (java) R 22892 22892 15592 0 -1 4202560 286 0 0 0 1381 0 0 0 20 0 19 0 408234896 15789518848 60818 33554432000 4194304 4196468 140727815232912 140453421597032 140453575448704 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
[pid=22894/tid=22912] ppid=22892 vsize=15419452 memory=4420 CPUtime=14.12 cores=0,2,4,6
/proc/22894/task/22912/stat : 22912 (java) R 22892 22892 15592 0 -1 4202560 637 0 0 0 1411 1 0 0 20 0 19 0 408234896 15789518848 60818 33554432000 4194304 4196468 140727815232912 140453420543528 140453574940126 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
Current children cumulated CPU time: 62.4 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 244724 KiB
[startup+16.1107 s]
/proc/loadavg: 8.17 8.33 8.12 9/237 22914
/proc/meminfo: memFree=24633152/32770624 swapFree=66977612/67108860
[pid=22892] ppid=22889 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22892/stat : 22892 (xcsp3-exec) S 22889 22892 15592 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408234790 115843072 363 33554432000 4194304 5098028 140724701907184 140724701905288 139810434855548 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30314496 140724701909883 140724701910125 140724701910125 140724701913034 0
/proc/22892/statm: 28282 363 304 221 0 87 0
[pid=22894] ppid=22892 vsize=15419452 memory=243136 CPUtime=62.75 cores=0,2,4,6
/proc/22894/stat : 22894 (java) S 22892 22892 15592 0 -1 1077944320 44490 0 0 0 6259 16 0 0 20 0 14 0 408234790 15789518848 60784 33554432000 4194304 4196468 140727815232912 140727815215456 140453972811511 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
/proc/22894/statm: 3854863 60784 3528 1 0 3815965 0
[pid=22894/tid=22895] ppid=22892 vsize=15419452 memory=243272 CPUtime=1.02 cores=0,2,4,6
/proc/22894/task/22895/stat : 22895 (java) S 22892 22892 15592 0 -1 1077944384 12003 0 0 0 96 6 0 0 20 0 14 0 408234790 15789518848 60784 33554432000 4194304 4196468 140727815232912 140453977054352 140453972821717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
[pid=22894/tid=22896] ppid=22892 vsize=15419452 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/22894/task/22896/stat : 22896 (java) S 22892 22892 15592 0 -1 1077944384 1874 0 0 0 3 0 0 0 20 0 14 0 408234791 15789518848 60784 33554432000 4194304 4196468 140727815232912 140453900851600 140453972821717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
[pid=22894/tid=22897] ppid=22892 vsize=15419452 memory=2320257848047908915 CPUtime=0.03 cores=0,2,4,6
/proc/22894/task/22897/stat : 22897 (java) S 22892 22892 15592 0 -1 1077944384 1139 0 0 0 2 1 0 0 20 0 14 0 408234791 15789518848 60784 33554432000 4194304 4196468 140727815232912 140453899798800 140453972821717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
[pid=22894/tid=22898] ppid=22892 vsize=15419452 memory=1556 CPUtime=0.03 cores=0,2,4,6
/proc/22894/task/22898/stat : 22898 (java) S 22892 22892 15592 0 -1 1077944384 378 0 0 0 3 0 0 0 20 0 14 0 408234791 15789518848 60784 33554432000 4194304 4196468 140727815232912 140453898746512 140453972821717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
[pid=22894/tid=22899] ppid=22892 vsize=15419452 memory=780 CPUtime=0.03 cores=0,2,4,6
/proc/22894/task/22899/stat : 22899 (java) S 22892 22892 15592 0 -1 1077944384 533 0 0 0 2 1 0 0 20 0 14 0 408234791 15789518848 60784 33554432000 4194304 4196468 140727815232912 140453897693712 140453972821717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
[pid=22894/tid=22900] ppid=22892 vsize=15419452 memory=3252 CPUtime=0.01 cores=0,2,4,6
/proc/22894/task/22900/stat : 22900 (java) R 22892 22892 15592 0 -1 4202560 664 0 0 0 1 0 0 0 20 0 14 0 408234793 15789518848 60784 33554432000 4194304 4196468 140727815232912 140453441334080 140453972803192 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
[pid=22894/tid=22901] ppid=22892 vsize=15419452 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/22894/task/22901/stat : 22901 (java) S 22892 22892 15592 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 13 0 408234793 15789518848 60784 33554432000 4194304 4196468 140727815232912 140453440279904 140453972821717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
[pid=22894/tid=22902] ppid=22892 vsize=15419452 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22894/task/22902/stat : 22902 (java) S 22892 22892 15592 0 -1 1077944384 110 0 0 0 0 0 0 0 20 0 13 0 408234793 15789518848 60784 33554432000 4194304 4196468 140727815232912 140453439227520 140453972821717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
[pid=22894/tid=22903] ppid=22892 vsize=15419452 memory=243272 CPUtime=0 cores=0,2,4,6
/proc/22894/task/22903/stat : 22903 (java) S 22892 22892 15592 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 13 0 408234796 15789518848 60756 33554432000 4194304 4196468 140727815232912 140453438175472 140453972821717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
[pid=22894/tid=22904] ppid=22892 vsize=15419452 memory=164 CPUtime=2.15 cores=0,2,4,6
/proc/22894/task/22904/stat : 22904 (java) S 22892 22892 15592 0 -1 1077944384 7319 0 0 0 215 0 0 0 20 0 12 0 408234797 15789518848 60756 33554432000 4194304 4196468 140727815232912 140453437107184 140453972821717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 31 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
[pid=22894/tid=22905] ppid=22892 vsize=15419452 memory=6656426216303648864 CPUtime=2.34 cores=0,2,4,6
/proc/22894/task/22905/stat : 22905 (java) S 22892 22892 15592 0 -1 1077944384 9184 0 0 0 233 1 0 0 20 0 12 0 408234797 15789518848 60756 33554432000 4194304 4196468 140727815232912 140453436058032 140453972821717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 35 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
[pid=22894/tid=22906] ppid=22892 vsize=15419452 memory=6944656592387989600 CPUtime=0.78 cores=0,2,4,6
/proc/22894/task/22906/stat : 22906 (java) S 22892 22892 15592 0 -1 1077944384 6487 0 0 0 77 1 0 0 20 0 12 0 408234797 15789518848 60756 33554432000 4194304 4196468 140727815232912 140453435017584 140453972822658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 12 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
[pid=22894/tid=22907] ppid=22892 vsize=15419452 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22894/task/22907/stat : 22907 (java) S 22892 22892 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 12 0 408234798 15789518848 60756 33554432000 4194304 4196468 140727815232912 140453433965024 140453972821717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39419904 140727815234543 140727815234714 140727815234714 140727815237583 0
Current children cumulated CPU time: 62.75 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 244588 KiB
Child status: 0
Real time (s): 16.118
CPU time (s): 62.7696
CPU user time (s): 62.6007
CPU system time (s): 0.168828
CPU usage (%): 389.437
Max. virtual memory (cumulated for all children) (KiB): 15532580
Max. memory (cumulated for all children) (KiB): 244724
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 62.6007
system time used= 0.168828
maximum resident set size= 243324
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45093
page faults= 0
swaps= 0
block input operations= 8
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2714
involuntary context switches= 1399
# summary of solver processes directly reported to runsolver:
# pid: 22892
# total CPU time (s): 62.7696
# total CPU user time (s): 62.6007
# total CPU system time (s): 0.168828
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.139005 second user time and 0.209212 second system time
The end