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 (13462 MiB free)
memory of node 1: 16384 MiB (11846 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406212-1569407324/watcher-4406212-1569407324 -o /var/tmp/evaluation-result-4406212-1569407324/solver-4406212-1569407324 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node105-1569392969-18883 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 1672968524 HOME/instance-4406212-1569407324.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
Current StackSize limit: 8192 KiB
solver pid=22055, runsolver pid=22052
[startup+0.108172 s]*
/proc/loadavg: 2.29 1.93 1.87 4/228 22071
/proc/meminfo: memFree=25899760/32770624 swapFree=66956956/67108860
[pid=22055] ppid=22052 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/22055/stat : 22055 (xcsp3-exec) S 22052 22055 18852 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516990109 115843072 364 33554432000 4194304 5098028 140722875639568 140722875637672 140650409767548 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28106752 140722875642710 140722875642969 140722875642969 140722875645894 0
/proc/22055/statm: 28282 364 305 221 0 87 0
[pid=22057] ppid=22055 vsize=15144776 memory=30276 CPUtime=0.14 cores=0,2,4,6
/proc/22057/stat : 22057 (java) S 22055 22055 18852 0 -1 1077944320 5966 0 0 0 13 1 0 0 20 0 15 0 516990109 15508250624 7569 33554432000 4194304 4196468 140726329649664 140726329632208 140611728088823 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
/proc/22057/statm: 3786194 7569 3194 1 0 3748377 0
[pid=22057/tid=22058] ppid=22055 vsize=15144776 memory=-2698085374278620574 CPUtime=0.09 cores=0,2,4,6
/proc/22057/task/22058/stat : 22058 (java) R 22055 22055 18852 0 -1 4202560 3808 0 0 0 9 0 0 0 20 0 15 0 516990109 15508250624 7569 33554432000 4194304 4196468 140726329649664 140611732317632 140611710378195 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
[pid=22057/tid=22059] ppid=22055 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/22057/task/22059/stat : 22059 (java) S 22055 22055 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516990110 15508250624 7569 33554432000 4194304 4196468 140726329649664 140611664325648 140611728099029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
[pid=22057/tid=22060] ppid=22055 vsize=15144776 memory=139642398852736 CPUtime=0 cores=0,2,4,6
/proc/22057/task/22060/stat : 22060 (java) S 22055 22055 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516990110 15508250624 7569 33554432000 4194304 4196468 140726329649664 140611663273104 140611728099029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
[pid=22057/tid=22061] ppid=22055 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22057/task/22061/stat : 22061 (java) S 22055 22055 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516990110 15508250624 7569 33554432000 4194304 4196468 140726329649664 140611662220048 140611728099029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
[pid=22057/tid=22062] ppid=22055 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22057/task/22062/stat : 22062 (java) S 22055 22055 18852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516990110 15508250624 7569 33554432000 4194304 4196468 140726329649664 140611661167504 140611728099029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
[pid=22057/tid=22063] ppid=22055 vsize=15144776 memory=139642398852736 CPUtime=0 cores=0,2,4,6
/proc/22057/task/22063/stat : 22063 (java) S 22055 22055 18852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516990111 15508250624 7569 33554432000 4194304 4196468 140726329649664 140611263822064 140611728099970 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
[pid=22057/tid=22064] ppid=22055 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22057/task/22064/stat : 22064 (java) S 22055 22055 18852 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516990112 15508250624 7569 33554432000 4194304 4196468 140726329649664 140611262768288 140611728099029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
[pid=22057/tid=22065] ppid=22055 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22057/task/22065/stat : 22065 (java) S 22055 22055 18852 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516990112 15508250624 7569 33554432000 4194304 4196468 140726329649664 140611261715184 140611728099029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
[pid=22057/tid=22066] ppid=22055 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22057/task/22066/stat : 22066 (java) S 22055 22055 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516990115 15508250624 7569 33554432000 4194304 4196468 140726329649664 140611260663760 140611728107419 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
[pid=22057/tid=22067] ppid=22055 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22057/task/22067/stat : 22067 (java) S 22055 22055 18852 0 -1 1077944384 419 0 0 0 0 0 0 0 20 0 15 0 516990115 15508250624 7569 33554432000 4194304 4196468 140726329649664 140611259611888 140611728099970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
[pid=22057/tid=22068] ppid=22055 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22057/task/22068/stat : 22068 (java) S 22055 22055 18852 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 516990115 15508250624 7569 33554432000 4194304 4196468 140726329649664 140611258559344 140611728099970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
[pid=22057/tid=22069] ppid=22055 vsize=15144776 memory=139642398852736 CPUtime=0.02 cores=0,2,4,6
/proc/22057/task/22069/stat : 22069 (java) S 22055 22055 18852 0 -1 1077944384 351 0 0 0 2 0 0 0 20 0 15 0 516990115 15508250624 7569 33554432000 4194304 4196468 140726329649664 140611189467632 140611728099970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
[pid=22057/tid=22070] ppid=22055 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22057/task/22070/stat : 22070 (java) S 22055 22055 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516990115 15508250624 7569 33554432000 4194304 4196468 140726329649664 140611188415328 140611728099029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
[pid=22057/tid=22071] ppid=22055 vsize=15144776 memory=139642398852736 CPUtime=0 cores=0,2,4,6
/proc/22057/task/22071/stat : 22071 (java) S 22055 22055 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516990115 15508250624 7569 33554432000 4194304 4196468 140726329649664 140611187362352 140611728099970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31732 KiB
[startup+0.210836 s]*
/proc/loadavg: 2.29 1.93 1.87 3/228 22071
/proc/meminfo: memFree=25886896/32770624 swapFree=66956956/67108860
[pid=22055] ppid=22052 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/22055/stat : 22055 (xcsp3-exec) S 22052 22055 18852 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516990109 115843072 364 33554432000 4194304 5098028 140722875639568 140722875637672 140650409767548 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28106752 140722875642710 140722875642969 140722875642969 140722875645894 0
/proc/22055/statm: 28282 364 305 221 0 87 0
[pid=22057] ppid=22055 vsize=15144776 memory=41288 CPUtime=0.33 cores=0,2,4,6
/proc/22057/stat : 22057 (java) S 22055 22055 18852 0 -1 1077944320 9476 0 0 0 31 2 0 0 20 0 15 0 516990109 15508250624 10322 33554432000 4194304 4196468 140726329649664 140726329632208 140611728088823 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
/proc/22057/statm: 3786194 10322 3316 1 0 3748377 0
[pid=22057/tid=22058] ppid=22055 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/22057/task/22058/stat : 22058 (java) R 22055 22055 18852 0 -1 4202560 6614 0 0 0 18 2 0 0 20 0 15 0 516990109 15508250624 10322 33554432000 4194304 4196468 140726329649664 140611732327008 140611728100758 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
[pid=22057/tid=22059] ppid=22055 vsize=15144776 memory=1899191 CPUtime=0 cores=0,2,4,6
/proc/22057/task/22059/stat : 22059 (java) S 22055 22055 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516990110 15508250624 10322 33554432000 4194304 4196468 140726329649664 140611664325648 140611728099029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
[pid=22057/tid=22060] ppid=22055 vsize=15144776 memory=288370018550564480 CPUtime=0 cores=0,2,4,6
/proc/22057/task/22060/stat : 22060 (java) S 22055 22055 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516990110 15508250624 10322 33554432000 4194304 4196468 140726329649664 140611663273104 140611728099029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
[pid=22057/tid=22061] ppid=22055 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22057/task/22061/stat : 22061 (java) S 22055 22055 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516990110 15508250624 10322 33554432000 4194304 4196468 140726329649664 140611662220048 140611728099029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
[pid=22057/tid=22062] ppid=22055 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22057/task/22062/stat : 22062 (java) S 22055 22055 18852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516990110 15508250624 10322 33554432000 4194304 4196468 140726329649664 140611661167504 140611728099029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
[pid=22057/tid=22063] ppid=22055 vsize=15144776 memory=139642398852736 CPUtime=0 cores=0,2,4,6
/proc/22057/task/22063/stat : 22063 (java) S 22055 22055 18852 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516990111 15508250624 10322 33554432000 4194304 4196468 140726329649664 140611263822064 140611728099970 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
[pid=22057/tid=22064] ppid=22055 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22057/task/22064/stat : 22064 (java) S 22055 22055 18852 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516990112 15508250624 10322 33554432000 4194304 4196468 140726329649664 140611262768288 140611728099029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
[pid=22057/tid=22065] ppid=22055 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22057/task/22065/stat : 22065 (java) S 22055 22055 18852 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516990112 15508250624 10322 33554432000 4194304 4196468 140726329649664 140611261715184 140611728099029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
[pid=22057/tid=22066] ppid=22055 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22057/task/22066/stat : 22066 (java) S 22055 22055 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516990115 15508250624 10322 33554432000 4194304 4196468 140726329649664 140611260663760 140611728107419 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
[pid=22057/tid=22067] ppid=22055 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/22057/task/22067/stat : 22067 (java) S 22055 22055 18852 0 -1 1077944384 667 0 0 0 2 0 0 0 20 0 15 0 516990115 15508250624 10322 33554432000 4194304 4196468 140726329649664 140611259611888 140611728099970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
[pid=22057/tid=22068] ppid=22055 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/22057/task/22068/stat : 22068 (java) S 22055 22055 18852 0 -1 1077944384 135 0 0 0 2 0 0 0 20 0 15 0 516990115 15508250624 10322 33554432000 4194304 4196468 140726329649664 140611258559344 140611728099970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
[pid=22057/tid=22069] ppid=22055 vsize=15144776 memory=139642398852736 CPUtime=0.07 cores=0,2,4,6
/proc/22057/task/22069/stat : 22069 (java) R 22055 22055 18852 0 -1 4202560 751 0 0 0 7 0 0 0 20 0 15 0 516990115 15508250624 10322 33554432000 4194304 4196468 140726329649664 140611189467632 140611728100758 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
[pid=22057/tid=22070] ppid=22055 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22057/task/22070/stat : 22070 (java) S 22055 22055 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516990115 15508250624 10322 33554432000 4194304 4196468 140726329649664 140611188415328 140611728099029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
[pid=22057/tid=22071] ppid=22055 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22057/task/22071/stat : 22071 (java) S 22055 22055 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516990115 15508250624 10322 33554432000 4194304 4196468 140726329649664 140611187362352 140611728099970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42744 KiB
[startup+0.311619 s]*
/proc/loadavg: 2.29 1.93 1.87 6/228 22071
/proc/meminfo: memFree=25881620/32770624 swapFree=66956956/67108860
[pid=22055] ppid=22052 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/22055/stat : 22055 (xcsp3-exec) S 22052 22055 18852 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516990109 115843072 364 33554432000 4194304 5098028 140722875639568 140722875637672 140650409767548 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28106752 140722875642710 140722875642969 140722875642969 140722875645894 0
/proc/22055/statm: 28282 364 305 221 0 87 0
[pid=22057] ppid=22055 vsize=15149032 memory=49800 CPUtime=0.53 cores=0,2,4,6
/proc/22057/stat : 22057 (java) S 22055 22055 18852 0 -1 1077944320 10765 0 0 0 50 3 0 0 20 0 15 0 516990109 15512608768 12450 33554432000 4194304 4196468 140726329649664 140726329632208 140611728088823 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
/proc/22057/statm: 3787258 12450 3367 1 0 3748377 0
[pid=22057/tid=22058] ppid=22055 vsize=15149032 memory=8317482817917895235 CPUtime=0.3 cores=0,2,4,6
/proc/22057/task/22058/stat : 22058 (java) R 22055 22055 18852 0 -1 4202560 7750 0 0 0 28 2 0 0 20 0 15 0 516990109 15512608768 12479 33554432000 4194304 4196468 140726329649664 140611732322608 140611712169310 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
[pid=22057/tid=22059] ppid=22055 vsize=15149032 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/22057/task/22059/stat : 22059 (java) S 22055 22055 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516990110 15512608768 12479 33554432000 4194304 4196468 140726329649664 140611664325648 140611728099029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
[pid=22057/tid=22060] ppid=22055 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/22057/task/22060/stat : 22060 (java) S 22055 22055 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516990110 15512608768 12479 33554432000 4194304 4196468 140726329649664 140611663273104 140611728099029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
[pid=22057/tid=22061] ppid=22055 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/22057/task/22061/stat : 22061 (java) S 22055 22055 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516990110 15512608768 12479 33554432000 4194304 4196468 140726329649664 140611662220048 140611728099029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
[pid=22057/tid=22062] ppid=22055 vsize=15149032 memory=-4190076264842474805 CPUtime=0 cores=0,2,4,6
/proc/22057/task/22062/stat : 22062 (java) S 22055 22055 18852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516990110 15512608768 12479 33554432000 4194304 4196468 140726329649664 140611661167504 140611728099029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
[pid=22057/tid=22063] ppid=22055 vsize=15149032 memory=-7449686455322460319 CPUtime=0 cores=0,2,4,6
/proc/22057/task/22063/stat : 22063 (java) S 22055 22055 18852 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516990111 15512608768 12479 33554432000 4194304 4196468 140726329649664 140611263822064 140611728099970 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
[pid=22057/tid=22064] ppid=22055 vsize=15149032 memory=6944656425123485561 CPUtime=0 cores=0,2,4,6
/proc/22057/task/22064/stat : 22064 (java) S 22055 22055 18852 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516990112 15512608768 12479 33554432000 4194304 4196468 140726329649664 140611262768288 140611728099029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
[pid=22057/tid=22065] ppid=22055 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/22057/task/22065/stat : 22065 (java) S 22055 22055 18852 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516990112 15512608768 12479 33554432000 4194304 4196468 140726329649664 140611261715184 140611728099029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
[pid=22057/tid=22066] ppid=22055 vsize=15149032 memory=4627853888499060086 CPUtime=0 cores=0,2,4,6
/proc/22057/task/22066/stat : 22066 (java) S 22055 22055 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516990115 15512608768 12479 33554432000 4194304 4196468 140726329649664 140611260663760 140611728107419 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
[pid=22057/tid=22067] ppid=22055 vsize=15149032 memory=7827413994055111515 CPUtime=0.05 cores=0,2,4,6
/proc/22057/task/22067/stat : 22067 (java) R 22055 22055 18852 0 -1 4202560 752 0 0 0 5 0 0 0 20 0 15 0 516990115 15512608768 12479 33554432000 4194304 4196468 140726329649664 140611259592904 140611712476997 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
[pid=22057/tid=22068] ppid=22055 vsize=15149032 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/22057/task/22068/stat : 22068 (java) S 22055 22055 18852 0 -1 1077944384 143 0 0 0 3 0 0 0 20 0 15 0 516990115 15512608768 12479 33554432000 4194304 4196468 140726329649664 140611258559344 140611728099970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
[pid=22057/tid=22069] ppid=22055 vsize=15149032 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/22057/task/22069/stat : 22069 (java) S 22055 22055 18852 0 -1 1077944384 823 0 0 0 13 0 0 0 20 0 15 0 516990115 15512608768 12479 33554432000 4194304 4196468 140726329649664 140611189467632 140611728099970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
[pid=22057/tid=22070] ppid=22055 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22057/task/22070/stat : 22070 (java) S 22055 22055 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516990115 15512608768 12479 33554432000 4194304 4196468 140726329649664 140611188415328 140611728099029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
[pid=22057/tid=22071] ppid=22055 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22057/task/22071/stat : 22071 (java) S 22055 22055 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516990115 15512608768 12479 33554432000 4194304 4196468 140726329649664 140611187362352 140611728099970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51256 KiB
[startup+0.702865 s]
/proc/loadavg: 2.29 1.93 1.87 5/228 22071
/proc/meminfo: memFree=25854456/32770624 swapFree=66956956/67108860
[pid=22055] ppid=22052 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/22055/stat : 22055 (xcsp3-exec) S 22052 22055 18852 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516990109 115843072 364 33554432000 4194304 5098028 140722875639568 140722875637672 140650409767548 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28106752 140722875642710 140722875642969 140722875642969 140722875645894 0
/proc/22055/statm: 28282 364 305 221 0 87 0
[pid=22057] ppid=22055 vsize=15151156 memory=119072 CPUtime=1.69 cores=0,2,4,6
/proc/22057/stat : 22057 (java) S 22055 22055 18852 0 -1 1077944320 15236 0 0 0 164 5 0 0 20 0 15 0 516990109 15514783744 29768 33554432000 4194304 4196468 140726329649664 140726329632208 140611728088823 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
/proc/22057/statm: 3787789 29768 3446 1 0 3748889 0
[pid=22057/tid=22058] ppid=22055 vsize=15151156 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/22057/task/22058/stat : 22058 (java) R 22055 22055 18852 0 -1 4202560 9144 0 0 0 65 3 0 0 20 0 15 0 516990109 15514783744 29768 33554432000 4194304 4196468 140726329649664 140611732325360 140611728110170 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
[pid=22057/tid=22059] ppid=22055 vsize=15151156 memory=55348 CPUtime=0 cores=0,2,4,6
/proc/22057/task/22059/stat : 22059 (java) S 22055 22055 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516990110 15514783744 29768 33554432000 4194304 4196468 140726329649664 140611664325648 140611728099029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
[pid=22057/tid=22060] ppid=22055 vsize=15151156 memory=984 CPUtime=0 cores=0,2,4,6
/proc/22057/task/22060/stat : 22060 (java) S 22055 22055 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516990110 15514783744 29768 33554432000 4194304 4196468 140726329649664 140611663273104 140611728099029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
[pid=22057/tid=22061] ppid=22055 vsize=15151156 memory=2016 CPUtime=0 cores=0,2,4,6
/proc/22057/task/22061/stat : 22061 (java) S 22055 22055 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516990110 15514783744 29768 33554432000 4194304 4196468 140726329649664 140611662220048 140611728099029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
[pid=22057/tid=22062] ppid=22055 vsize=15151156 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/22057/task/22062/stat : 22062 (java) S 22055 22055 18852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516990110 15514783744 29768 33554432000 4194304 4196468 140726329649664 140611661167504 140611728099029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
[pid=22057/tid=22063] ppid=22055 vsize=15151156 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/22057/task/22063/stat : 22063 (java) S 22055 22055 18852 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516990111 15514783744 29768 33554432000 4194304 4196468 140726329649664 140611263822064 140611728099970 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
[pid=22057/tid=22064] ppid=22055 vsize=15151156 memory=7552 CPUtime=0 cores=0,2,4,6
/proc/22057/task/22064/stat : 22064 (java) S 22055 22055 18852 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516990112 15514783744 29768 33554432000 4194304 4196468 140726329649664 140611262768288 140611728099029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
[pid=22057/tid=22065] ppid=22055 vsize=15151156 memory=3608 CPUtime=0 cores=0,2,4,6
/proc/22057/task/22065/stat : 22065 (java) S 22055 22055 18852 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516990112 15514783744 29768 33554432000 4194304 4196468 140726329649664 140611261715184 140611728099029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
[pid=22057/tid=22066] ppid=22055 vsize=15151156 memory=616 CPUtime=0 cores=0,2,4,6
/proc/22057/task/22066/stat : 22066 (java) S 22055 22055 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516990115 15514783744 29768 33554432000 4194304 4196468 140726329649664 140611260663760 140611728107419 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
[pid=22057/tid=22067] ppid=22055 vsize=15151156 memory=2832 CPUtime=0.35 cores=0,2,4,6
/proc/22057/task/22067/stat : 22067 (java) R 22055 22055 18852 0 -1 4202560 1910 0 0 0 35 0 0 0 20 0 15 0 516990115 15514783744 29768 33554432000 4194304 4196468 140726329649664 140611259598880 140611709395264 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
[pid=22057/tid=22068] ppid=22055 vsize=15151156 memory=1620 CPUtime=0.32 cores=0,2,4,6
/proc/22057/task/22068/stat : 22068 (java) R 22055 22055 18852 0 -1 1077944384 1234 0 0 0 32 0 0 0 20 0 15 0 516990115 15514783744 29768 33554432000 4194304 4196468 140726329649664 140611258547488 140611728099029 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
[pid=22057/tid=22069] ppid=22055 vsize=15151156 memory=1136 CPUtime=0.31 cores=0,2,4,6
/proc/22057/task/22069/stat : 22069 (java) R 22055 22055 18852 0 -1 4202560 1639 0 0 0 31 0 0 0 20 0 15 0 516990115 15514783744 29768 33554432000 4194304 4196468 140726329649664 140611189460928 140611711430817 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
[pid=22057/tid=22070] ppid=22055 vsize=15151156 memory=1072 CPUtime=0 cores=0,2,4,6
/proc/22057/task/22070/stat : 22070 (java) S 22055 22055 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516990115 15514783744 29768 33554432000 4194304 4196468 140726329649664 140611188415328 140611728099029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
[pid=22057/tid=22071] ppid=22055 vsize=15151156 memory=6196 CPUtime=0 cores=0,2,4,6
/proc/22057/task/22071/stat : 22071 (java) S 22055 22055 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516990115 15514783744 29768 33554432000 4194304 4196468 140726329649664 140611187362352 140611728099970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
Current children cumulated CPU time: 1.69 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 120528 KiB
[startup+1.50088 s]
/proc/loadavg: 2.29 1.93 1.87 5/228 22071
/proc/meminfo: memFree=25783284/32770624 swapFree=66956956/67108860
[pid=22055] ppid=22052 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/22055/stat : 22055 (xcsp3-exec) S 22052 22055 18852 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516990109 115843072 364 33554432000 4194304 5098028 140722875639568 140722875637672 140650409767548 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28106752 140722875642710 140722875642969 140722875642969 140722875645894 0
/proc/22055/statm: 28282 364 305 221 0 87 0
################
# More data... #
################
/proc/22055/stat : 22055 (xcsp3-exec) S 22052 22055 18852 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516990109 115843072 364 33554432000 4194304 5098028 140722875639568 140722875637672 140650409767548 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28106752 140722875642710 140722875642969 140722875642969 140722875645894 0
/proc/22055/statm: 28282 364 305 221 0 87 0
[pid=22057] ppid=22055 vsize=15151156 memory=177344 CPUtime=31.8 cores=0,2,4,6
/proc/22057/stat : 22057 (java) S 22055 22055 18852 0 -1 1077944320 44189 0 0 0 3171 9 0 0 20 0 15 0 516990109 15514783744 44336 33554432000 4194304 4196468 140726329649664 140726329632208 140611728088823 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
/proc/22057/statm: 3787789 44336 3475 1 0 3748889 0
[pid=22057/tid=22058] ppid=22055 vsize=15151156 memory=6791534058613427641 CPUtime=27.18 cores=0,2,4,6
/proc/22057/task/22058/stat : 22058 (java) R 22055 22055 18852 0 -1 4202560 13515 0 0 0 2714 4 0 0 20 0 15 0 516990109 15514783744 44336 33554432000 4194304 4196468 140726329649664 140611732325472 140611345390268 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
[pid=22057/tid=22059] ppid=22055 vsize=15151156 memory=784 CPUtime=0 cores=0,2,4,6
/proc/22057/task/22059/stat : 22059 (java) S 22055 22055 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516990110 15514783744 44336 33554432000 4194304 4196468 140726329649664 140611664325648 140611728099029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
[pid=22057/tid=22060] ppid=22055 vsize=15151156 memory=1060 CPUtime=0 cores=0,2,4,6
/proc/22057/task/22060/stat : 22060 (java) S 22055 22055 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516990110 15514783744 44336 33554432000 4194304 4196468 140726329649664 140611663273104 140611728099029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
[pid=22057/tid=22061] ppid=22055 vsize=15151156 memory=14012 CPUtime=0 cores=0,2,4,6
/proc/22057/task/22061/stat : 22061 (java) S 22055 22055 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516990110 15514783744 44336 33554432000 4194304 4196468 140726329649664 140611662220048 140611728099029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
[pid=22057/tid=22062] ppid=22055 vsize=15151156 memory=26108 CPUtime=0 cores=0,2,4,6
/proc/22057/task/22062/stat : 22062 (java) S 22055 22055 18852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516990110 15514783744 44336 33554432000 4194304 4196468 140726329649664 140611661167504 140611728099029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
[pid=22057/tid=22063] ppid=22055 vsize=15151156 memory=14056 CPUtime=0 cores=0,2,4,6
/proc/22057/task/22063/stat : 22063 (java) S 22055 22055 18852 0 -1 1077944384 461 0 0 0 0 0 0 0 20 0 15 0 516990111 15514783744 44336 33554432000 4194304 4196468 140726329649664 140611263822064 140611728099970 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
[pid=22057/tid=22064] ppid=22055 vsize=15151156 memory=2116 CPUtime=0 cores=0,2,4,6
/proc/22057/task/22064/stat : 22064 (java) S 22055 22055 18852 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516990112 15514783744 44336 33554432000 4194304 4196468 140726329649664 140611262768288 140611728099029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
[pid=22057/tid=22065] ppid=22055 vsize=15151156 memory=516 CPUtime=0 cores=0,2,4,6
/proc/22057/task/22065/stat : 22065 (java) S 22055 22055 18852 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516990112 15514783744 44336 33554432000 4194304 4196468 140726329649664 140611261715184 140611728099029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
[pid=22057/tid=22066] ppid=22055 vsize=15151156 memory=175296 CPUtime=0 cores=0,2,4,6
/proc/22057/task/22066/stat : 22066 (java) S 22055 22055 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516990115 15514783744 44336 33554432000 4194304 4196468 140726329649664 140611260663760 140611728107419 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
[pid=22057/tid=22067] ppid=22055 vsize=15151156 memory=7552 CPUtime=2.3 cores=0,2,4,6
/proc/22057/task/22067/stat : 22067 (java) S 22055 22055 18852 0 -1 1077944384 13766 0 0 0 229 1 0 0 20 0 15 0 516990115 15514783744 44336 33554432000 4194304 4196468 140726329649664 140611259611888 140611728099970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
[pid=22057/tid=22068] ppid=22055 vsize=15151156 memory=3608 CPUtime=1.69 cores=0,2,4,6
/proc/22057/task/22068/stat : 22068 (java) S 22055 22055 18852 0 -1 1077944384 11273 0 0 0 168 1 0 0 20 0 15 0 516990115 15514783744 44336 33554432000 4194304 4196468 140726329649664 140611258559344 140611728099970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
[pid=22057/tid=22069] ppid=22055 vsize=15151156 memory=616 CPUtime=0.58 cores=0,2,4,6
/proc/22057/task/22069/stat : 22069 (java) S 22055 22055 18852 0 -1 1077944384 3611 0 0 0 57 1 0 0 20 0 15 0 516990115 15514783744 44336 33554432000 4194304 4196468 140726329649664 140611189467632 140611728099970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
[pid=22057/tid=22070] ppid=22055 vsize=15151156 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/22057/task/22070/stat : 22070 (java) S 22055 22055 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516990115 15514783744 44336 33554432000 4194304 4196468 140726329649664 140611188415328 140611728099029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
[pid=22057/tid=22071] ppid=22055 vsize=15151156 memory=1620 CPUtime=0 cores=0,2,4,6
/proc/22057/task/22071/stat : 22071 (java) S 22055 22055 18852 0 -1 1077944384 260 0 0 0 0 0 0 0 20 0 15 0 516990115 15514783744 44336 33554432000 4194304 4196468 140726329649664 140611187362352 140611728099970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
Current children cumulated CPU time: 31.8 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 178800 KiB
[startup+28.8007 s]
/proc/loadavg: 2.10 1.92 1.87 4/228 22071
/proc/meminfo: memFree=25752616/32770624 swapFree=66956956/67108860
[pid=22055] ppid=22052 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/22055/stat : 22055 (xcsp3-exec) S 22052 22055 18852 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516990109 115843072 364 33554432000 4194304 5098028 140722875639568 140722875637672 140650409767548 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28106752 140722875642710 140722875642969 140722875642969 140722875645894 0
/proc/22055/statm: 28282 364 305 221 0 87 0
[pid=22057] ppid=22055 vsize=15151156 memory=177344 CPUtime=33.4 cores=0,2,4,6
/proc/22057/stat : 22057 (java) S 22055 22055 18852 0 -1 1077944320 44430 0 0 0 3331 9 0 0 20 0 15 0 516990109 15514783744 44336 33554432000 4194304 4196468 140726329649664 140726329632208 140611728088823 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
/proc/22057/statm: 3787789 44336 3475 1 0 3748889 0
[pid=22057/tid=22058] ppid=22055 vsize=15151156 memory=4872558044660077418 CPUtime=28.78 cores=0,2,4,6
/proc/22057/task/22058/stat : 22058 (java) R 22055 22055 18852 0 -1 4202560 13521 0 0 0 2874 4 0 0 20 0 15 0 516990109 15514783744 44336 33554432000 4194304 4196468 140726329649664 140611732326168 140611345390616 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
[pid=22057/tid=22059] ppid=22055 vsize=15151156 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/22057/task/22059/stat : 22059 (java) S 22055 22055 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516990110 15514783744 44336 33554432000 4194304 4196468 140726329649664 140611664325648 140611728099029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
[pid=22057/tid=22060] ppid=22055 vsize=15151156 memory=3608 CPUtime=0 cores=0,2,4,6
/proc/22057/task/22060/stat : 22060 (java) S 22055 22055 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516990110 15514783744 44336 33554432000 4194304 4196468 140726329649664 140611663273104 140611728099029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
[pid=22057/tid=22061] ppid=22055 vsize=15151156 memory=616 CPUtime=0 cores=0,2,4,6
/proc/22057/task/22061/stat : 22061 (java) S 22055 22055 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516990110 15514783744 44336 33554432000 4194304 4196468 140726329649664 140611662220048 140611728099029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
[pid=22057/tid=22062] ppid=22055 vsize=15151156 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/22057/task/22062/stat : 22062 (java) S 22055 22055 18852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516990110 15514783744 44336 33554432000 4194304 4196468 140726329649664 140611661167504 140611728099029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
[pid=22057/tid=22063] ppid=22055 vsize=15151156 memory=1620 CPUtime=0 cores=0,2,4,6
/proc/22057/task/22063/stat : 22063 (java) S 22055 22055 18852 0 -1 1077944384 461 0 0 0 0 0 0 0 20 0 15 0 516990111 15514783744 44336 33554432000 4194304 4196468 140726329649664 140611263822064 140611728099970 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
[pid=22057/tid=22064] ppid=22055 vsize=15151156 memory=1136 CPUtime=0 cores=0,2,4,6
/proc/22057/task/22064/stat : 22064 (java) S 22055 22055 18852 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516990112 15514783744 44336 33554432000 4194304 4196468 140726329649664 140611262768288 140611728099029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
[pid=22057/tid=22065] ppid=22055 vsize=15151156 memory=3624 CPUtime=0 cores=0,2,4,6
/proc/22057/task/22065/stat : 22065 (java) S 22055 22055 18852 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516990112 15514783744 44336 33554432000 4194304 4196468 140726329649664 140611261715184 140611728099029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
[pid=22057/tid=22066] ppid=22055 vsize=15151156 memory=55348 CPUtime=0 cores=0,2,4,6
/proc/22057/task/22066/stat : 22066 (java) S 22055 22055 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516990115 15514783744 44336 33554432000 4194304 4196468 140726329649664 140611260663760 140611728107419 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
[pid=22057/tid=22067] ppid=22055 vsize=15151156 memory=984 CPUtime=2.3 cores=0,2,4,6
/proc/22057/task/22067/stat : 22067 (java) S 22055 22055 18852 0 -1 1077944384 13766 0 0 0 229 1 0 0 20 0 15 0 516990115 15514783744 44336 33554432000 4194304 4196468 140726329649664 140611259611888 140611728099970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
[pid=22057/tid=22068] ppid=22055 vsize=15151156 memory=2016 CPUtime=1.7 cores=0,2,4,6
/proc/22057/task/22068/stat : 22068 (java) S 22055 22055 18852 0 -1 1077944384 11508 0 0 0 169 1 0 0 20 0 15 0 516990115 15514783744 44336 33554432000 4194304 4196468 140726329649664 140611258559344 140611728099970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
[pid=22057/tid=22069] ppid=22055 vsize=15151156 memory=1408 CPUtime=0.58 cores=0,2,4,6
/proc/22057/task/22069/stat : 22069 (java) S 22055 22055 18852 0 -1 1077944384 3611 0 0 0 57 1 0 0 20 0 15 0 516990115 15514783744 44336 33554432000 4194304 4196468 140726329649664 140611189467632 140611728099970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
[pid=22057/tid=22070] ppid=22055 vsize=15151156 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/22057/task/22070/stat : 22070 (java) S 22055 22055 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516990115 15514783744 44336 33554432000 4194304 4196468 140726329649664 140611188415328 140611728099029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
[pid=22057/tid=22071] ppid=22055 vsize=15151156 memory=2116 CPUtime=0 cores=0,2,4,6
/proc/22057/task/22071/stat : 22071 (java) S 22055 22055 18852 0 -1 1077944384 260 0 0 0 0 0 0 0 20 0 15 0 516990115 15514783744 44336 33554432000 4194304 4196468 140726329649664 140611187362352 140611728099970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
Current children cumulated CPU time: 33.4 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 178800 KiB
[startup+29.6007 s]
/proc/loadavg: 2.10 1.92 1.87 3/228 22071
/proc/meminfo: memFree=25752616/32770624 swapFree=66956956/67108860
[pid=22055] ppid=22052 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/22055/stat : 22055 (xcsp3-exec) S 22052 22055 18852 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516990109 115843072 364 33554432000 4194304 5098028 140722875639568 140722875637672 140650409767548 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28106752 140722875642710 140722875642969 140722875642969 140722875645894 0
/proc/22055/statm: 28282 364 305 221 0 87 0
[pid=22057] ppid=22055 vsize=15151156 memory=177344 CPUtime=34.2 cores=0,2,4,6
/proc/22057/stat : 22057 (java) S 22055 22055 18852 0 -1 1077944320 44430 0 0 0 3411 9 0 0 20 0 15 0 516990109 15514783744 44336 33554432000 4194304 4196468 140726329649664 140726329632208 140611728088823 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
/proc/22057/statm: 3787789 44336 3475 1 0 3748889 0
[pid=22057/tid=22058] ppid=22055 vsize=15151156 memory=0 CPUtime=29.58 cores=0,2,4,6
/proc/22057/task/22058/stat : 22058 (java) R 22055 22055 18852 0 -1 4202560 13521 0 0 0 2954 4 0 0 20 0 15 0 516990109 15514783744 44336 33554432000 4194304 4196468 140726329649664 140611732326168 140611345390282 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
[pid=22057/tid=22059] ppid=22055 vsize=15151156 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/22057/task/22059/stat : 22059 (java) S 22055 22055 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516990110 15514783744 44336 33554432000 4194304 4196468 140726329649664 140611664325648 140611728099029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
[pid=22057/tid=22060] ppid=22055 vsize=15151156 memory=177344 CPUtime=0 cores=0,2,4,6
/proc/22057/task/22060/stat : 22060 (java) S 22055 22055 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516990110 15514783744 44336 33554432000 4194304 4196468 140726329649664 140611663273104 140611728099029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
[pid=22057/tid=22061] ppid=22055 vsize=15151156 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/22057/task/22061/stat : 22061 (java) S 22055 22055 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516990110 15514783744 44336 33554432000 4194304 4196468 140726329649664 140611662220048 140611728099029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
[pid=22057/tid=22062] ppid=22055 vsize=15151156 memory=171176 CPUtime=0 cores=0,2,4,6
/proc/22057/task/22062/stat : 22062 (java) S 22055 22055 18852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516990110 15514783744 44336 33554432000 4194304 4196468 140726329649664 140611661167504 140611728099029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
[pid=22057/tid=22063] ppid=22055 vsize=15151156 memory=3624 CPUtime=0 cores=0,2,4,6
/proc/22057/task/22063/stat : 22063 (java) S 22055 22055 18852 0 -1 1077944384 461 0 0 0 0 0 0 0 20 0 15 0 516990111 15514783744 44336 33554432000 4194304 4196468 140726329649664 140611263822064 140611728099970 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
[pid=22057/tid=22064] ppid=22055 vsize=15151156 memory=55348 CPUtime=0 cores=0,2,4,6
/proc/22057/task/22064/stat : 22064 (java) S 22055 22055 18852 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516990112 15514783744 44336 33554432000 4194304 4196468 140726329649664 140611262768288 140611728099029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
[pid=22057/tid=22065] ppid=22055 vsize=15151156 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/22057/task/22065/stat : 22065 (java) S 22055 22055 18852 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516990112 15514783744 44336 33554432000 4194304 4196468 140726329649664 140611261715184 140611728099029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
[pid=22057/tid=22066] ppid=22055 vsize=15151156 memory=2888 CPUtime=0 cores=0,2,4,6
/proc/22057/task/22066/stat : 22066 (java) S 22055 22055 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516990115 15514783744 44336 33554432000 4194304 4196468 140726329649664 140611260663760 140611728107419 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
[pid=22057/tid=22067] ppid=22055 vsize=15151156 memory=2596 CPUtime=2.3 cores=0,2,4,6
/proc/22057/task/22067/stat : 22067 (java) S 22055 22055 18852 0 -1 1077944384 13766 0 0 0 229 1 0 0 20 0 15 0 516990115 15514783744 44336 33554432000 4194304 4196468 140726329649664 140611259611888 140611728099970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
[pid=22057/tid=22068] ppid=22055 vsize=15151156 memory=4104 CPUtime=1.7 cores=0,2,4,6
/proc/22057/task/22068/stat : 22068 (java) S 22055 22055 18852 0 -1 1077944384 11508 0 0 0 169 1 0 0 20 0 15 0 516990115 15514783744 44336 33554432000 4194304 4196468 140726329649664 140611258559344 140611728099970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
[pid=22057/tid=22069] ppid=22055 vsize=15151156 memory=1412 CPUtime=0.58 cores=0,2,4,6
/proc/22057/task/22069/stat : 22069 (java) S 22055 22055 18852 0 -1 1077944384 3611 0 0 0 57 1 0 0 20 0 15 0 516990115 15514783744 44336 33554432000 4194304 4196468 140726329649664 140611189467632 140611728099970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
[pid=22057/tid=22070] ppid=22055 vsize=15151156 memory=3280 CPUtime=0 cores=0,2,4,6
/proc/22057/task/22070/stat : 22070 (java) S 22055 22055 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516990115 15514783744 44336 33554432000 4194304 4196468 140726329649664 140611188415328 140611728099029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
[pid=22057/tid=22071] ppid=22055 vsize=15151156 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22057/task/22071/stat : 22071 (java) S 22055 22055 18852 0 -1 1077944384 260 0 0 0 0 0 0 0 20 0 15 0 516990115 15514783744 44336 33554432000 4194304 4196468 140726329649664 140611187362352 140611728099970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
Current children cumulated CPU time: 34.2 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 178800 KiB
[startup+29.8007 s]
/proc/loadavg: 2.10 1.92 1.87 3/228 22071
/proc/meminfo: memFree=25752616/32770624 swapFree=66956956/67108860
[pid=22055] ppid=22052 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/22055/stat : 22055 (xcsp3-exec) S 22052 22055 18852 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516990109 115843072 364 33554432000 4194304 5098028 140722875639568 140722875637672 140650409767548 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28106752 140722875642710 140722875642969 140722875642969 140722875645894 0
/proc/22055/statm: 28282 364 305 221 0 87 0
[pid=22057] ppid=22055 vsize=15151156 memory=177344 CPUtime=34.4 cores=0,2,4,6
/proc/22057/stat : 22057 (java) S 22055 22055 18852 0 -1 1077944320 44430 0 0 0 3431 9 0 0 20 0 15 0 516990109 15514783744 44336 33554432000 4194304 4196468 140726329649664 140726329632208 140611728088823 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
/proc/22057/statm: 3787789 44336 3475 1 0 3748889 0
[pid=22057/tid=22058] ppid=22055 vsize=15151156 memory=2648 CPUtime=29.78 cores=0,2,4,6
/proc/22057/task/22058/stat : 22058 (java) R 22055 22055 18852 0 -1 4202560 13521 0 0 0 2974 4 0 0 20 0 15 0 516990109 15514783744 44336 33554432000 4194304 4196468 140726329649664 140611732326168 140611345390282 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
[pid=22057/tid=22059] ppid=22055 vsize=15151156 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/22057/task/22059/stat : 22059 (java) S 22055 22055 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516990110 15514783744 44336 33554432000 4194304 4196468 140726329649664 140611664325648 140611728099029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
[pid=22057/tid=22060] ppid=22055 vsize=15151156 memory=175296 CPUtime=0 cores=0,2,4,6
/proc/22057/task/22060/stat : 22060 (java) S 22055 22055 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516990110 15514783744 44336 33554432000 4194304 4196468 140726329649664 140611663273104 140611728099029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
[pid=22057/tid=22061] ppid=22055 vsize=15151156 memory=984 CPUtime=0 cores=0,2,4,6
/proc/22057/task/22061/stat : 22061 (java) S 22055 22055 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516990110 15514783744 44336 33554432000 4194304 4196468 140726329649664 140611662220048 140611728099029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
[pid=22057/tid=22062] ppid=22055 vsize=15151156 memory=2016 CPUtime=0 cores=0,2,4,6
/proc/22057/task/22062/stat : 22062 (java) S 22055 22055 18852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516990110 15514783744 44336 33554432000 4194304 4196468 140726329649664 140611661167504 140611728099029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
[pid=22057/tid=22063] ppid=22055 vsize=15151156 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/22057/task/22063/stat : 22063 (java) S 22055 22055 18852 0 -1 1077944384 461 0 0 0 0 0 0 0 20 0 15 0 516990111 15514783744 44336 33554432000 4194304 4196468 140726329649664 140611263822064 140611728099970 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
[pid=22057/tid=22064] ppid=22055 vsize=15151156 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/22057/task/22064/stat : 22064 (java) S 22055 22055 18852 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516990112 15514783744 44336 33554432000 4194304 4196468 140726329649664 140611262768288 140611728099029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
[pid=22057/tid=22065] ppid=22055 vsize=15151156 memory=7552 CPUtime=0 cores=0,2,4,6
/proc/22057/task/22065/stat : 22065 (java) S 22055 22055 18852 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516990112 15514783744 44336 33554432000 4194304 4196468 140726329649664 140611261715184 140611728099029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
[pid=22057/tid=22066] ppid=22055 vsize=15151156 memory=3608 CPUtime=0 cores=0,2,4,6
/proc/22057/task/22066/stat : 22066 (java) S 22055 22055 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516990115 15514783744 44336 33554432000 4194304 4196468 140726329649664 140611260663760 140611728107419 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
[pid=22057/tid=22067] ppid=22055 vsize=15151156 memory=616 CPUtime=2.3 cores=0,2,4,6
/proc/22057/task/22067/stat : 22067 (java) S 22055 22055 18852 0 -1 1077944384 13766 0 0 0 229 1 0 0 20 0 15 0 516990115 15514783744 44336 33554432000 4194304 4196468 140726329649664 140611259611888 140611728099970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
[pid=22057/tid=22068] ppid=22055 vsize=15151156 memory=2832 CPUtime=1.7 cores=0,2,4,6
/proc/22057/task/22068/stat : 22068 (java) S 22055 22055 18852 0 -1 1077944384 11508 0 0 0 169 1 0 0 20 0 15 0 516990115 15514783744 44336 33554432000 4194304 4196468 140726329649664 140611258559344 140611728099970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
[pid=22057/tid=22069] ppid=22055 vsize=15151156 memory=1620 CPUtime=0.58 cores=0,2,4,6
/proc/22057/task/22069/stat : 22069 (java) S 22055 22055 18852 0 -1 1077944384 3611 0 0 0 57 1 0 0 20 0 15 0 516990115 15514783744 44336 33554432000 4194304 4196468 140726329649664 140611189467632 140611728099970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
[pid=22057/tid=22070] ppid=22055 vsize=15151156 memory=1136 CPUtime=0 cores=0,2,4,6
/proc/22057/task/22070/stat : 22070 (java) S 22055 22055 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516990115 15514783744 44336 33554432000 4194304 4196468 140726329649664 140611188415328 140611728099029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
[pid=22057/tid=22071] ppid=22055 vsize=15151156 memory=1072 CPUtime=0 cores=0,2,4,6
/proc/22057/task/22071/stat : 22071 (java) S 22055 22055 18852 0 -1 1077944384 260 0 0 0 0 0 0 0 20 0 15 0 516990115 15514783744 44336 33554432000 4194304 4196468 140726329649664 140611187362352 140611728099970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 29548544 140726329652187 140726329652362 140726329652362 140726329655247 0
Current children cumulated CPU time: 34.4 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 178800 KiB
Child status: 0
Real time (s): 29.8863
CPU time (s): 34.5009
CPU user time (s): 34.398
CPU system time (s): 0.102923
CPU usage (%): 115.441
Max. virtual memory (cumulated for all children) (KiB): 15266044
Max. memory (cumulated for all children) (KiB): 178800
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 34.398
system time used= 0.102923
maximum resident set size= 177616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45830
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= 3328
involuntary context switches= 69
# summary of solver processes directly reported to runsolver:
# pid: 22055
# total CPU time (s): 34.5009
# total CPU user time (s): 34.398
# total CPU system time (s): 0.102923
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.206707 second user time and 0.315992 second system time
The end