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 (11096 MiB free)
memory of node 1: 16384 MiB (13359 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393129-1568320098/watcher-4393129-1568320098 -o /tmp/evaluation-result-4393129-1568320098/solver-4393129-1568320098 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node117-1568312851-11622 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1526824789 HOME/instance-4393129-1568320098.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=20271, runsolver pid=20268
Current StackSize limit: 8192 KiB
[startup+0.101131 s]*
/proc/loadavg: 6.73 8.26 8.08 7/233 20287
/proc/meminfo: memFree=25028760/32770624 swapFree=66952812/67108860
[pid=20271] ppid=20268 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/20271/stat : 20271 (xcsp3-exec) S 20268 20271 11591 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407951798 115843072 363 33554432000 4194304 5098028 140730512630960 140730512629064 139752057913980 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13873152 140730512634746 140730512634989 140730512634989 140730512637898 0
/proc/20271/statm: 28282 363 304 221 0 87 0
[pid=20273] ppid=20271 vsize=15144768 memory=27508 CPUtime=0.13 cores=0,2,4,6
/proc/20273/stat : 20273 (java) S 20271 20271 11591 0 -1 1077944320 5807 0 0 0 12 1 0 0 20 0 15 0 407951799 15508242432 6877 33554432000 4194304 4196468 140732028997232 140732028979776 140212862164727 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
/proc/20273/statm: 3786192 6877 3155 1 0 3748377 0
[pid=20273/tid=20274] ppid=20271 vsize=15144768 memory=7100839861464564850 CPUtime=0.09 cores=0,2,4,6
/proc/20273/task/20274/stat : 20274 (java) R 20271 20271 11591 0 -1 4202560 3644 0 0 0 8 1 0 0 20 0 15 0 407951799 15508242432 6877 33554432000 4194304 4196468 140732028997232 140212866390688 140212854401854 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
[pid=20273/tid=20275] ppid=20271 vsize=15144768 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/20273/task/20275/stat : 20275 (java) S 20271 20271 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407951800 15508242432 6877 33554432000 4194304 4196468 140732028997232 140212454427664 140212862174933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
[pid=20273/tid=20276] ppid=20271 vsize=15144768 memory=140179794564736 CPUtime=0 cores=0,2,4,6
/proc/20273/task/20276/stat : 20276 (java) S 20271 20271 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407951800 15508242432 6877 33554432000 4194304 4196468 140732028997232 140212453375120 140212862174933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
[pid=20273/tid=20277] ppid=20271 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20273/task/20277/stat : 20277 (java) S 20271 20271 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407951800 15508242432 6877 33554432000 4194304 4196468 140732028997232 140212452322064 140212862174933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
[pid=20273/tid=20278] ppid=20271 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20273/task/20278/stat : 20278 (java) S 20271 20271 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407951800 15508242432 6877 33554432000 4194304 4196468 140732028997232 140212451269520 140212862174933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
[pid=20273/tid=20279] ppid=20271 vsize=15144768 memory=140179794564736 CPUtime=0 cores=0,2,4,6
/proc/20273/task/20279/stat : 20279 (java) S 20271 20271 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407951801 15508242432 6877 33554432000 4194304 4196468 140732028997232 140211736054000 140212862175874 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
[pid=20273/tid=20280] ppid=20271 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20273/task/20280/stat : 20280 (java) S 20271 20271 11591 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407951801 15508242432 6877 33554432000 4194304 4196468 140732028997232 140211735000224 140212862174933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
[pid=20273/tid=20281] ppid=20271 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20273/task/20281/stat : 20281 (java) S 20271 20271 11591 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407951802 15508242432 6877 33554432000 4194304 4196468 140732028997232 140211733947120 140212862174933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
[pid=20273/tid=20282] ppid=20271 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20273/task/20282/stat : 20282 (java) S 20271 20271 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407951804 15508242432 6877 33554432000 4194304 4196468 140732028997232 140211732895696 140212862183323 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
[pid=20273/tid=20283] ppid=20271 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20273/task/20283/stat : 20283 (java) R 20271 20271 11591 0 -1 4202560 459 0 0 0 0 0 0 0 20 0 15 0 407951804 15508242432 6877 33554432000 4194304 4196468 140732028997232 140211731835472 140212839409472 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
[pid=20273/tid=20284] ppid=20271 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20273/task/20284/stat : 20284 (java) R 20271 20271 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407951804 15508242432 6877 33554432000 4194304 4196468 140732028997232 140211730791376 140212862174933 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
[pid=20273/tid=20285] ppid=20271 vsize=15144768 memory=140179794564736 CPUtime=0.02 cores=0,2,4,6
/proc/20273/task/20285/stat : 20285 (java) R 20271 20271 11591 0 -1 4202560 410 0 0 0 2 0 0 0 20 0 15 0 407951804 15508242432 6877 33554432000 4194304 4196468 140732028997232 140211729735760 140212841106195 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
[pid=20273/tid=20286] ppid=20271 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20273/task/20286/stat : 20286 (java) S 20271 20271 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407951804 15508242432 6877 33554432000 4194304 4196468 140732028997232 140211728685920 140212862174933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
[pid=20273/tid=20287] ppid=20271 vsize=15144768 memory=140179794564736 CPUtime=0 cores=0,2,4,6
/proc/20273/task/20287/stat : 20287 (java) S 20271 20271 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407951805 15508242432 6877 33554432000 4194304 4196468 140732028997232 140211727632944 140212862175874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 28960 KiB
[startup+0.210796 s]*
/proc/loadavg: 6.73 8.26 8.08 6/233 20287
/proc/meminfo: memFree=25015064/32770624 swapFree=66952812/67108860
[pid=20271] ppid=20268 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/20271/stat : 20271 (xcsp3-exec) S 20268 20271 11591 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407951798 115843072 363 33554432000 4194304 5098028 140730512630960 140730512629064 139752057913980 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13873152 140730512634746 140730512634989 140730512634989 140730512637898 0
/proc/20271/statm: 28282 363 304 221 0 87 0
[pid=20273] ppid=20271 vsize=15144768 memory=39844 CPUtime=0.34 cores=0,2,4,6
/proc/20273/stat : 20273 (java) S 20271 20271 11591 0 -1 1077944320 9691 0 0 0 31 3 0 0 20 0 15 0 407951799 15508242432 9961 33554432000 4194304 4196468 140732028997232 140732028979776 140212862164727 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
/proc/20273/statm: 3786192 9961 3318 1 0 3748377 0
[pid=20273/tid=20274] ppid=20271 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/20273/task/20274/stat : 20274 (java) R 20271 20271 11591 0 -1 4202560 6669 0 0 0 18 2 0 0 20 0 15 0 407951799 15508242432 9961 33554432000 4194304 4196468 140732028997232 140212866397456 140212499464434 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
[pid=20273/tid=20275] ppid=20271 vsize=15144768 memory=13655 CPUtime=0 cores=0,2,4,6
/proc/20273/task/20275/stat : 20275 (java) S 20271 20271 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407951800 15508242432 9961 33554432000 4194304 4196468 140732028997232 140212454427664 140212862174933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
[pid=20273/tid=20276] ppid=20271 vsize=15144768 memory=140179794582352 CPUtime=0 cores=0,2,4,6
/proc/20273/task/20276/stat : 20276 (java) S 20271 20271 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407951800 15508242432 9961 33554432000 4194304 4196468 140732028997232 140212453375120 140212862174933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
[pid=20273/tid=20277] ppid=20271 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20273/task/20277/stat : 20277 (java) S 20271 20271 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407951800 15508242432 9961 33554432000 4194304 4196468 140732028997232 140212452322064 140212862174933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
[pid=20273/tid=20278] ppid=20271 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20273/task/20278/stat : 20278 (java) S 20271 20271 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407951800 15508242432 9961 33554432000 4194304 4196468 140732028997232 140212451269520 140212862174933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
[pid=20273/tid=20279] ppid=20271 vsize=15144768 memory=140179794564736 CPUtime=0 cores=0,2,4,6
/proc/20273/task/20279/stat : 20279 (java) S 20271 20271 11591 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407951801 15508242432 9961 33554432000 4194304 4196468 140732028997232 140211736054000 140212862175874 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
[pid=20273/tid=20280] ppid=20271 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20273/task/20280/stat : 20280 (java) S 20271 20271 11591 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407951801 15508242432 9961 33554432000 4194304 4196468 140732028997232 140211735000224 140212862174933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
[pid=20273/tid=20281] ppid=20271 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20273/task/20281/stat : 20281 (java) S 20271 20271 11591 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407951802 15508242432 9961 33554432000 4194304 4196468 140732028997232 140211733947120 140212862174933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
[pid=20273/tid=20282] ppid=20271 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20273/task/20282/stat : 20282 (java) S 20271 20271 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407951804 15508242432 9961 33554432000 4194304 4196468 140732028997232 140211732895696 140212862183323 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
[pid=20273/tid=20283] ppid=20271 vsize=15144768 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/20273/task/20283/stat : 20283 (java) S 20271 20271 11591 0 -1 1077944384 731 0 0 0 3 0 0 0 20 0 15 0 407951804 15508242432 9961 33554432000 4194304 4196468 140732028997232 140211731843824 140212862175874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
[pid=20273/tid=20284] ppid=20271 vsize=15144768 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/20273/task/20284/stat : 20284 (java) S 20271 20271 11591 0 -1 1077944384 73 0 0 0 2 0 0 0 20 0 15 0 407951804 15508242432 9961 33554432000 4194304 4196468 140732028997232 140211730791280 140212862175874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
[pid=20273/tid=20285] ppid=20271 vsize=15144768 memory=140179794564736 CPUtime=0.08 cores=0,2,4,6
/proc/20273/task/20285/stat : 20285 (java) R 20271 20271 11591 0 -1 4202560 912 0 0 0 8 0 0 0 20 0 15 0 407951804 15508242432 9961 33554432000 4194304 4196468 140732028997232 140211729738224 140212862186074 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
[pid=20273/tid=20286] ppid=20271 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20273/task/20286/stat : 20286 (java) S 20271 20271 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407951804 15508242432 9961 33554432000 4194304 4196468 140732028997232 140211728685920 140212862174933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
[pid=20273/tid=20287] ppid=20271 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20273/task/20287/stat : 20287 (java) S 20271 20271 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407951805 15508242432 9961 33554432000 4194304 4196468 140732028997232 140211727632944 140212862175874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 41296 KiB
[startup+0.311311 s]*
/proc/loadavg: 6.73 8.26 8.08 6/233 20287
/proc/meminfo: memFree=25009604/32770624 swapFree=66952812/67108860
[pid=20271] ppid=20268 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/20271/stat : 20271 (xcsp3-exec) S 20268 20271 11591 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407951798 115843072 363 33554432000 4194304 5098028 140730512630960 140730512629064 139752057913980 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13873152 140730512634746 140730512634989 140730512634989 140730512637898 0
/proc/20271/statm: 28282 363 304 221 0 87 0
[pid=20273] ppid=20271 vsize=15149024 memory=48988 CPUtime=0.52 cores=0,2,4,6
/proc/20273/stat : 20273 (java) S 20271 20271 11591 0 -1 1077944320 11103 0 0 0 49 3 0 0 20 0 15 0 407951799 15512600576 12247 33554432000 4194304 4196468 140732028997232 140732028979776 140212862164727 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
/proc/20273/statm: 3787256 12247 3363 1 0 3748377 0
[pid=20273/tid=20274] ppid=20271 vsize=15149024 memory=8317482817917895235 CPUtime=0.3 cores=0,2,4,6
/proc/20273/task/20274/stat : 20274 (java) R 20271 20271 11591 0 -1 4202560 7781 0 0 0 27 3 0 0 20 0 15 0 407951799 15512600576 12247 33554432000 4194304 4196468 140732028997232 140212866395840 140212846245244 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
[pid=20273/tid=20275] ppid=20271 vsize=15149024 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/20273/task/20275/stat : 20275 (java) S 20271 20271 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407951800 15512600576 12247 33554432000 4194304 4196468 140732028997232 140212454427664 140212862174933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
[pid=20273/tid=20276] ppid=20271 vsize=15149024 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/20273/task/20276/stat : 20276 (java) S 20271 20271 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407951800 15512600576 12247 33554432000 4194304 4196468 140732028997232 140212453375120 140212862174933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
[pid=20273/tid=20277] ppid=20271 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/20273/task/20277/stat : 20277 (java) S 20271 20271 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407951800 15512600576 12247 33554432000 4194304 4196468 140732028997232 140212452322064 140212862174933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
[pid=20273/tid=20278] ppid=20271 vsize=15149024 memory=-4190076264842474805 CPUtime=0 cores=0,2,4,6
/proc/20273/task/20278/stat : 20278 (java) S 20271 20271 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407951800 15512600576 12247 33554432000 4194304 4196468 140732028997232 140212451269520 140212862174933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
[pid=20273/tid=20279] ppid=20271 vsize=15149024 memory=-7089679951452553375 CPUtime=0 cores=0,2,4,6
/proc/20273/task/20279/stat : 20279 (java) S 20271 20271 11591 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407951801 15512600576 12247 33554432000 4194304 4196468 140732028997232 140211736054000 140212862175874 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
[pid=20273/tid=20280] ppid=20271 vsize=15149024 memory=6944656425123485561 CPUtime=0 cores=0,2,4,6
/proc/20273/task/20280/stat : 20280 (java) S 20271 20271 11591 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407951801 15512600576 12247 33554432000 4194304 4196468 140732028997232 140211735000224 140212862174933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
[pid=20273/tid=20281] ppid=20271 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/20273/task/20281/stat : 20281 (java) S 20271 20271 11591 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407951802 15512600576 12247 33554432000 4194304 4196468 140732028997232 140211733947120 140212862174933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
[pid=20273/tid=20282] ppid=20271 vsize=15149024 memory=4627853888499060086 CPUtime=0 cores=0,2,4,6
/proc/20273/task/20282/stat : 20282 (java) S 20271 20271 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407951804 15512600576 12247 33554432000 4194304 4196468 140732028997232 140211732895696 140212862183323 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
[pid=20273/tid=20283] ppid=20271 vsize=15149024 memory=7827413994055111515 CPUtime=0.05 cores=0,2,4,6
/proc/20273/task/20283/stat : 20283 (java) R 20271 20271 11591 0 -1 4202560 849 0 0 0 5 0 0 0 20 0 15 0 407951804 15512600576 12313 33554432000 4194304 4196468 140732028997232 140211731843824 140212839816592 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
[pid=20273/tid=20284] ppid=20271 vsize=15149024 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/20273/task/20284/stat : 20284 (java) R 20271 20271 11591 0 -1 1077944384 95 0 0 0 3 0 0 0 20 0 15 0 407951804 15512600576 12313 33554432000 4194304 4196468 140732028997232 140211730791280 140212862175874 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
[pid=20273/tid=20285] ppid=20271 vsize=15149024 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/20273/task/20285/stat : 20285 (java) R 20271 20271 11591 0 -1 4202560 1085 0 0 0 12 0 0 0 20 0 15 0 407951804 15512600576 12313 33554432000 4194304 4196468 140732028997232 140211729738224 140212862176662 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
[pid=20273/tid=20286] ppid=20271 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20273/task/20286/stat : 20286 (java) S 20271 20271 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407951804 15512600576 12313 33554432000 4194304 4196468 140732028997232 140211728685920 140212862174933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
[pid=20273/tid=20287] ppid=20271 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20273/task/20287/stat : 20287 (java) S 20271 20271 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407951805 15512600576 12313 33554432000 4194304 4196468 140732028997232 140211727632944 140212862175874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 50440 KiB
[startup+0.70154 s]
/proc/loadavg: 6.73 8.26 8.08 8/233 20287
/proc/meminfo: memFree=24993816/32770624 swapFree=66952812/67108860
[pid=20271] ppid=20268 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/20271/stat : 20271 (xcsp3-exec) S 20268 20271 11591 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407951798 115843072 363 33554432000 4194304 5098028 140730512630960 140730512629064 139752057913980 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13873152 140730512634746 140730512634989 140730512634989 140730512637898 0
/proc/20271/statm: 28282 363 304 221 0 87 0
[pid=20273] ppid=20271 vsize=15286332 memory=106056 CPUtime=1.66 cores=0,2,4,6
/proc/20273/stat : 20273 (java) S 20271 20271 11591 0 -1 1077944320 14700 0 0 0 161 5 0 0 20 0 19 0 407951799 15653203968 26514 33554432000 4194304 4196468 140732028997232 140732028979776 140212862164727 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
/proc/20273/statm: 3821583 26514 3458 1 0 3782685 0
[pid=20273/tid=20274] ppid=20271 vsize=15286332 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/20273/task/20274/stat : 20274 (java) S 20271 20271 11591 0 -1 1077944384 8686 0 0 0 64 3 0 0 20 0 19 0 407951799 15653203968 26514 33554432000 4194304 4196468 140732028997232 140212866405504 140212862174933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
[pid=20273/tid=20275] ppid=20271 vsize=15286332 memory=38044 CPUtime=0 cores=0,2,4,6
/proc/20273/task/20275/stat : 20275 (java) S 20271 20271 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 407951800 15653203968 26514 33554432000 4194304 4196468 140732028997232 140212454427664 140212862174933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
[pid=20273/tid=20276] ppid=20271 vsize=15286332 memory=992 CPUtime=0 cores=0,2,4,6
/proc/20273/task/20276/stat : 20276 (java) S 20271 20271 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 407951800 15653203968 26514 33554432000 4194304 4196468 140732028997232 140212453375120 140212862174933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
[pid=20273/tid=20277] ppid=20271 vsize=15286332 memory=2044 CPUtime=0 cores=0,2,4,6
/proc/20273/task/20277/stat : 20277 (java) S 20271 20271 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 407951800 15653203968 26514 33554432000 4194304 4196468 140732028997232 140212452322064 140212862174933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
[pid=20273/tid=20278] ppid=20271 vsize=15286332 memory=1324 CPUtime=0 cores=0,2,4,6
/proc/20273/task/20278/stat : 20278 (java) S 20271 20271 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 407951800 15653203968 26514 33554432000 4194304 4196468 140732028997232 140212451269520 140212862174933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
[pid=20273/tid=20279] ppid=20271 vsize=15286332 memory=11624 CPUtime=0 cores=0,2,4,6
/proc/20273/task/20279/stat : 20279 (java) S 20271 20271 11591 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 407951801 15653203968 26514 33554432000 4194304 4196468 140732028997232 140211736054000 140212862175874 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
[pid=20273/tid=20280] ppid=20271 vsize=15286332 memory=752 CPUtime=0 cores=0,2,4,6
/proc/20273/task/20280/stat : 20280 (java) S 20271 20271 11591 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 407951801 15653203968 26514 33554432000 4194304 4196468 140732028997232 140211735000224 140212862174933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
[pid=20273/tid=20281] ppid=20271 vsize=15286332 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/20273/task/20281/stat : 20281 (java) S 20271 20271 11591 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 407951802 15653203968 26514 33554432000 4194304 4196468 140732028997232 140211733947120 140212862174933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
[pid=20273/tid=20282] ppid=20271 vsize=15286332 memory=1552 CPUtime=0 cores=0,2,4,6
/proc/20273/task/20282/stat : 20282 (java) S 20271 20271 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407951804 15653203968 26514 33554432000 4194304 4196468 140732028997232 140211732895696 140212862183323 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
[pid=20273/tid=20283] ppid=20271 vsize=15286332 memory=944 CPUtime=0.31 cores=0,2,4,6
/proc/20273/task/20283/stat : 20283 (java) R 20271 20271 11591 0 -1 4202560 1485 0 0 0 31 0 0 0 20 0 19 0 407951804 15653203968 26514 33554432000 4194304 4196468 140732028997232 140211731830672 140212843574877 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
[pid=20273/tid=20284] ppid=20271 vsize=15286332 memory=4004 CPUtime=0.28 cores=0,2,4,6
/proc/20273/task/20284/stat : 20284 (java) R 20271 20271 11591 0 -1 4202560 1170 0 0 0 28 0 0 0 20 0 19 0 407951804 15653203968 26514 33554432000 4194304 4196468 140732028997232 140211730777304 140212840056705 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
[pid=20273/tid=20285] ppid=20271 vsize=15286332 memory=780 CPUtime=0.37 cores=0,2,4,6
/proc/20273/task/20285/stat : 20285 (java) R 20271 20271 11591 0 -1 1077944384 1979 0 0 0 37 0 0 0 20 0 19 0 407951804 15653203968 26514 33554432000 4194304 4196468 140732028997232 140211729738224 140212862175874 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
[pid=20273/tid=20286] ppid=20271 vsize=15286332 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/20273/task/20286/stat : 20286 (java) S 20271 20271 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407951804 15653203968 26514 33554432000 4194304 4196468 140732028997232 140211728685920 140212862174933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
[pid=20273/tid=20287] ppid=20271 vsize=15286332 memory=1720 CPUtime=0 cores=0,2,4,6
/proc/20273/task/20287/stat : 20287 (java) S 20271 20271 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 407951805 15653203968 26514 33554432000 4194304 4196468 140732028997232 140211727632944 140212862175874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
Current children cumulated CPU time: 1.66 s
Current children cumulated vsize: 15399460 KiB
Current children cumulated memory: 107508 KiB
[startup+1.50154 s]
/proc/loadavg: 6.73 8.26 8.08 15/237 20291
/proc/meminfo: memFree=24935120/32770624 swapFree=66952812/67108860
[pid=20271] ppid=20268 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/20271/stat : 20271 (xcsp3-exec) S 20268 20271 11591 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407951798 115843072 363 33554432000 4194304 5098028 140730512630960 140730512629064 139752057913980 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13873152 140730512634746 140730512634989 140730512634989 140730512637898 0
/proc/20271/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/20273/task/20287/stat : 20287 (java) S 20271 20271 11591 0 -1 1077944384 614 0 0 0 0 0 0 0 20 0 19 0 407951805 15787421696 51324 33554432000 4194304 4196468 140732028997232 140211727632944 140212862175874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
[pid=20273/tid=20288] ppid=20271 vsize=15417404 memory=1452 CPUtime=24.68 cores=0,2,4,6
/proc/20273/task/20288/stat : 20288 (java) R 20271 20271 11591 0 -1 4202560 309 0 0 0 2468 0 0 0 20 0 19 0 407951868 15787421696 51324 33554432000 4194304 4196468 140732028997232 140211718659656 140212504789625 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
[pid=20273/tid=20289] ppid=20271 vsize=15417404 memory=207336 CPUtime=24.85 cores=0,2,4,6
/proc/20273/task/20289/stat : 20289 (java) R 20271 20271 11591 0 -1 4202560 1026 0 0 0 2485 0 0 0 20 0 19 0 407951868 15787421696 51324 33554432000 4194304 4196468 140732028997232 140211717609824 140212504169026 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
[pid=20273/tid=20290] ppid=20271 vsize=15417404 memory=0 CPUtime=24.48 cores=0,2,4,6
/proc/20273/task/20290/stat : 20290 (java) R 20271 20271 11591 0 -1 4202560 337 0 0 0 2447 1 0 0 20 0 19 0 407951868 15787421696 51324 33554432000 4194304 4196468 140732028997232 140211716554272 140212504720980 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
[pid=20273/tid=20291] ppid=20271 vsize=15417404 memory=0 CPUtime=24.56 cores=0,2,4,6
/proc/20273/task/20291/stat : 20291 (java) R 20271 20271 11591 0 -1 4202560 1034 0 0 0 2456 0 0 0 20 0 19 0 407951868 15787421696 51324 33554432000 4194304 4196468 140732028997232 140211715503240 140212505240353 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
Current children cumulated CPU time: 103.84 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 206748 KiB
[startup+26.8075 s]
/proc/loadavg: 7.38 8.29 8.09 9/237 20295
/proc/meminfo: memFree=24596856/32770624 swapFree=66952812/67108860
[pid=20271] ppid=20268 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/20271/stat : 20271 (xcsp3-exec) S 20268 20271 11591 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407951798 115843072 363 33554432000 4194304 5098028 140730512630960 140730512629064 139752057913980 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13873152 140730512634746 140730512634989 140730512634989 140730512637898 0
/proc/20271/statm: 28282 363 304 221 0 87 0
[pid=20273] ppid=20271 vsize=15417404 memory=205296 CPUtime=105.46 cores=0,2,4,6
/proc/20273/stat : 20273 (java) S 20271 20271 11591 0 -1 1077944320 38752 0 0 0 10533 13 0 0 20 0 19 0 407951799 15787421696 51324 33554432000 4194304 4196468 140732028997232 140732028979776 140212862164727 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
/proc/20273/statm: 3854351 51324 3515 1 0 3815453 0
[pid=20273/tid=20274] ppid=20271 vsize=15417404 memory=14135532779211192 CPUtime=0.67 cores=0,2,4,6
/proc/20273/task/20274/stat : 20274 (java) S 20271 20271 11591 0 -1 1077944384 8686 0 0 0 64 3 0 0 20 0 19 0 407951799 15787421696 51324 33554432000 4194304 4196468 140732028997232 140212866405504 140212862174933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
[pid=20273/tid=20275] ppid=20271 vsize=15417404 memory=780 CPUtime=0.02 cores=0,2,4,6
/proc/20273/task/20275/stat : 20275 (java) S 20271 20271 11591 0 -1 1077944384 483 0 0 0 2 0 0 0 20 0 19 0 407951800 15787421696 51324 33554432000 4194304 4196468 140732028997232 140212454427664 140212862174933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
[pid=20273/tid=20276] ppid=20271 vsize=15417404 memory=2832 CPUtime=0.03 cores=0,2,4,6
/proc/20273/task/20276/stat : 20276 (java) S 20271 20271 11591 0 -1 1077944384 2481 0 0 0 3 0 0 0 20 0 19 0 407951800 15787421696 51324 33554432000 4194304 4196468 140732028997232 140212453375120 140212862174933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
[pid=20273/tid=20277] ppid=20271 vsize=15417404 memory=1720 CPUtime=0.02 cores=0,2,4,6
/proc/20273/task/20277/stat : 20277 (java) S 20271 20271 11591 0 -1 1077944384 133 0 0 0 2 0 0 0 20 0 19 0 407951800 15787421696 51324 33554432000 4194304 4196468 140732028997232 140212452322064 140212862174933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
[pid=20273/tid=20278] ppid=20271 vsize=15417404 memory=1228 CPUtime=0.02 cores=0,2,4,6
/proc/20273/task/20278/stat : 20278 (java) S 20271 20271 11591 0 -1 1077944384 565 0 0 0 2 0 0 0 20 0 19 0 407951800 15787421696 51324 33554432000 4194304 4196468 140732028997232 140212451269520 140212862174933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
[pid=20273/tid=20279] ppid=20271 vsize=15417404 memory=5868 CPUtime=0.01 cores=0,2,4,6
/proc/20273/task/20279/stat : 20279 (java) S 20271 20271 11591 0 -1 1077944384 883 0 0 0 1 0 0 0 20 0 19 0 407951801 15787421696 51324 33554432000 4194304 4196468 140732028997232 140211736054000 140212862175874 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
[pid=20273/tid=20280] ppid=20271 vsize=15417404 memory=14012 CPUtime=0 cores=0,2,4,6
/proc/20273/task/20280/stat : 20280 (java) S 20271 20271 11591 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 19 0 407951801 15787421696 51324 33554432000 4194304 4196468 140732028997232 140211735000288 140212862174933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
[pid=20273/tid=20281] ppid=20271 vsize=15417404 memory=20752 CPUtime=0 cores=0,2,4,6
/proc/20273/task/20281/stat : 20281 (java) S 20271 20271 11591 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 19 0 407951802 15787421696 51324 33554432000 4194304 4196468 140732028997232 140211733947136 140212862174933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
[pid=20273/tid=20282] ppid=20271 vsize=15417404 memory=12024 CPUtime=0 cores=0,2,4,6
/proc/20273/task/20282/stat : 20282 (java) S 20271 20271 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407951804 15787421696 51324 33554432000 4194304 4196468 140732028997232 140211732895696 140212862183323 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
[pid=20273/tid=20283] ppid=20271 vsize=15417404 memory=2120 CPUtime=1.7 cores=0,2,4,6
/proc/20273/task/20283/stat : 20283 (java) S 20271 20271 11591 0 -1 1077944384 7354 0 0 0 170 0 0 0 20 0 19 0 407951804 15787421696 51324 33554432000 4194304 4196468 140732028997232 140211731843824 140212862175874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
[pid=20273/tid=20284] ppid=20271 vsize=15417404 memory=6791534058613427641 CPUtime=2.05 cores=0,2,4,6
/proc/20273/task/20284/stat : 20284 (java) S 20271 20271 11591 0 -1 1077944384 8126 0 0 0 204 1 0 0 20 0 19 0 407951804 15787421696 51324 33554432000 4194304 4196468 140732028997232 140211730791280 140212862175874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
[pid=20273/tid=20285] ppid=20271 vsize=15417404 memory=2900 CPUtime=0.6 cores=0,2,4,6
/proc/20273/task/20285/stat : 20285 (java) S 20271 20271 11591 0 -1 1077944384 5326 0 0 0 60 0 0 0 20 0 19 0 407951804 15787421696 51324 33554432000 4194304 4196468 140732028997232 140211729738224 140212862175874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
[pid=20273/tid=20286] ppid=20271 vsize=15417404 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/20273/task/20286/stat : 20286 (java) S 20271 20271 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407951804 15787421696 51324 33554432000 4194304 4196468 140732028997232 140211728685920 140212862174933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
[pid=20273/tid=20287] ppid=20271 vsize=15417404 memory=280359359822464 CPUtime=0 cores=0,2,4,6
/proc/20273/task/20287/stat : 20287 (java) S 20271 20271 11591 0 -1 1077944384 614 0 0 0 0 0 0 0 20 0 19 0 407951805 15787421696 51324 33554432000 4194304 4196468 140732028997232 140211727632944 140212862175874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
[pid=20273/tid=20288] ppid=20271 vsize=15417404 memory=8747226831578988619 CPUtime=25.09 cores=0,2,4,6
/proc/20273/task/20288/stat : 20288 (java) R 20271 20271 11591 0 -1 4202560 309 0 0 0 2509 0 0 0 20 0 19 0 407951868 15787421696 51324 33554432000 4194304 4196468 140732028997232 140211718659656 140212505598457 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
[pid=20273/tid=20289] ppid=20271 vsize=15417404 memory=288291060617327018 CPUtime=25.25 cores=0,2,4,6
/proc/20273/task/20289/stat : 20289 (java) R 20271 20271 11591 0 -1 4202560 1026 0 0 0 2525 0 0 0 20 0 19 0 407951868 15787421696 51324 33554432000 4194304 4196468 140732028997232 140211717609824 140212504024147 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
[pid=20273/tid=20290] ppid=20271 vsize=15417404 memory=4051041947887095807 CPUtime=24.88 cores=0,2,4,6
/proc/20273/task/20290/stat : 20290 (java) R 20271 20271 11591 0 -1 4202560 337 0 0 0 2487 1 0 0 20 0 19 0 407951868 15787421696 51324 33554432000 4194304 4196468 140732028997232 140211716554272 140212505240994 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
[pid=20273/tid=20291] ppid=20271 vsize=15417404 memory=6655300316396806240 CPUtime=24.96 cores=0,2,4,6
/proc/20273/task/20291/stat : 20291 (java) R 20271 20271 11591 0 -1 4202560 1034 0 0 0 2496 0 0 0 20 0 19 0 407951868 15787421696 51324 33554432000 4194304 4196468 140732028997232 140211715503240 140212504789592 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
Current children cumulated CPU time: 105.46 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 206748 KiB
[startup+27.2015 s]
/proc/loadavg: 7.38 8.29 8.09 9/237 20295
/proc/meminfo: memFree=24596860/32770624 swapFree=66952812/67108860
[pid=20271] ppid=20268 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/20271/stat : 20271 (xcsp3-exec) S 20268 20271 11591 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407951798 115843072 363 33554432000 4194304 5098028 140730512630960 140730512629064 139752057913980 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13873152 140730512634746 140730512634989 140730512634989 140730512637898 0
/proc/20271/statm: 28282 363 304 221 0 87 0
[pid=20273] ppid=20271 vsize=15417404 memory=205296 CPUtime=107.02 cores=0,2,4,6
/proc/20273/stat : 20273 (java) S 20271 20271 11591 0 -1 1077944320 38753 0 0 0 10689 13 0 0 20 0 19 0 407951799 15787421696 51324 33554432000 4194304 4196468 140732028997232 140732028979776 140212862164727 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
/proc/20273/statm: 3854351 51324 3515 1 0 3815453 0
[pid=20273/tid=20274] ppid=20271 vsize=15417404 memory=202764 CPUtime=0.67 cores=0,2,4,6
/proc/20273/task/20274/stat : 20274 (java) S 20271 20271 11591 0 -1 1077944384 8686 0 0 0 64 3 0 0 20 0 19 0 407951799 15787421696 51324 33554432000 4194304 4196468 140732028997232 140212866405504 140212862174933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
[pid=20273/tid=20275] ppid=20271 vsize=15417404 memory=16195373496 CPUtime=0.02 cores=0,2,4,6
/proc/20273/task/20275/stat : 20275 (java) S 20271 20271 11591 0 -1 1077944384 483 0 0 0 2 0 0 0 20 0 19 0 407951800 15787421696 51324 33554432000 4194304 4196468 140732028997232 140212454427664 140212862174933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
[pid=20273/tid=20276] ppid=20271 vsize=15417404 memory=16195373497 CPUtime=0.03 cores=0,2,4,6
/proc/20273/task/20276/stat : 20276 (java) S 20271 20271 11591 0 -1 1077944384 2481 0 0 0 3 0 0 0 20 0 19 0 407951800 15787421696 51324 33554432000 4194304 4196468 140732028997232 140212453375120 140212862174933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
[pid=20273/tid=20277] ppid=20271 vsize=15417404 memory=992 CPUtime=0.02 cores=0,2,4,6
/proc/20273/task/20277/stat : 20277 (java) S 20271 20271 11591 0 -1 1077944384 133 0 0 0 2 0 0 0 20 0 19 0 407951800 15787421696 51324 33554432000 4194304 4196468 140732028997232 140212452322064 140212862174933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
[pid=20273/tid=20278] ppid=20271 vsize=15417404 memory=2044 CPUtime=0.02 cores=0,2,4,6
/proc/20273/task/20278/stat : 20278 (java) S 20271 20271 11591 0 -1 1077944384 565 0 0 0 2 0 0 0 20 0 19 0 407951800 15787421696 51324 33554432000 4194304 4196468 140732028997232 140212451269520 140212862174933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
[pid=20273/tid=20279] ppid=20271 vsize=15417404 memory=1324 CPUtime=0.01 cores=0,2,4,6
/proc/20273/task/20279/stat : 20279 (java) S 20271 20271 11591 0 -1 1077944384 883 0 0 0 1 0 0 0 20 0 19 0 407951801 15787421696 51324 33554432000 4194304 4196468 140732028997232 140211736054000 140212862175874 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
[pid=20273/tid=20280] ppid=20271 vsize=15417404 memory=11624 CPUtime=0 cores=0,2,4,6
/proc/20273/task/20280/stat : 20280 (java) S 20271 20271 11591 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 19 0 407951801 15787421696 51324 33554432000 4194304 4196468 140732028997232 140211735000288 140212862174933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
[pid=20273/tid=20281] ppid=20271 vsize=15417404 memory=752 CPUtime=0 cores=0,2,4,6
/proc/20273/task/20281/stat : 20281 (java) S 20271 20271 11591 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 19 0 407951802 15787421696 51324 33554432000 4194304 4196468 140732028997232 140211733947136 140212862174933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
[pid=20273/tid=20282] ppid=20271 vsize=15417404 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20273/task/20282/stat : 20282 (java) S 20271 20271 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407951804 15787421696 51324 33554432000 4194304 4196468 140732028997232 140211732895696 140212862183323 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
[pid=20273/tid=20283] ppid=20271 vsize=15417404 memory=7733070158480370278 CPUtime=1.7 cores=0,2,4,6
/proc/20273/task/20283/stat : 20283 (java) S 20271 20271 11591 0 -1 1077944384 7354 0 0 0 170 0 0 0 20 0 19 0 407951804 15787421696 51324 33554432000 4194304 4196468 140732028997232 140211731843824 140212862175874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
[pid=20273/tid=20284] ppid=20271 vsize=15417404 memory=5864344684052768359 CPUtime=2.05 cores=0,2,4,6
/proc/20273/task/20284/stat : 20284 (java) S 20271 20271 11591 0 -1 1077944384 8126 0 0 0 204 1 0 0 20 0 19 0 407951804 15787421696 51324 33554432000 4194304 4196468 140732028997232 140211730791280 140212862175874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
[pid=20273/tid=20285] ppid=20271 vsize=15417404 memory=6083045204492510570 CPUtime=0.6 cores=0,2,4,6
/proc/20273/task/20285/stat : 20285 (java) S 20271 20271 11591 0 -1 1077944384 5326 0 0 0 60 0 0 0 20 0 19 0 407951804 15787421696 51324 33554432000 4194304 4196468 140732028997232 140211729738224 140212862175874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
[pid=20273/tid=20286] ppid=20271 vsize=15417404 memory=7733070158480370278 CPUtime=0 cores=0,2,4,6
/proc/20273/task/20286/stat : 20286 (java) S 20271 20271 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407951804 15787421696 51324 33554432000 4194304 4196468 140732028997232 140211728685920 140212862174933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
[pid=20273/tid=20287] ppid=20271 vsize=15417404 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20273/task/20287/stat : 20287 (java) S 20271 20271 11591 0 -1 1077944384 614 0 0 0 0 0 0 0 20 0 19 0 407951805 15787421696 51324 33554432000 4194304 4196468 140732028997232 140211727632944 140212862175874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
[pid=20273/tid=20288] ppid=20271 vsize=15417404 memory=-7606742959547834223 CPUtime=25.48 cores=0,2,4,6
/proc/20273/task/20288/stat : 20288 (java) R 20271 20271 11591 0 -1 4202560 309 0 0 0 2548 0 0 0 20 0 19 0 407951868 15787421696 51324 33554432000 4194304 4196468 140732028997232 140211718659656 140212504789606 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
[pid=20273/tid=20289] ppid=20271 vsize=15417404 memory=7008456647201808081 CPUtime=25.65 cores=0,2,4,6
/proc/20273/task/20289/stat : 20289 (java) R 20271 20271 11591 0 -1 4202560 1026 0 0 0 2565 0 0 0 20 0 19 0 407951868 15787421696 51324 33554432000 4194304 4196468 140732028997232 140211717609824 140212505293790 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
[pid=20273/tid=20290] ppid=20271 vsize=15417404 memory=-6876588461455810464 CPUtime=25.26 cores=0,2,4,6
/proc/20273/task/20290/stat : 20290 (java) R 20271 20271 11591 0 -1 4202560 337 0 0 0 2525 1 0 0 20 0 19 0 407951868 15787421696 51324 33554432000 4194304 4196468 140732028997232 140211716554272 140212504721177 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
[pid=20273/tid=20291] ppid=20271 vsize=15417404 memory=3472328296227687825 CPUtime=25.36 cores=0,2,4,6
/proc/20273/task/20291/stat : 20291 (java) R 20271 20271 11591 0 -1 4202560 1035 0 0 0 2536 0 0 0 20 0 19 0 407951868 15787421696 51324 33554432000 4194304 4196468 140732028997232 140211715503240 140212505292254 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
Current children cumulated CPU time: 107.02 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 206748 KiB
[startup+27.3015 s]
/proc/loadavg: 7.38 8.29 8.09 9/237 20295
/proc/meminfo: memFree=24596860/32770624 swapFree=66952812/67108860
[pid=20271] ppid=20268 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/20271/stat : 20271 (xcsp3-exec) S 20268 20271 11591 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407951798 115843072 363 33554432000 4194304 5098028 140730512630960 140730512629064 139752057913980 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13873152 140730512634746 140730512634989 140730512634989 140730512637898 0
/proc/20271/statm: 28282 363 304 221 0 87 0
[pid=20273] ppid=20271 vsize=15417404 memory=205296 CPUtime=107.42 cores=0,2,4,6
/proc/20273/stat : 20273 (java) S 20271 20271 11591 0 -1 1077944320 38753 0 0 0 10729 13 0 0 20 0 19 0 407951799 15787421696 51324 33554432000 4194304 4196468 140732028997232 140732028979776 140212862164727 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
/proc/20273/statm: 3854351 51324 3515 1 0 3815453 0
[pid=20273/tid=20274] ppid=20271 vsize=15417404 memory=205296 CPUtime=0.67 cores=0,2,4,6
/proc/20273/task/20274/stat : 20274 (java) S 20271 20271 11591 0 -1 1077944384 8686 0 0 0 64 3 0 0 20 0 19 0 407951799 15787421696 51324 33554432000 4194304 4196468 140732028997232 140212866405504 140212862174933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
[pid=20273/tid=20275] ppid=20271 vsize=15417404 memory=207336 CPUtime=0.02 cores=0,2,4,6
/proc/20273/task/20275/stat : 20275 (java) S 20271 20271 11591 0 -1 1077944384 483 0 0 0 2 0 0 0 20 0 19 0 407951800 15787421696 51324 33554432000 4194304 4196468 140732028997232 140212454427664 140212862174933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
[pid=20273/tid=20276] ppid=20271 vsize=15417404 memory=205296 CPUtime=0.03 cores=0,2,4,6
/proc/20273/task/20276/stat : 20276 (java) S 20271 20271 11591 0 -1 1077944384 2481 0 0 0 3 0 0 0 20 0 19 0 407951800 15787421696 51324 33554432000 4194304 4196468 140732028997232 140212453375120 140212862174933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
[pid=20273/tid=20277] ppid=20271 vsize=15417404 memory=60 CPUtime=0.02 cores=0,2,4,6
/proc/20273/task/20277/stat : 20277 (java) S 20271 20271 11591 0 -1 1077944384 133 0 0 0 2 0 0 0 20 0 19 0 407951800 15787421696 51324 33554432000 4194304 4196468 140732028997232 140212452322064 140212862174933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
[pid=20273/tid=20278] ppid=20271 vsize=15417404 memory=205296 CPUtime=0.02 cores=0,2,4,6
/proc/20273/task/20278/stat : 20278 (java) S 20271 20271 11591 0 -1 1077944384 565 0 0 0 2 0 0 0 20 0 19 0 407951800 15787421696 51324 33554432000 4194304 4196468 140732028997232 140212451269520 140212862174933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
[pid=20273/tid=20279] ppid=20271 vsize=15417404 memory=207336 CPUtime=0.01 cores=0,2,4,6
/proc/20273/task/20279/stat : 20279 (java) S 20271 20271 11591 0 -1 1077944384 883 0 0 0 1 0 0 0 20 0 19 0 407951801 15787421696 51324 33554432000 4194304 4196468 140732028997232 140211736054000 140212862175874 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
[pid=20273/tid=20280] ppid=20271 vsize=15417404 memory=205296 CPUtime=0 cores=0,2,4,6
/proc/20273/task/20280/stat : 20280 (java) S 20271 20271 11591 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 19 0 407951801 15787421696 51324 33554432000 4194304 4196468 140732028997232 140211735000288 140212862174933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
[pid=20273/tid=20281] ppid=20271 vsize=15417404 memory=2090 CPUtime=0 cores=0,2,4,6
/proc/20273/task/20281/stat : 20281 (java) S 20271 20271 11591 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 19 0 407951802 15787421696 51324 33554432000 4194304 4196468 140732028997232 140211733947136 140212862174933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
[pid=20273/tid=20282] ppid=20271 vsize=15417404 memory=3612 CPUtime=0 cores=0,2,4,6
/proc/20273/task/20282/stat : 20282 (java) S 20271 20271 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407951804 15787421696 51324 33554432000 4194304 4196468 140732028997232 140211732895696 140212862183323 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
[pid=20273/tid=20283] ppid=20271 vsize=15417404 memory=38044 CPUtime=1.7 cores=0,2,4,6
/proc/20273/task/20283/stat : 20283 (java) S 20271 20271 11591 0 -1 1077944384 7354 0 0 0 170 0 0 0 20 0 19 0 407951804 15787421696 51324 33554432000 4194304 4196468 140732028997232 140211731843824 140212862175874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
[pid=20273/tid=20284] ppid=20271 vsize=15417404 memory=6791534058613427641 CPUtime=2.05 cores=0,2,4,6
/proc/20273/task/20284/stat : 20284 (java) S 20271 20271 11591 0 -1 1077944384 8126 0 0 0 204 1 0 0 20 0 19 0 407951804 15787421696 51324 33554432000 4194304 4196468 140732028997232 140211730791280 140212862175874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
[pid=20273/tid=20285] ppid=20271 vsize=15417404 memory=7666361774359341925 CPUtime=0.6 cores=0,2,4,6
/proc/20273/task/20285/stat : 20285 (java) S 20271 20271 11591 0 -1 1077944384 5326 0 0 0 60 0 0 0 20 0 19 0 407951804 15787421696 51324 33554432000 4194304 4196468 140732028997232 140211729738224 140212862175874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
[pid=20273/tid=20286] ppid=20271 vsize=15417404 memory=7666650941238503274 CPUtime=0 cores=0,2,4,6
/proc/20273/task/20286/stat : 20286 (java) S 20271 20271 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407951804 15787421696 51324 33554432000 4194304 4196468 140732028997232 140211728685920 140212862174933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
[pid=20273/tid=20287] ppid=20271 vsize=15417404 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/20273/task/20287/stat : 20287 (java) S 20271 20271 11591 0 -1 1077944384 614 0 0 0 0 0 0 0 20 0 19 0 407951805 15787421696 51324 33554432000 4194304 4196468 140732028997232 140211727632944 140212862175874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
[pid=20273/tid=20288] ppid=20271 vsize=15417404 memory=207336 CPUtime=25.58 cores=0,2,4,6
/proc/20273/task/20288/stat : 20288 (java) R 20271 20271 11591 0 -1 4202560 309 0 0 0 2558 0 0 0 20 0 19 0 407951868 15787421696 51324 33554432000 4194304 4196468 140732028997232 140211718659656 140212505240121 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
[pid=20273/tid=20289] ppid=20271 vsize=15417404 memory=-7605864313038226846 CPUtime=25.75 cores=0,2,4,6
/proc/20273/task/20289/stat : 20289 (java) R 20271 20271 11591 0 -1 4202560 1026 0 0 0 2575 0 0 0 20 0 19 0 407951868 15787421696 51324 33554432000 4194304 4196468 140732028997232 140211717609824 140212504721057 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
[pid=20273/tid=20290] ppid=20271 vsize=15417404 memory=417 CPUtime=25.36 cores=0,2,4,6
/proc/20273/task/20290/stat : 20290 (java) R 20271 20271 11591 0 -1 4202560 337 0 0 0 2535 1 0 0 20 0 19 0 407951868 15787421696 51324 33554432000 4194304 4196468 140732028997232 140211716554272 140212504720861 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
[pid=20273/tid=20291] ppid=20271 vsize=15417404 memory=-7533522213388100735 CPUtime=25.46 cores=0,2,4,6
/proc/20273/task/20291/stat : 20291 (java) R 20271 20271 11591 0 -1 4202560 1035 0 0 0 2546 0 0 0 20 0 19 0 407951868 15787421696 51324 33554432000 4194304 4196468 140732028997232 140211715503240 140212506219356 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11702272 140732029002735 140732029002906 140732029002906 140732029005775 0
Current children cumulated CPU time: 107.42 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 206748 KiB
Child status: 0
Real time (s): 27.3528
CPU time (s): 107.576
CPU user time (s): 107.432
CPU system time (s): 0.143375
CPU usage (%): 393.289
Max. virtual memory (cumulated for all children) (KiB): 15530532
Max. memory (cumulated for all children) (KiB): 212756
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 107.432
system time used= 0.143375
maximum resident set size= 211452
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40050
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= 2854
involuntary context switches= 2771
# summary of solver processes directly reported to runsolver:
# pid: 20271
# total CPU time (s): 107.576
# total CPU user time (s): 107.432
# total CPU system time (s): 0.143375
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.186372 second user time and 0.348302 second system time
The end