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 (9889 MiB free)
memory of node 1: 16384 MiB (9366 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394277-1568329417/watcher-4394277-1568329417 -o /tmp/evaluation-result-4394277-1568329417/solver-4394277-1568329417 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568329129-18217 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 516596134 HOME/instance-4394277-1568329417.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=19759, runsolver pid=19756
Current StackSize limit: 8192 KiB
[startup+0.100091 s]*
/proc/loadavg: 6.46 3.58 2.39 6/234 19775
/proc/meminfo: memFree=19703140/32770624 swapFree=66959212/67108860
[pid=19759] ppid=19756 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/19759/stat : 19759 (xcsp3-exec) S 19756 19759 18186 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408881898 115843072 362 33554432000 4194304 5098028 140729198228144 140729198226248 140693463552636 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34742272 140729198232443 140729198232685 140729198232685 140729198235594 0
/proc/19759/statm: 28282 362 304 221 0 87 0
[pid=19761] ppid=19759 vsize=15144768 memory=29084 CPUtime=0.13 cores=0,2,4,6
/proc/19761/stat : 19761 (java) S 19759 19759 18186 0 -1 1077944320 5733 0 0 0 12 1 0 0 20 0 15 0 408881898 15508242432 7271 33554432000 4194304 4196468 140722928353792 140722928336336 140689835785975 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
/proc/19761/statm: 3786192 7271 3116 1 0 3748377 0
[pid=19761/tid=19762] ppid=19759 vsize=15144768 memory=-6962121287837372198 CPUtime=0.09 cores=0,2,4,6
/proc/19761/task/19762/stat : 19762 (java) R 19759 19759 18186 0 -1 4202560 3663 0 0 0 9 0 0 0 20 0 15 0 408881898 15508242432 7271 33554432000 4194304 4196468 140722928353792 140689840020992 140689455262856 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
[pid=19761/tid=19763] ppid=19759 vsize=15144768 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/19761/task/19763/stat : 19763 (java) S 19759 19759 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408881899 15508242432 7271 33554432000 4194304 4196468 140722928353792 140689788406800 140689835796181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
[pid=19761/tid=19764] ppid=19759 vsize=15144768 memory=140570204898944 CPUtime=0 cores=0,2,4,6
/proc/19761/task/19764/stat : 19764 (java) S 19759 19759 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408881899 15508242432 7271 33554432000 4194304 4196468 140722928353792 140689787354256 140689835796181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
[pid=19761/tid=19765] ppid=19759 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19761/task/19765/stat : 19765 (java) S 19759 19759 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408881899 15508242432 7271 33554432000 4194304 4196468 140722928353792 140689786301200 140689835796181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
[pid=19761/tid=19766] ppid=19759 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19761/task/19766/stat : 19766 (java) S 19759 19759 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408881899 15508242432 7271 33554432000 4194304 4196468 140722928353792 140689785248656 140689835796181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
[pid=19761/tid=19767] ppid=19759 vsize=15144768 memory=140570204898944 CPUtime=0 cores=0,2,4,6
/proc/19761/task/19767/stat : 19767 (java) S 19759 19759 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408881900 15508242432 7271 33554432000 4194304 4196468 140722928353792 140689304185072 140689835797122 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
[pid=19761/tid=19768] ppid=19759 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19761/task/19768/stat : 19768 (java) S 19759 19759 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408881901 15508242432 7271 33554432000 4194304 4196468 140722928353792 140689303131296 140689835796181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
[pid=19761/tid=19769] ppid=19759 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19761/task/19769/stat : 19769 (java) S 19759 19759 18186 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408881901 15508242432 7271 33554432000 4194304 4196468 140722928353792 140689302078192 140689835796181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
[pid=19761/tid=19770] ppid=19759 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19761/task/19770/stat : 19770 (java) S 19759 19759 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408881903 15508242432 7271 33554432000 4194304 4196468 140722928353792 140689301026768 140689835804571 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
[pid=19761/tid=19771] ppid=19759 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19761/task/19771/stat : 19771 (java) R 19759 19759 18186 0 -1 4202560 296 0 0 0 0 0 0 0 20 0 15 0 408881903 15508242432 7271 33554432000 4194304 4196468 140722928353792 140689299974896 140689835797910 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
[pid=19761/tid=19772] ppid=19759 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19761/task/19772/stat : 19772 (java) R 19759 19759 18186 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 408881903 15508242432 7271 33554432000 4194304 4196468 140722928353792 140689298922352 140689835797122 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
[pid=19761/tid=19773] ppid=19759 vsize=15144768 memory=140570204898944 CPUtime=0.02 cores=0,2,4,6
/proc/19761/task/19773/stat : 19773 (java) R 19759 19759 18186 0 -1 4202560 349 0 0 0 2 0 0 0 20 0 15 0 408881904 15508242432 7271 33554432000 4194304 4196468 140722928353792 140689297869296 140689814374200 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
[pid=19761/tid=19774] ppid=19759 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19761/task/19774/stat : 19774 (java) S 19759 19759 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408881904 15508242432 7271 33554432000 4194304 4196468 140722928353792 140689296816992 140689835796181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
[pid=19761/tid=19775] ppid=19759 vsize=15144768 memory=140570204898944 CPUtime=0 cores=0,2,4,6
/proc/19761/task/19775/stat : 19775 (java) S 19759 19759 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408881904 15508242432 7271 33554432000 4194304 4196468 140722928353792 140689295764016 140689835797122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30532 KiB
[startup+0.210927 s]*
/proc/loadavg: 6.46 3.58 2.39 7/234 19775
/proc/meminfo: memFree=19688764/32770624 swapFree=66959212/67108860
[pid=19759] ppid=19756 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/19759/stat : 19759 (xcsp3-exec) S 19756 19759 18186 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408881898 115843072 362 33554432000 4194304 5098028 140729198228144 140729198226248 140693463552636 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34742272 140729198232443 140729198232685 140729198232685 140729198235594 0
/proc/19759/statm: 28282 362 304 221 0 87 0
[pid=19761] ppid=19759 vsize=15144768 memory=40544 CPUtime=0.35 cores=0,2,4,6
/proc/19761/stat : 19761 (java) S 19759 19759 18186 0 -1 1077944320 9417 0 0 0 32 3 0 0 20 0 15 0 408881898 15508242432 10136 33554432000 4194304 4196468 140722928353792 140722928336336 140689835785975 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
/proc/19761/statm: 3786192 10136 3213 1 0 3748377 0
[pid=19761/tid=19762] ppid=19759 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/19761/task/19762/stat : 19762 (java) R 19759 19759 18186 0 -1 4202560 6640 0 0 0 18 2 0 0 20 0 15 0 408881898 15508242432 10136 33554432000 4194304 4196468 140722928353792 140689840020096 140689819866462 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
[pid=19761/tid=19763] ppid=19759 vsize=15144768 memory=1965945 CPUtime=0 cores=0,2,4,6
/proc/19761/task/19763/stat : 19763 (java) S 19759 19759 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408881899 15508242432 10136 33554432000 4194304 4196468 140722928353792 140689788406800 140689835796181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
[pid=19761/tid=19764] ppid=19759 vsize=15144768 memory=3907067364359079584 CPUtime=0 cores=0,2,4,6
/proc/19761/task/19764/stat : 19764 (java) S 19759 19759 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408881899 15508242432 10136 33554432000 4194304 4196468 140722928353792 140689787354256 140689835796181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
[pid=19761/tid=19765] ppid=19759 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19761/task/19765/stat : 19765 (java) S 19759 19759 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408881899 15508242432 10136 33554432000 4194304 4196468 140722928353792 140689786301200 140689835796181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
[pid=19761/tid=19766] ppid=19759 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19761/task/19766/stat : 19766 (java) S 19759 19759 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408881899 15508242432 10136 33554432000 4194304 4196468 140722928353792 140689785248656 140689835796181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
[pid=19761/tid=19767] ppid=19759 vsize=15144768 memory=140570204898944 CPUtime=0 cores=0,2,4,6
/proc/19761/task/19767/stat : 19767 (java) S 19759 19759 18186 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408881900 15508242432 10136 33554432000 4194304 4196468 140722928353792 140689304185072 140689835797122 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
[pid=19761/tid=19768] ppid=19759 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19761/task/19768/stat : 19768 (java) S 19759 19759 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408881901 15508242432 10136 33554432000 4194304 4196468 140722928353792 140689303131296 140689835796181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
[pid=19761/tid=19769] ppid=19759 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19761/task/19769/stat : 19769 (java) S 19759 19759 18186 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408881901 15508242432 10136 33554432000 4194304 4196468 140722928353792 140689302078192 140689835796181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
[pid=19761/tid=19770] ppid=19759 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19761/task/19770/stat : 19770 (java) S 19759 19759 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408881903 15508242432 10136 33554432000 4194304 4196468 140722928353792 140689301026768 140689835804571 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
[pid=19761/tid=19771] ppid=19759 vsize=15144768 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/19761/task/19771/stat : 19771 (java) S 19759 19759 18186 0 -1 1077944384 588 0 0 0 3 0 0 0 20 0 15 0 408881903 15508242432 10136 33554432000 4194304 4196468 140722928353792 140689299974896 140689835797122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
[pid=19761/tid=19772] ppid=19759 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19761/task/19772/stat : 19772 (java) S 19759 19759 18186 0 -1 1077944384 131 0 0 0 0 0 0 0 20 0 15 0 408881903 15508242432 10136 33554432000 4194304 4196468 140722928353792 140689298922352 140689835797122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
[pid=19761/tid=19773] ppid=19759 vsize=15144768 memory=140570204898944 CPUtime=0.08 cores=0,2,4,6
/proc/19761/task/19773/stat : 19773 (java) R 19759 19759 18186 0 -1 4202560 752 0 0 0 8 0 0 0 20 0 15 0 408881904 15508242432 10136 33554432000 4194304 4196468 140722928353792 140689297869296 140689814802818 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
[pid=19761/tid=19774] ppid=19759 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19761/task/19774/stat : 19774 (java) S 19759 19759 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408881904 15508242432 10136 33554432000 4194304 4196468 140722928353792 140689296816992 140689835796181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
[pid=19761/tid=19775] ppid=19759 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19761/task/19775/stat : 19775 (java) S 19759 19759 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408881904 15508242432 10136 33554432000 4194304 4196468 140722928353792 140689295764016 140689835797122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 41992 KiB
[startup+0.310808 s]*
/proc/loadavg: 6.46 3.58 2.39 7/234 19775
/proc/meminfo: memFree=19684296/32770624 swapFree=66959212/67108860
[pid=19759] ppid=19756 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/19759/stat : 19759 (xcsp3-exec) S 19756 19759 18186 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408881898 115843072 362 33554432000 4194304 5098028 140729198228144 140729198226248 140693463552636 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34742272 140729198232443 140729198232685 140729198232685 140729198235594 0
/proc/19759/statm: 28282 362 304 221 0 87 0
[pid=19761] ppid=19759 vsize=15149024 memory=49792 CPUtime=0.53 cores=0,2,4,6
/proc/19761/stat : 19761 (java) S 19759 19759 18186 0 -1 1077944320 10780 0 0 0 49 4 0 0 20 0 15 0 408881898 15512600576 12448 33554432000 4194304 4196468 140722928353792 140722928336336 140689835785975 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
/proc/19761/statm: 3787256 12448 3370 1 0 3748377 0
[pid=19761/tid=19762] ppid=19759 vsize=15149024 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/19761/task/19762/stat : 19762 (java) R 19759 19759 18186 0 -1 4202560 7747 0 0 0 28 2 0 0 20 0 15 0 408881898 15512600576 12448 33554432000 4194304 4196468 140722928353792 140689840017088 140689819866492 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
[pid=19761/tid=19763] ppid=19759 vsize=15149024 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/19761/task/19763/stat : 19763 (java) S 19759 19759 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408881899 15512600576 12448 33554432000 4194304 4196468 140722928353792 140689788406800 140689835796181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
[pid=19761/tid=19764] ppid=19759 vsize=15149024 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/19761/task/19764/stat : 19764 (java) S 19759 19759 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408881899 15512600576 12448 33554432000 4194304 4196468 140722928353792 140689787354256 140689835796181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
[pid=19761/tid=19765] ppid=19759 vsize=15149024 memory=-3040564339105353098 CPUtime=0 cores=0,2,4,6
/proc/19761/task/19765/stat : 19765 (java) S 19759 19759 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408881899 15512600576 12448 33554432000 4194304 4196468 140722928353792 140689786301200 140689835796181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
[pid=19761/tid=19766] ppid=19759 vsize=15149024 memory=7161331908245094050 CPUtime=0 cores=0,2,4,6
/proc/19761/task/19766/stat : 19766 (java) S 19759 19759 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408881899 15512600576 12448 33554432000 4194304 4196468 140722928353792 140689785248656 140689835796181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
[pid=19761/tid=19767] ppid=19759 vsize=15149024 memory=6944656591801720471 CPUtime=0 cores=0,2,4,6
/proc/19761/task/19767/stat : 19767 (java) S 19759 19759 18186 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408881900 15512600576 12448 33554432000 4194304 4196468 140722928353792 140689304185072 140689835797122 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
[pid=19761/tid=19768] ppid=19759 vsize=15149024 memory=-8458152057954561420 CPUtime=0 cores=0,2,4,6
/proc/19761/task/19768/stat : 19768 (java) S 19759 19759 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408881901 15512600576 12448 33554432000 4194304 4196468 140722928353792 140689303131296 140689835796181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
[pid=19761/tid=19769] ppid=19759 vsize=15149024 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/19761/task/19769/stat : 19769 (java) S 19759 19759 18186 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408881901 15512600576 12448 33554432000 4194304 4196468 140722928353792 140689302078192 140689835796181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
[pid=19761/tid=19770] ppid=19759 vsize=15149024 memory=7031125463459224206 CPUtime=0 cores=0,2,4,6
/proc/19761/task/19770/stat : 19770 (java) S 19759 19759 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408881903 15512600576 12448 33554432000 4194304 4196468 140722928353792 140689301026768 140689835804571 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
[pid=19761/tid=19771] ppid=19759 vsize=15149024 memory=4426078206164241782 CPUtime=0.05 cores=0,2,4,6
/proc/19761/task/19771/stat : 19771 (java) R 19759 19759 18186 0 -1 4202560 689 0 0 0 5 0 0 0 20 0 15 0 408881903 15512600576 12448 33554432000 4194304 4196468 140722928353792 140689299974992 140689819285038 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
[pid=19761/tid=19772] ppid=19759 vsize=15149024 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/19761/task/19772/stat : 19772 (java) S 19759 19759 18186 0 -1 1077944384 178 0 0 0 2 0 0 0 20 0 15 0 408881903 15512600576 12448 33554432000 4194304 4196468 140722928353792 140689298922352 140689835797122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
[pid=19761/tid=19773] ppid=19759 vsize=15149024 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/19761/task/19773/stat : 19773 (java) S 19759 19759 18186 0 -1 1077944384 860 0 0 0 12 0 0 0 20 0 15 0 408881904 15512600576 12448 33554432000 4194304 4196468 140722928353792 140689297869296 140689835797122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
[pid=19761/tid=19774] ppid=19759 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19761/task/19774/stat : 19774 (java) S 19759 19759 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408881904 15512600576 12448 33554432000 4194304 4196468 140722928353792 140689296816992 140689835796181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
[pid=19761/tid=19775] ppid=19759 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19761/task/19775/stat : 19775 (java) S 19759 19759 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408881904 15512600576 12448 33554432000 4194304 4196468 140722928353792 140689295764016 140689835797122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51240 KiB
[startup+0.701253 s]
/proc/loadavg: 6.46 3.58 2.39 7/234 19775
/proc/meminfo: memFree=19668776/32770624 swapFree=66959212/67108860
[pid=19759] ppid=19756 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/19759/stat : 19759 (xcsp3-exec) S 19756 19759 18186 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408881898 115843072 362 33554432000 4194304 5098028 140729198228144 140729198226248 140693463552636 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34742272 140729198232443 140729198232685 140729198232685 140729198235594 0
/proc/19759/statm: 28282 362 304 221 0 87 0
[pid=19761] ppid=19759 vsize=15151148 memory=92748 CPUtime=1.66 cores=0,2,4,6
/proc/19761/stat : 19761 (java) S 19759 19759 18186 0 -1 1077944320 13774 0 0 0 161 5 0 0 20 0 15 0 408881898 15514775552 23187 33554432000 4194304 4196468 140722928353792 140722928336336 140689835785975 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
/proc/19761/statm: 3787787 23187 3462 1 0 3748889 0
[pid=19761/tid=19762] ppid=19759 vsize=15151148 memory=33 CPUtime=0.67 cores=0,2,4,6
/proc/19761/task/19762/stat : 19762 (java) R 19759 19759 18186 0 -1 4202560 9140 0 0 0 64 3 0 0 20 0 15 0 408881898 15514775552 23187 33554432000 4194304 4196468 140722928353792 140689840021600 140689455321397 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
[pid=19761/tid=19763] ppid=19759 vsize=15151148 memory=-7082918048272507482 CPUtime=0 cores=0,2,4,6
/proc/19761/task/19763/stat : 19763 (java) S 19759 19759 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408881899 15514775552 23187 33554432000 4194304 4196468 140722928353792 140689788406800 140689835796181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
[pid=19761/tid=19764] ppid=19759 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19761/task/19764/stat : 19764 (java) S 19759 19759 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408881899 15514775552 23187 33554432000 4194304 4196468 140722928353792 140689787354256 140689835796181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
[pid=19761/tid=19765] ppid=19759 vsize=15151148 memory=1660 CPUtime=0 cores=0,2,4,6
/proc/19761/task/19765/stat : 19765 (java) S 19759 19759 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408881899 15514775552 23187 33554432000 4194304 4196468 140722928353792 140689786301200 140689835796181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
[pid=19761/tid=19766] ppid=19759 vsize=15151148 memory=38292 CPUtime=0 cores=0,2,4,6
/proc/19761/task/19766/stat : 19766 (java) S 19759 19759 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408881899 15514775552 23187 33554432000 4194304 4196468 140722928353792 140689785248656 140689835796181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
[pid=19761/tid=19767] ppid=19759 vsize=15151148 memory=988 CPUtime=0 cores=0,2,4,6
/proc/19761/task/19767/stat : 19767 (java) S 19759 19759 18186 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408881900 15514775552 23187 33554432000 4194304 4196468 140722928353792 140689304185072 140689835797122 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
[pid=19761/tid=19768] ppid=19759 vsize=15151148 memory=2008 CPUtime=0 cores=0,2,4,6
/proc/19761/task/19768/stat : 19768 (java) S 19759 19759 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408881901 15514775552 23187 33554432000 4194304 4196468 140722928353792 140689303131296 140689835796181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
[pid=19761/tid=19769] ppid=19759 vsize=15151148 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/19761/task/19769/stat : 19769 (java) S 19759 19759 18186 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408881901 15514775552 23187 33554432000 4194304 4196468 140722928353792 140689302078192 140689835796181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
[pid=19761/tid=19770] ppid=19759 vsize=15151148 memory=580 CPUtime=0 cores=0,2,4,6
/proc/19761/task/19770/stat : 19770 (java) S 19759 19759 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408881903 15514775552 23187 33554432000 4194304 4196468 140722928353792 140689301026768 140689835804571 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
[pid=19761/tid=19771] ppid=19759 vsize=15151148 memory=1720 CPUtime=0.29 cores=0,2,4,6
/proc/19761/task/19771/stat : 19771 (java) R 19759 19759 18186 0 -1 4202560 997 0 0 0 29 0 0 0 20 0 15 0 408881903 15514775552 23187 33554432000 4194304 4196468 140722928353792 140689299968088 140689821805119 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
[pid=19761/tid=19772] ppid=19759 vsize=15151148 memory=10604 CPUtime=0.26 cores=0,2,4,6
/proc/19761/task/19772/stat : 19772 (java) R 19759 19759 18186 0 -1 4202560 698 0 0 0 25 1 0 0 20 0 15 0 408881903 15514775552 23187 33554432000 4194304 4196468 140722928353792 140689298907984 140689821801688 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
[pid=19761/tid=19773] ppid=19759 vsize=15151148 memory=3360 CPUtime=0.4 cores=0,2,4,6
/proc/19761/task/19773/stat : 19773 (java) S 19759 19759 18186 0 -1 1077944384 1631 0 0 0 40 0 0 0 20 0 15 0 408881904 15514775552 23187 33554432000 4194304 4196468 140722928353792 140689297869296 140689835797122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
[pid=19761/tid=19774] ppid=19759 vsize=15151148 memory=776 CPUtime=0 cores=0,2,4,6
/proc/19761/task/19774/stat : 19774 (java) S 19759 19759 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408881904 15514775552 23187 33554432000 4194304 4196468 140722928353792 140689296816992 140689835796181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
[pid=19761/tid=19775] ppid=19759 vsize=15151148 memory=1564 CPUtime=0 cores=0,2,4,6
/proc/19761/task/19775/stat : 19775 (java) S 19759 19759 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408881904 15514775552 23187 33554432000 4194304 4196468 140722928353792 140689295764016 140689835797122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
Current children cumulated CPU time: 1.66 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 94196 KiB
[startup+1.50924 s]
/proc/loadavg: 6.46 3.58 2.39 13/238 19779
/proc/meminfo: memFree=19615840/32770624 swapFree=66959212/67108860
[pid=19759] ppid=19756 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/19759/stat : 19759 (xcsp3-exec) S 19756 19759 18186 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408881898 115843072 362 33554432000 4194304 5098028 140729198228144 140729198226248 140693463552636 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34742272 140729198232443 140729198232685 140729198232685 140729198235594 0
/proc/19759/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/19761/task/19775/stat : 19775 (java) S 19759 19759 18186 0 -1 1077944384 1934 0 0 0 8 9 0 0 20 0 19 0 408881904 15787421696 55242 33554432000 4194304 4196468 140722928353792 140689295764016 140689835797122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
[pid=19761/tid=19881] ppid=19759 vsize=15417404 memory=988 CPUtime=0.06 cores=0,2,4,6
/proc/19761/task/19881/stat : 19881 (java) S 19759 19759 18186 0 -1 1077944384 86 0 0 0 6 0 0 0 20 0 19 0 408912350 15787421696 55242 33554432000 4194304 4196468 140722928353792 140689286794928 140689835796181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
[pid=19761/tid=19882] ppid=19759 vsize=15417404 memory=2008 CPUtime=0.08 cores=0,2,4,6
/proc/19761/task/19882/stat : 19882 (java) S 19759 19759 18186 0 -1 1077944384 131 0 0 0 8 0 0 0 20 0 19 0 408912350 15787421696 55242 33554432000 4194304 4196468 140722928353792 140689285743312 140689835796181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
[pid=19761/tid=19883] ppid=19759 vsize=15417404 memory=1436 CPUtime=0.08 cores=0,2,4,6
/proc/19761/task/19883/stat : 19883 (java) S 19759 19759 18186 0 -1 1077944384 49 0 0 0 8 0 0 0 20 0 19 0 408912350 15787421696 55242 33554432000 4194304 4196468 140722928353792 140689284690768 140689835796181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
[pid=19761/tid=19884] ppid=19759 vsize=15417404 memory=4872558044660077418 CPUtime=1.07 cores=0,2,4,6
/proc/19761/task/19884/stat : 19884 (java) R 19759 19759 18186 0 -1 4202560 88 0 0 0 107 0 0 0 20 0 19 0 408912350 15787421696 55242 33554432000 4194304 4196468 140722928353792 140689283635512 140689463800583 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
Current children cumulated CPU time: 510.4 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 222416 KiB
[startup+306.401 s]
/proc/loadavg: 4.11 4.25 3.08 6/237 19884
/proc/meminfo: memFree=19383232/32770624 swapFree=66959212/67108860
[pid=19759] ppid=19756 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/19759/stat : 19759 (xcsp3-exec) S 19756 19759 18186 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408881898 115843072 362 33554432000 4194304 5098028 140729198228144 140729198226248 140693463552636 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34742272 140729198232443 140729198232685 140729198232685 140729198235594 0
/proc/19759/statm: 28282 362 304 221 0 87 0
[pid=19761] ppid=19759 vsize=15417404 memory=220968 CPUtime=511.2 cores=0,2,4,6
/proc/19761/stat : 19761 (java) S 19759 19759 18186 0 -1 1077944320 81710 0 0 0 51079 41 0 0 20 0 19 0 408881898 15787421696 55242 33554432000 4194304 4196468 140722928353792 140722928336336 140689835785975 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
/proc/19761/statm: 3854351 55242 3533 1 0 3815453 0
[pid=19761/tid=19762] ppid=19759 vsize=15417404 memory=15818902244428187 CPUtime=0.74 cores=0,2,4,6
/proc/19761/task/19762/stat : 19762 (java) S 19759 19759 18186 0 -1 1077944384 10206 0 0 0 71 3 0 0 20 0 19 0 408881898 15787421696 55242 33554432000 4194304 4196468 140722928353792 140689840026752 140689835796181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
[pid=19761/tid=19763] ppid=19759 vsize=15417404 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/19761/task/19763/stat : 19763 (java) S 19759 19759 18186 0 -1 1077944384 1210 0 0 0 10 2 0 0 20 0 19 0 408881899 15787421696 55242 33554432000 4194304 4196468 140722928353792 140689788406800 140689835796181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
[pid=19761/tid=19764] ppid=19759 vsize=15417404 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/19761/task/19764/stat : 19764 (java) S 19759 19759 18186 0 -1 1077944384 1581 0 0 0 9 2 0 0 20 0 19 0 408881899 15787421696 55242 33554432000 4194304 4196468 140722928353792 140689787354256 140689835796181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
[pid=19761/tid=19765] ppid=19759 vsize=15417404 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/19761/task/19765/stat : 19765 (java) S 19759 19759 18186 0 -1 1077944384 769 0 0 0 10 2 0 0 20 0 19 0 408881899 15787421696 55242 33554432000 4194304 4196468 140722928353792 140689786301200 140689835796181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
[pid=19761/tid=19766] ppid=19759 vsize=15417404 memory=1448 CPUtime=0.12 cores=0,2,4,6
/proc/19761/task/19766/stat : 19766 (java) S 19759 19759 18186 0 -1 1077944384 3431 0 0 0 9 3 0 0 20 0 19 0 408881899 15787421696 55242 33554432000 4194304 4196468 140722928353792 140689785248656 140689835796181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
[pid=19761/tid=19767] ppid=19759 vsize=15417404 memory=220836 CPUtime=0.14 cores=0,2,4,6
/proc/19761/task/19767/stat : 19767 (java) S 19759 19759 18186 0 -1 1077944384 2199 0 0 0 5 9 0 0 20 0 19 0 408881900 15787421696 55242 33554432000 4194304 4196468 140722928353792 140689304185072 140689835797122 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
[pid=19761/tid=19768] ppid=19759 vsize=15417404 memory=2596 CPUtime=0 cores=0,2,4,6
/proc/19761/task/19768/stat : 19768 (java) S 19759 19759 18186 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 19 0 408881901 15787421696 55242 33554432000 4194304 4196468 140722928353792 140689303131360 140689835796181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
[pid=19761/tid=19769] ppid=19759 vsize=15417404 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/19761/task/19769/stat : 19769 (java) S 19759 19759 18186 0 -1 1077944384 113 0 0 0 0 0 0 0 20 0 19 0 408881901 15787421696 55242 33554432000 4194304 4196468 140722928353792 140689302078208 140689835796181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
[pid=19761/tid=19770] ppid=19759 vsize=15417404 memory=3504 CPUtime=0 cores=0,2,4,6
/proc/19761/task/19770/stat : 19770 (java) S 19759 19759 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408881903 15787421696 55242 33554432000 4194304 4196468 140722928353792 140689301026768 140689835804571 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
[pid=19761/tid=19771] ppid=19759 vsize=15417404 memory=1452 CPUtime=2.73 cores=0,2,4,6
/proc/19761/task/19771/stat : 19771 (java) S 19759 19759 18186 0 -1 1077944384 18458 0 0 0 271 2 0 0 20 0 19 0 408881903 15787421696 55242 33554432000 4194304 4196468 140722928353792 140689299974896 140689835797122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
[pid=19761/tid=19772] ppid=19759 vsize=15417404 memory=356048 CPUtime=3.05 cores=0,2,4,6
/proc/19761/task/19772/stat : 19772 (java) S 19759 19759 18186 0 -1 1077944384 20941 0 0 0 302 3 0 0 20 0 19 0 408881903 15787421696 55242 33554432000 4194304 4196468 140722928353792 140689298922352 140689835797122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 28 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
[pid=19761/tid=19773] ppid=19759 vsize=15417404 memory=6791534058613427641 CPUtime=0.74 cores=0,2,4,6
/proc/19761/task/19773/stat : 19773 (java) S 19759 19759 18186 0 -1 1077944384 8805 0 0 0 73 1 0 0 20 0 19 0 408881904 15787421696 55242 33554432000 4194304 4196468 140722928353792 140689297869296 140689835797122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 29 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
[pid=19761/tid=19774] ppid=19759 vsize=15417404 memory=928 CPUtime=0 cores=0,2,4,6
/proc/19761/task/19774/stat : 19774 (java) S 19759 19759 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408881904 15787421696 55242 33554432000 4194304 4196468 140722928353792 140689296816992 140689835796181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
[pid=19761/tid=19775] ppid=19759 vsize=15417404 memory=1760 CPUtime=0.17 cores=0,2,4,6
/proc/19761/task/19775/stat : 19775 (java) S 19759 19759 18186 0 -1 1077944384 1934 0 0 0 8 9 0 0 20 0 19 0 408881904 15787421696 55242 33554432000 4194304 4196468 140722928353792 140689295764016 140689835797122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
[pid=19761/tid=19881] ppid=19759 vsize=15417404 memory=824 CPUtime=0.06 cores=0,2,4,6
/proc/19761/task/19881/stat : 19881 (java) S 19759 19759 18186 0 -1 1077944384 86 0 0 0 6 0 0 0 20 0 19 0 408912350 15787421696 55242 33554432000 4194304 4196468 140722928353792 140689286794928 140689835796181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
[pid=19761/tid=19882] ppid=19759 vsize=15417404 memory=1436 CPUtime=0.08 cores=0,2,4,6
/proc/19761/task/19882/stat : 19882 (java) S 19759 19759 18186 0 -1 1077944384 131 0 0 0 8 0 0 0 20 0 19 0 408912350 15787421696 55242 33554432000 4194304 4196468 140722928353792 140689285743312 140689835796181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
[pid=19761/tid=19883] ppid=19759 vsize=15417404 memory=1984 CPUtime=0.08 cores=0,2,4,6
/proc/19761/task/19883/stat : 19883 (java) S 19759 19759 18186 0 -1 1077944384 49 0 0 0 8 0 0 0 20 0 19 0 408912350 15787421696 55242 33554432000 4194304 4196468 140722928353792 140689284690768 140689835796181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
[pid=19761/tid=19884] ppid=19759 vsize=15417404 memory=2580 CPUtime=1.87 cores=0,2,4,6
/proc/19761/task/19884/stat : 19884 (java) R 19759 19759 18186 0 -1 4202560 88 0 0 0 187 0 0 0 20 0 19 0 408912350 15787421696 55242 33554432000 4194304 4196468 140722928353792 140689283635512 140689463800443 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
Current children cumulated CPU time: 511.2 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 222416 KiB
[startup+306.601 s]
/proc/loadavg: 4.11 4.25 3.08 6/237 19884
/proc/meminfo: memFree=19383232/32770624 swapFree=66959212/67108860
[pid=19759] ppid=19756 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/19759/stat : 19759 (xcsp3-exec) S 19756 19759 18186 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408881898 115843072 362 33554432000 4194304 5098028 140729198228144 140729198226248 140693463552636 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34742272 140729198232443 140729198232685 140729198232685 140729198235594 0
/proc/19759/statm: 28282 362 304 221 0 87 0
[pid=19761] ppid=19759 vsize=15417404 memory=220968 CPUtime=511.4 cores=0,2,4,6
/proc/19761/stat : 19761 (java) S 19759 19759 18186 0 -1 1077944320 81777 0 0 0 51099 41 0 0 20 0 19 0 408881898 15787421696 55242 33554432000 4194304 4196468 140722928353792 140722928336336 140689835785975 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
/proc/19761/statm: 3854351 55242 3533 1 0 3815453 0
[pid=19761/tid=19762] ppid=19759 vsize=15417404 memory=1408 CPUtime=0.74 cores=0,2,4,6
/proc/19761/task/19762/stat : 19762 (java) S 19759 19759 18186 0 -1 1077944384 10206 0 0 0 71 3 0 0 20 0 19 0 408881898 15787421696 55242 33554432000 4194304 4196468 140722928353792 140689840026752 140689835796181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
[pid=19761/tid=19763] ppid=19759 vsize=15417404 memory=3372 CPUtime=0.12 cores=0,2,4,6
/proc/19761/task/19763/stat : 19763 (java) S 19759 19759 18186 0 -1 1077944384 1210 0 0 0 10 2 0 0 20 0 19 0 408881899 15787421696 55242 33554432000 4194304 4196468 140722928353792 140689788406800 140689835796181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
[pid=19761/tid=19764] ppid=19759 vsize=15417404 memory=1448 CPUtime=0.11 cores=0,2,4,6
/proc/19761/task/19764/stat : 19764 (java) S 19759 19759 18186 0 -1 1077944384 1581 0 0 0 9 2 0 0 20 0 19 0 408881899 15787421696 55242 33554432000 4194304 4196468 140722928353792 140689787354256 140689835796181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
[pid=19761/tid=19765] ppid=19759 vsize=15417404 memory=220836 CPUtime=0.12 cores=0,2,4,6
/proc/19761/task/19765/stat : 19765 (java) S 19759 19759 18186 0 -1 1077944384 769 0 0 0 10 2 0 0 20 0 19 0 408881899 15787421696 55242 33554432000 4194304 4196468 140722928353792 140689786301200 140689835796181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
[pid=19761/tid=19766] ppid=19759 vsize=15417404 memory=6791534058613427641 CPUtime=0.12 cores=0,2,4,6
/proc/19761/task/19766/stat : 19766 (java) S 19759 19759 18186 0 -1 1077944384 3431 0 0 0 9 3 0 0 20 0 19 0 408881899 15787421696 55242 33554432000 4194304 4196468 140722928353792 140689785248656 140689835796181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
[pid=19761/tid=19767] ppid=19759 vsize=15417404 memory=7811611684139461203 CPUtime=0.14 cores=0,2,4,6
/proc/19761/task/19767/stat : 19767 (java) S 19759 19759 18186 0 -1 1077944384 2199 0 0 0 5 9 0 0 20 0 19 0 408881900 15787421696 55242 33554432000 4194304 4196468 140722928353792 140689304185072 140689835797122 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
[pid=19761/tid=19768] ppid=19759 vsize=15417404 memory=8098991038341144915 CPUtime=0 cores=0,2,4,6
/proc/19761/task/19768/stat : 19768 (java) S 19759 19759 18186 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 19 0 408881901 15787421696 55242 33554432000 4194304 4196468 140722928353792 140689303131360 140689835796181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
[pid=19761/tid=19769] ppid=19759 vsize=15417404 memory=7740684340860371044 CPUtime=0 cores=0,2,4,6
/proc/19761/task/19769/stat : 19769 (java) S 19759 19759 18186 0 -1 1077944384 113 0 0 0 0 0 0 0 20 0 19 0 408881901 15787421696 55242 33554432000 4194304 4196468 140722928353792 140689302078208 140689835796181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
[pid=19761/tid=19770] ppid=19759 vsize=15417404 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/19761/task/19770/stat : 19770 (java) S 19759 19759 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408881903 15787421696 55242 33554432000 4194304 4196468 140722928353792 140689301026768 140689835804571 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
[pid=19761/tid=19771] ppid=19759 vsize=15417404 memory=220968 CPUtime=2.73 cores=0,2,4,6
/proc/19761/task/19771/stat : 19771 (java) S 19759 19759 18186 0 -1 1077944384 18458 0 0 0 271 2 0 0 20 0 19 0 408881903 15787421696 55242 33554432000 4194304 4196468 140722928353792 140689299974896 140689835797122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
[pid=19761/tid=19772] ppid=19759 vsize=15417404 memory=1412 CPUtime=3.05 cores=0,2,4,6
/proc/19761/task/19772/stat : 19772 (java) S 19759 19759 18186 0 -1 1077944384 20941 0 0 0 302 3 0 0 20 0 19 0 408881903 15787421696 55242 33554432000 4194304 4196468 140722928353792 140689298922352 140689835797122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 28 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
[pid=19761/tid=19773] ppid=19759 vsize=15417404 memory=3448 CPUtime=0.74 cores=0,2,4,6
/proc/19761/task/19773/stat : 19773 (java) S 19759 19759 18186 0 -1 1077944384 8805 0 0 0 73 1 0 0 20 0 19 0 408881904 15787421696 55242 33554432000 4194304 4196468 140722928353792 140689297869296 140689835797122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 29 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
[pid=19761/tid=19774] ppid=19759 vsize=15417404 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/19761/task/19774/stat : 19774 (java) S 19759 19759 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408881904 15787421696 55242 33554432000 4194304 4196468 140722928353792 140689296816992 140689835796181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
[pid=19761/tid=19775] ppid=19759 vsize=15417404 memory=824 CPUtime=0.17 cores=0,2,4,6
/proc/19761/task/19775/stat : 19775 (java) S 19759 19759 18186 0 -1 1077944384 1966 0 0 0 8 9 0 0 20 0 19 0 408881904 15787421696 55242 33554432000 4194304 4196468 140722928353792 140689295764016 140689835797122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
[pid=19761/tid=19881] ppid=19759 vsize=15417404 memory=1436 CPUtime=0.06 cores=0,2,4,6
/proc/19761/task/19881/stat : 19881 (java) S 19759 19759 18186 0 -1 1077944384 86 0 0 0 6 0 0 0 20 0 19 0 408912350 15787421696 55242 33554432000 4194304 4196468 140722928353792 140689286794928 140689835796181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
[pid=19761/tid=19882] ppid=19759 vsize=15417404 memory=1984 CPUtime=0.08 cores=0,2,4,6
/proc/19761/task/19882/stat : 19882 (java) S 19759 19759 18186 0 -1 1077944384 131 0 0 0 8 0 0 0 20 0 19 0 408912350 15787421696 55242 33554432000 4194304 4196468 140722928353792 140689285743312 140689835796181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
[pid=19761/tid=19883] ppid=19759 vsize=15417404 memory=2580 CPUtime=0.08 cores=0,2,4,6
/proc/19761/task/19883/stat : 19883 (java) S 19759 19759 18186 0 -1 1077944384 49 0 0 0 8 0 0 0 20 0 19 0 408912350 15787421696 55242 33554432000 4194304 4196468 140722928353792 140689284690768 140689835796181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
[pid=19761/tid=19884] ppid=19759 vsize=15417404 memory=1760 CPUtime=2.07 cores=0,2,4,6
/proc/19761/task/19884/stat : 19884 (java) R 19759 19759 18186 0 -1 4202560 123 0 0 0 207 0 0 0 20 0 19 0 408912350 15787421696 55242 33554432000 4194304 4196468 140722928353792 140689283635512 140689463800401 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
Current children cumulated CPU time: 511.4 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 222416 KiB
[startup+306.701 s]
/proc/loadavg: 4.11 4.25 3.08 6/237 19884
/proc/meminfo: memFree=19383232/32770624 swapFree=66959212/67108860
[pid=19759] ppid=19756 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/19759/stat : 19759 (xcsp3-exec) S 19756 19759 18186 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408881898 115843072 362 33554432000 4194304 5098028 140729198228144 140729198226248 140693463552636 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34742272 140729198232443 140729198232685 140729198232685 140729198235594 0
/proc/19759/statm: 28282 362 304 221 0 87 0
[pid=19761] ppid=19759 vsize=15417404 memory=220968 CPUtime=511.5 cores=0,2,4,6
/proc/19761/stat : 19761 (java) S 19759 19759 18186 0 -1 1077944320 81777 0 0 0 51109 41 0 0 20 0 19 0 408881898 15787421696 55242 33554432000 4194304 4196468 140722928353792 140722928336336 140689835785975 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
/proc/19761/statm: 3854351 55242 3533 1 0 3815453 0
[pid=19761/tid=19762] ppid=19759 vsize=15417404 memory=220968 CPUtime=0.74 cores=0,2,4,6
/proc/19761/task/19762/stat : 19762 (java) S 19759 19759 18186 0 -1 1077944384 10206 0 0 0 71 3 0 0 20 0 19 0 408881898 15787421696 55242 33554432000 4194304 4196468 140722928353792 140689840026752 140689835796181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
[pid=19761/tid=19763] ppid=19759 vsize=15417404 memory=1448 CPUtime=0.12 cores=0,2,4,6
/proc/19761/task/19763/stat : 19763 (java) S 19759 19759 18186 0 -1 1077944384 1210 0 0 0 10 2 0 0 20 0 19 0 408881899 15787421696 55242 33554432000 4194304 4196468 140722928353792 140689788406800 140689835796181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
[pid=19761/tid=19764] ppid=19759 vsize=15417404 memory=220968 CPUtime=0.11 cores=0,2,4,6
/proc/19761/task/19764/stat : 19764 (java) S 19759 19759 18186 0 -1 1077944384 1581 0 0 0 9 2 0 0 20 0 19 0 408881899 15787421696 55242 33554432000 4194304 4196468 140722928353792 140689787354256 140689835796181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
[pid=19761/tid=19765] ppid=19759 vsize=15417404 memory=1448 CPUtime=0.12 cores=0,2,4,6
/proc/19761/task/19765/stat : 19765 (java) S 19759 19759 18186 0 -1 1077944384 769 0 0 0 10 2 0 0 20 0 19 0 408881899 15787421696 55242 33554432000 4194304 4196468 140722928353792 140689786301200 140689835796181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
[pid=19761/tid=19766] ppid=19759 vsize=15417404 memory=220836 CPUtime=0.12 cores=0,2,4,6
/proc/19761/task/19766/stat : 19766 (java) S 19759 19759 18186 0 -1 1077944384 3431 0 0 0 9 3 0 0 20 0 19 0 408881899 15787421696 55242 33554432000 4194304 4196468 140722928353792 140689785248656 140689835796181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
[pid=19761/tid=19767] ppid=19759 vsize=15417404 memory=6791534058613427641 CPUtime=0.14 cores=0,2,4,6
/proc/19761/task/19767/stat : 19767 (java) S 19759 19759 18186 0 -1 1077944384 2199 0 0 0 5 9 0 0 20 0 19 0 408881900 15787421696 55242 33554432000 4194304 4196468 140722928353792 140689304185072 140689835797122 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
[pid=19761/tid=19768] ppid=19759 vsize=15417404 memory=220836 CPUtime=0 cores=0,2,4,6
/proc/19761/task/19768/stat : 19768 (java) S 19759 19759 18186 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 19 0 408881901 15787421696 55242 33554432000 4194304 4196468 140722928353792 140689303131360 140689835796181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
[pid=19761/tid=19769] ppid=19759 vsize=15417404 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/19761/task/19769/stat : 19769 (java) S 19759 19759 18186 0 -1 1077944384 113 0 0 0 0 0 0 0 20 0 19 0 408881901 15787421696 55242 33554432000 4194304 4196468 140722928353792 140689302078208 140689835796181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
[pid=19761/tid=19770] ppid=19759 vsize=15417404 memory=220836 CPUtime=0 cores=0,2,4,6
/proc/19761/task/19770/stat : 19770 (java) S 19759 19759 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408881903 15787421696 55242 33554432000 4194304 4196468 140722928353792 140689301026768 140689835804571 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
[pid=19761/tid=19771] ppid=19759 vsize=15417404 memory=6791534058613427641 CPUtime=2.73 cores=0,2,4,6
/proc/19761/task/19771/stat : 19771 (java) S 19759 19759 18186 0 -1 1077944384 18458 0 0 0 271 2 0 0 20 0 19 0 408881903 15787421696 55242 33554432000 4194304 4196468 140722928353792 140689299974896 140689835797122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
[pid=19761/tid=19772] ppid=19759 vsize=15417404 memory=1448 CPUtime=3.05 cores=0,2,4,6
/proc/19761/task/19772/stat : 19772 (java) S 19759 19759 18186 0 -1 1077944384 20941 0 0 0 302 3 0 0 20 0 19 0 408881903 15787421696 55242 33554432000 4194304 4196468 140722928353792 140689298922352 140689835797122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 28 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
[pid=19761/tid=19773] ppid=19759 vsize=15417404 memory=3620 CPUtime=0.74 cores=0,2,4,6
/proc/19761/task/19773/stat : 19773 (java) S 19759 19759 18186 0 -1 1077944384 8805 0 0 0 73 1 0 0 20 0 19 0 408881904 15787421696 55242 33554432000 4194304 4196468 140722928353792 140689297869296 140689835797122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 29 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
[pid=19761/tid=19774] ppid=19759 vsize=15417404 memory=1660 CPUtime=0 cores=0,2,4,6
/proc/19761/task/19774/stat : 19774 (java) S 19759 19759 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408881904 15787421696 55242 33554432000 4194304 4196468 140722928353792 140689296816992 140689835796181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
[pid=19761/tid=19775] ppid=19759 vsize=15417404 memory=220836 CPUtime=0.17 cores=0,2,4,6
/proc/19761/task/19775/stat : 19775 (java) S 19759 19759 18186 0 -1 1077944384 1966 0 0 0 8 9 0 0 20 0 19 0 408881904 15787421696 55242 33554432000 4194304 4196468 140722928353792 140689295764016 140689835797122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
[pid=19761/tid=19881] ppid=19759 vsize=15417404 memory=1448 CPUtime=0.06 cores=0,2,4,6
/proc/19761/task/19881/stat : 19881 (java) S 19759 19759 18186 0 -1 1077944384 86 0 0 0 6 0 0 0 20 0 19 0 408912350 15787421696 55242 33554432000 4194304 4196468 140722928353792 140689286794928 140689835796181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
[pid=19761/tid=19882] ppid=19759 vsize=15417404 memory=1448 CPUtime=0.08 cores=0,2,4,6
/proc/19761/task/19882/stat : 19882 (java) S 19759 19759 18186 0 -1 1077944384 131 0 0 0 8 0 0 0 20 0 19 0 408912350 15787421696 55242 33554432000 4194304 4196468 140722928353792 140689285743312 140689835796181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
[pid=19761/tid=19883] ppid=19759 vsize=15417404 memory=220836 CPUtime=0.08 cores=0,2,4,6
/proc/19761/task/19883/stat : 19883 (java) S 19759 19759 18186 0 -1 1077944384 49 0 0 0 8 0 0 0 20 0 19 0 408912350 15787421696 55242 33554432000 4194304 4196468 140722928353792 140689284690768 140689835796181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
[pid=19761/tid=19884] ppid=19759 vsize=15417404 memory=500 CPUtime=2.17 cores=0,2,4,6
/proc/19761/task/19884/stat : 19884 (java) R 19759 19759 18186 0 -1 4202560 123 0 0 0 217 0 0 0 20 0 19 0 408912350 15787421696 55242 33554432000 4194304 4196468 140722928353792 140689283635512 140689463800378 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31510528 140722928358383 140722928358554 140722928358554 140722928361423 0
Current children cumulated CPU time: 511.5 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 222416 KiB
Child status: 0
Real time (s): 306.79
CPU time (s): 511.592
CPU user time (s): 511.168
CPU system time (s): 0.423811
CPU usage (%): 166.756
Max. virtual memory (cumulated for all children) (KiB): 15530532
Max. memory (cumulated for all children) (KiB): 245392
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 511.168
system time used= 0.423811
maximum resident set size= 245336
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84249
page faults= 0
swaps= 0
block input operations= 0
block output operations= 368
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10497
involuntary context switches= 6498
# summary of solver processes directly reported to runsolver:
# pid: 19759
# total CPU time (s): 511.592
# total CPU user time (s): 511.168
# total CPU system time (s): 0.423811
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.75096 second user time and 3.65289 second system time
The end