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 (6329 MiB free)
memory of node 1: 16384 MiB (8655 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403793-1568991473/watcher-4403793-1568991473 -o /var/tmp/evaluation-result-4403793-1568991473/solver-4403793-1568991473 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node121-1568988421-6087 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 57365329 HOME/instance-4403793-1568991473.xml
running on 4 cores: 1,3,5,7
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=9774, runsolver pid=9771
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 8.47 8.44 8.03 7/233 9790
/proc/meminfo: memFree=15327164/32770624 swapFree=66988744/67108860
[pid=9774] ppid=9771 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/9774/stat : 9774 (xcsp3-exec) S 9771 9774 6055 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475409892 115843072 364 33554432000 4194304 5098028 140725298727136 140725298725240 139761311855228 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40210432 140725298733912 140725298734169 140725298734169 140725298737094 0
/proc/9774/statm: 28282 364 305 221 0 87 0
[pid=9776] ppid=9774 vsize=15144776 memory=29900 CPUtime=0.12 cores=1,3,5,7
/proc/9776/stat : 9776 (java) S 9774 9774 6055 0 -1 1077944320 5889 0 0 0 11 1 0 0 20 0 15 0 475409892 15508250624 7475 33554432000 4194304 4196468 140734465942352 140734465924896 140037364731639 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
/proc/9776/statm: 3786194 7475 3155 1 0 3748377 0
[pid=9776/tid=9777] ppid=9774 vsize=15144776 memory=-8895323862916359523 CPUtime=0.08 cores=1,3,5,7
/proc/9776/task/9777/stat : 9777 (java) R 9774 9774 6055 0 -1 4202560 3838 0 0 0 8 0 0 0 20 0 15 0 475409892 15508250624 7475 33554432000 4194304 4196468 140734465942352 140037368970880 140037364753565 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
[pid=9776/tid=9778] ppid=9774 vsize=15144776 memory=3472467908526499024 CPUtime=0 cores=1,3,5,7
/proc/9776/task/9778/stat : 9778 (java) S 9774 9774 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475409893 15508250624 7475 33554432000 4194304 4196468 140734465942352 140037276388496 140037364741845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
[pid=9776/tid=9779] ppid=9774 vsize=15144776 memory=139779631347328 CPUtime=0 cores=1,3,5,7
/proc/9776/task/9779/stat : 9779 (java) S 9774 9774 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475409893 15508250624 7475 33554432000 4194304 4196468 140734465942352 140036955696144 140037364741845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
[pid=9776/tid=9780] ppid=9774 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9776/task/9780/stat : 9780 (java) S 9774 9774 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475409893 15508250624 7475 33554432000 4194304 4196468 140734465942352 140036954643344 140037364741845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
[pid=9776/tid=9781] ppid=9774 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9776/task/9781/stat : 9781 (java) S 9774 9774 6055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475409893 15508250624 7475 33554432000 4194304 4196468 140734465942352 140036953590544 140037364741845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
[pid=9776/tid=9782] ppid=9774 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9776/task/9782/stat : 9782 (java) S 9774 9774 6055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475409894 15508250624 7475 33554432000 4194304 4196468 140734465942352 140036833278320 140037364742786 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
[pid=9776/tid=9783] ppid=9774 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9776/task/9783/stat : 9783 (java) S 9774 9774 6055 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475409895 15508250624 7475 33554432000 4194304 4196468 140734465942352 140036832224288 140037364741845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
[pid=9776/tid=9784] ppid=9774 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9776/task/9784/stat : 9784 (java) S 9774 9774 6055 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475409895 15508250624 7475 33554432000 4194304 4196468 140734465942352 140036831171440 140037364741845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
[pid=9776/tid=9785] ppid=9774 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9776/task/9785/stat : 9785 (java) S 9774 9774 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475409897 15508250624 7475 33554432000 4194304 4196468 140734465942352 140036830119760 140037364750235 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
[pid=9776/tid=9786] ppid=9774 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9776/task/9786/stat : 9786 (java) R 9774 9774 6055 0 -1 4202560 454 0 0 0 0 0 0 0 20 0 15 0 475409898 15508250624 7475 33554432000 4194304 4196468 140734465942352 140036829059648 140037357838259 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
[pid=9776/tid=9787] ppid=9774 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9776/task/9787/stat : 9787 (java) R 9774 9774 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475409898 15508250624 7475 33554432000 4194304 4196468 140734465942352 140036828015440 140037364741845 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
[pid=9776/tid=9788] ppid=9774 vsize=15144776 memory=139779631347328 CPUtime=0.02 cores=1,3,5,7
/proc/9776/task/9788/stat : 9788 (java) R 9774 9774 6055 0 -1 4202560 330 0 0 0 2 0 0 0 20 0 15 0 475409898 15508250624 7475 33554432000 4194304 4196468 140734465942352 140036826962544 140037344698758 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
[pid=9776/tid=9789] ppid=9774 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9776/task/9789/stat : 9789 (java) S 9774 9774 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475409898 15508250624 7475 33554432000 4194304 4196468 140734465942352 140036825909984 140037364741845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
[pid=9776/tid=9790] ppid=9774 vsize=15144776 memory=139779631347328 CPUtime=0 cores=1,3,5,7
/proc/9776/task/9790/stat : 9790 (java) S 9774 9774 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475409898 15508250624 7475 33554432000 4194304 4196468 140734465942352 140036824857264 140037364742786 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31356 KiB
[startup+0.210709 s]*
/proc/loadavg: 8.47 8.44 8.03 7/233 9790
/proc/meminfo: memFree=15313948/32770624 swapFree=66988744/67108860
[pid=9774] ppid=9771 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/9774/stat : 9774 (xcsp3-exec) S 9771 9774 6055 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475409892 115843072 364 33554432000 4194304 5098028 140725298727136 140725298725240 139761311855228 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40210432 140725298733912 140725298734169 140725298734169 140725298737094 0
/proc/9774/statm: 28282 364 305 221 0 87 0
[pid=9776] ppid=9774 vsize=15144776 memory=41308 CPUtime=0.34 cores=1,3,5,7
/proc/9776/stat : 9776 (java) S 9774 9774 6055 0 -1 1077944320 9518 0 0 0 31 3 0 0 20 0 15 0 475409892 15508250624 10327 33554432000 4194304 4196468 140734465942352 140734465924896 140037364731639 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
/proc/9776/statm: 3786194 10327 3305 1 0 3748377 0
[pid=9776/tid=9777] ppid=9774 vsize=15144776 memory=-8895323862916359523 CPUtime=0.2 cores=1,3,5,7
/proc/9776/task/9777/stat : 9777 (java) R 9774 9774 6055 0 -1 4202560 6673 0 0 0 18 2 0 0 20 0 15 0 475409892 15508250624 10327 33554432000 4194304 4196468 140734465942352 140037368961360 140037364743574 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
[pid=9776/tid=9778] ppid=9774 vsize=15144776 memory=3472467908526499024 CPUtime=0 cores=1,3,5,7
/proc/9776/task/9778/stat : 9778 (java) S 9774 9774 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475409893 15508250624 10327 33554432000 4194304 4196468 140734465942352 140037276388496 140037364741845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
[pid=9776/tid=9779] ppid=9774 vsize=15144776 memory=139779631347328 CPUtime=0 cores=1,3,5,7
/proc/9776/task/9779/stat : 9779 (java) S 9774 9774 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475409893 15508250624 10327 33554432000 4194304 4196468 140734465942352 140036955696144 140037364741845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
[pid=9776/tid=9780] ppid=9774 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9776/task/9780/stat : 9780 (java) S 9774 9774 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475409893 15508250624 10327 33554432000 4194304 4196468 140734465942352 140036954643344 140037364741845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
[pid=9776/tid=9781] ppid=9774 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9776/task/9781/stat : 9781 (java) S 9774 9774 6055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475409893 15508250624 10327 33554432000 4194304 4196468 140734465942352 140036953590544 140037364741845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
[pid=9776/tid=9782] ppid=9774 vsize=15144776 memory=139779631347328 CPUtime=0 cores=1,3,5,7
/proc/9776/task/9782/stat : 9782 (java) S 9774 9774 6055 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475409894 15508250624 10327 33554432000 4194304 4196468 140734465942352 140036833278320 140037364742786 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
[pid=9776/tid=9783] ppid=9774 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9776/task/9783/stat : 9783 (java) S 9774 9774 6055 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475409895 15508250624 10327 33554432000 4194304 4196468 140734465942352 140036832224288 140037364741845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
[pid=9776/tid=9784] ppid=9774 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9776/task/9784/stat : 9784 (java) S 9774 9774 6055 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475409895 15508250624 10327 33554432000 4194304 4196468 140734465942352 140036831171440 140037364741845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
[pid=9776/tid=9785] ppid=9774 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9776/task/9785/stat : 9785 (java) S 9774 9774 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475409897 15508250624 10327 33554432000 4194304 4196468 140734465942352 140036830119760 140037364750235 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
[pid=9776/tid=9786] ppid=9774 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/9776/task/9786/stat : 9786 (java) S 9774 9774 6055 0 -1 1077944384 553 0 0 0 2 0 0 0 20 0 15 0 475409898 15508250624 10327 33554432000 4194304 4196468 140734465942352 140036829068144 140037364742786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
[pid=9776/tid=9787] ppid=9774 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/9776/task/9787/stat : 9787 (java) S 9774 9774 6055 0 -1 1077944384 256 0 0 0 2 0 0 0 20 0 15 0 475409898 15508250624 10327 33554432000 4194304 4196468 140734465942352 140036828015344 140037364742786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
[pid=9776/tid=9788] ppid=9774 vsize=15144776 memory=139779631347328 CPUtime=0.08 cores=1,3,5,7
/proc/9776/task/9788/stat : 9788 (java) R 9774 9774 6055 0 -1 4202560 728 0 0 0 8 0 0 0 20 0 15 0 475409898 15508250624 10327 33554432000 4194304 4196468 140734465942352 140036826962544 140037348991522 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
[pid=9776/tid=9789] ppid=9774 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9776/task/9789/stat : 9789 (java) S 9774 9774 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475409898 15508250624 10327 33554432000 4194304 4196468 140734465942352 140036825909984 140037364741845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
[pid=9776/tid=9790] ppid=9774 vsize=15144776 memory=139779631347328 CPUtime=0 cores=1,3,5,7
/proc/9776/task/9790/stat : 9790 (java) S 9774 9774 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475409898 15508250624 10327 33554432000 4194304 4196468 140734465942352 140036824857264 140037364742786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42764 KiB
[startup+0.310668 s]*
/proc/loadavg: 8.47 8.44 8.03 7/233 9790
/proc/meminfo: memFree=15294344/32770624 swapFree=66988744/67108860
[pid=9774] ppid=9771 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/9774/stat : 9774 (xcsp3-exec) S 9771 9774 6055 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475409892 115843072 364 33554432000 4194304 5098028 140725298727136 140725298725240 139761311855228 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40210432 140725298733912 140725298734169 140725298734169 140725298737094 0
/proc/9774/statm: 28282 364 305 221 0 87 0
[pid=9776] ppid=9774 vsize=15149032 memory=49872 CPUtime=0.52 cores=1,3,5,7
/proc/9776/stat : 9776 (java) S 9774 9774 6055 0 -1 1077944320 10776 0 0 0 48 4 0 0 20 0 15 0 475409892 15512608768 12468 33554432000 4194304 4196468 140734465942352 140734465924896 140037364731639 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
/proc/9776/statm: 3787258 12468 3368 1 0 3748377 0
[pid=9776/tid=9777] ppid=9774 vsize=15149032 memory=-8094235084319000145 CPUtime=0.3 cores=1,3,5,7
/proc/9776/task/9777/stat : 9777 (java) R 9774 9774 6055 0 -1 4202560 7828 0 0 0 27 3 0 0 20 0 15 0 475409892 15512608768 12468 33554432000 4194304 4196468 140734465942352 140037368962752 140037364753565 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
[pid=9776/tid=9778] ppid=9774 vsize=15149032 memory=3472467908526499024 CPUtime=0 cores=1,3,5,7
/proc/9776/task/9778/stat : 9778 (java) S 9774 9774 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475409893 15512608768 12468 33554432000 4194304 4196468 140734465942352 140037276388496 140037364741845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
[pid=9776/tid=9779] ppid=9774 vsize=15149032 memory=279559140780416 CPUtime=0 cores=1,3,5,7
/proc/9776/task/9779/stat : 9779 (java) S 9774 9774 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475409893 15512608768 12468 33554432000 4194304 4196468 140734465942352 140036955696144 140037364741845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
[pid=9776/tid=9780] ppid=9774 vsize=15149032 memory=279559018898464 CPUtime=0 cores=1,3,5,7
/proc/9776/task/9780/stat : 9780 (java) S 9774 9774 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475409893 15512608768 12468 33554432000 4194304 4196468 140734465942352 140036954643344 140037364741845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
[pid=9776/tid=9781] ppid=9774 vsize=15149032 memory=139779509433103 CPUtime=0 cores=1,3,5,7
/proc/9776/task/9781/stat : 9781 (java) S 9774 9774 6055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475409893 15512608768 12468 33554432000 4194304 4196468 140734465942352 140036953590544 140037364741845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
[pid=9776/tid=9782] ppid=9774 vsize=15149032 memory=279559140787328 CPUtime=0 cores=1,3,5,7
/proc/9776/task/9782/stat : 9782 (java) S 9774 9774 6055 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475409894 15512608768 12468 33554432000 4194304 4196468 140734465942352 140036833278320 140037364742786 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
[pid=9776/tid=9783] ppid=9774 vsize=15149032 memory=139779509437711 CPUtime=0 cores=1,3,5,7
/proc/9776/task/9783/stat : 9783 (java) S 9774 9774 6055 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475409895 15512608768 12533 33554432000 4194304 4196468 140734465942352 140036832224288 140037364741845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
[pid=9776/tid=9784] ppid=9774 vsize=15149032 memory=139779509446103 CPUtime=0 cores=1,3,5,7
/proc/9776/task/9784/stat : 9784 (java) S 9774 9774 6055 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475409895 15512608768 12533 33554432000 4194304 4196468 140734465942352 140036831171440 140037364741845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
[pid=9776/tid=9785] ppid=9774 vsize=15149032 memory=139779509451841 CPUtime=0 cores=1,3,5,7
/proc/9776/task/9785/stat : 9785 (java) S 9774 9774 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475409897 15512608768 12533 33554432000 4194304 4196468 140734465942352 140036830119760 140037364750235 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
[pid=9776/tid=9786] ppid=9774 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/9776/task/9786/stat : 9786 (java) S 9774 9774 6055 0 -1 1077944384 559 0 0 0 4 0 0 0 20 0 15 0 475409898 15512608768 12533 33554432000 4194304 4196468 140734465942352 140036829068144 140037364742786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
[pid=9776/tid=9787] ppid=9774 vsize=15149032 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/9776/task/9787/stat : 9787 (java) S 9774 9774 6055 0 -1 1077944384 268 0 0 0 3 0 0 0 20 0 15 0 475409898 15512608768 12533 33554432000 4194304 4196468 140734465942352 140036828015344 140037364742786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
[pid=9776/tid=9788] ppid=9774 vsize=15149032 memory=139779631347328 CPUtime=0.13 cores=1,3,5,7
/proc/9776/task/9788/stat : 9788 (java) S 9774 9774 6055 0 -1 1077944384 819 0 0 0 13 0 0 0 20 0 15 0 475409898 15512608768 12537 33554432000 4194304 4196468 140734465942352 140036826962544 140037364742786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
[pid=9776/tid=9789] ppid=9774 vsize=15149032 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9776/task/9789/stat : 9789 (java) S 9774 9774 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475409898 15512608768 12537 33554432000 4194304 4196468 140734465942352 140036825909984 140037364741845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
[pid=9776/tid=9790] ppid=9774 vsize=15149032 memory=139779631348784 CPUtime=0 cores=1,3,5,7
/proc/9776/task/9790/stat : 9790 (java) S 9774 9774 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475409898 15512608768 12537 33554432000 4194304 4196468 140734465942352 140036824857264 140037364742786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51328 KiB
[startup+0.734765 s]*
/proc/loadavg: 8.47 8.44 8.03 7/233 9790
/proc/meminfo: memFree=15301304/32770624 swapFree=66988744/67108860
[pid=9774] ppid=9771 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/9774/stat : 9774 (xcsp3-exec) S 9771 9774 6055 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475409892 115843072 364 33554432000 4194304 5098028 140725298727136 140725298725240 139761311855228 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40210432 140725298733912 140725298734169 140725298734169 140725298737094 0
/proc/9774/statm: 28282 364 305 221 0 87 0
[pid=9776] ppid=9774 vsize=15151156 memory=55792 CPUtime=0.75 cores=1,3,5,7
/proc/9776/stat : 9776 (java) S 9774 9774 6055 0 -1 1077944320 11765 0 0 0 71 4 0 0 20 0 15 0 475409892 15514783744 13948 33554432000 4194304 4196468 140734465942352 140734465924896 140037364731639 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
/proc/9776/statm: 3787789 13948 3409 1 0 3748889 0
[pid=9776/tid=9777] ppid=9774 vsize=15151156 memory=-8895323862916359523 CPUtime=0.4 cores=1,3,5,7
/proc/9776/task/9777/stat : 9777 (java) R 9774 9774 6055 0 -1 4202560 8362 0 0 0 37 3 0 0 20 0 15 0 475409892 15514783744 13948 33554432000 4194304 4196468 140734465942352 140037368967664 140037364743574 0 4 0 16800975 0 0 0 -1 3 0 0 31 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
[pid=9776/tid=9778] ppid=9774 vsize=15151156 memory=3472467908526499024 CPUtime=0 cores=1,3,5,7
/proc/9776/task/9778/stat : 9778 (java) S 9774 9774 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475409893 15514783744 13948 33554432000 4194304 4196468 140734465942352 140037276388496 140037364741845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
[pid=9776/tid=9779] ppid=9774 vsize=15151156 memory=139779631347328 CPUtime=0 cores=1,3,5,7
/proc/9776/task/9779/stat : 9779 (java) S 9774 9774 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475409893 15514783744 13948 33554432000 4194304 4196468 140734465942352 140036955696144 140037364741845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
[pid=9776/tid=9780] ppid=9774 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9776/task/9780/stat : 9780 (java) S 9774 9774 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475409893 15514783744 13948 33554432000 4194304 4196468 140734465942352 140036954643344 140037364741845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
[pid=9776/tid=9781] ppid=9774 vsize=15151156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9776/task/9781/stat : 9781 (java) S 9774 9774 6055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475409893 15514783744 13948 33554432000 4194304 4196468 140734465942352 140036953590544 140037364741845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
[pid=9776/tid=9782] ppid=9774 vsize=15151156 memory=139779631347328 CPUtime=0 cores=1,3,5,7
/proc/9776/task/9782/stat : 9782 (java) S 9774 9774 6055 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475409894 15514783744 13948 33554432000 4194304 4196468 140734465942352 140036833278320 140037364742786 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
[pid=9776/tid=9783] ppid=9774 vsize=15151156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9776/task/9783/stat : 9783 (java) S 9774 9774 6055 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475409895 15514783744 13948 33554432000 4194304 4196468 140734465942352 140036832224288 140037364741845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
[pid=9776/tid=9784] ppid=9774 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9776/task/9784/stat : 9784 (java) S 9774 9774 6055 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475409895 15514783744 13948 33554432000 4194304 4196468 140734465942352 140036831171440 140037364741845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
[pid=9776/tid=9785] ppid=9774 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9776/task/9785/stat : 9785 (java) S 9774 9774 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475409897 15514783744 13948 33554432000 4194304 4196468 140734465942352 140036830119760 140037364750235 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
[pid=9776/tid=9786] ppid=9774 vsize=15151156 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/9776/task/9786/stat : 9786 (java) S 9774 9774 6055 0 -1 1077944384 606 0 0 0 6 0 0 0 20 0 15 0 475409898 15514783744 13948 33554432000 4194304 4196468 140734465942352 140036829068144 140037364742786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
[pid=9776/tid=9787] ppid=9774 vsize=15151156 memory=-1 CPUtime=0.06 cores=1,3,5,7
/proc/9776/task/9787/stat : 9787 (java) S 9774 9774 6055 0 -1 1077944384 376 0 0 0 6 0 0 0 20 0 15 0 475409898 15514783744 13948 33554432000 4194304 4196468 140734465942352 140036828015344 140037364742786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
[pid=9776/tid=9788] ppid=9774 vsize=15151156 memory=139779631347328 CPUtime=0.2 cores=1,3,5,7
/proc/9776/task/9788/stat : 9788 (java) R 9774 9774 6055 0 -1 4202560 1113 0 0 0 20 0 0 0 20 0 15 0 475409898 15514783744 13948 33554432000 4194304 4196468 140734465942352 140036826958304 140037350102928 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
[pid=9776/tid=9789] ppid=9774 vsize=15151156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9776/task/9789/stat : 9789 (java) S 9774 9774 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475409898 15514783744 13948 33554432000 4194304 4196468 140734465942352 140036825909984 140037364741845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
[pid=9776/tid=9790] ppid=9774 vsize=15151156 memory=139779631347328 CPUtime=0 cores=1,3,5,7
/proc/9776/task/9790/stat : 9790 (java) S 9774 9774 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475409898 15514783744 13948 33554432000 4194304 4196468 140734465942352 140036824857264 140037364742786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
Current children cumulated CPU time: 0.75 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 57248 KiB
[startup+1.50386 s]
/proc/loadavg: 8.47 8.44 8.03 12/237 9814
/proc/meminfo: memFree=15203544/32770624 swapFree=66988744/67108860
[pid=9774] ppid=9771 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/9774/stat : 9774 (xcsp3-exec) S 9771 9774 6055 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475409892 115843072 364 33554432000 4194304 5098028 140725298727136 140725298725240 139761311855228 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40210432 140725298733912 140725298734169 140725298734169 140725298737094 0
/proc/9774/statm: 28282 364 305 221 0 87 0
################
# More data... #
################
/proc/9776/task/9790/stat : 9790 (java) S 9774 9774 6055 0 -1 1077944384 516 0 0 0 0 0 0 0 20 0 19 0 475409898 15791632384 56126 33554432000 4194304 4196468 140734465942352 140036824857264 140037364742786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
[pid=9776/tid=9838] ppid=9774 vsize=15421516 memory=224504 CPUtime=10.02 cores=1,3,5,7
/proc/9776/task/9838/stat : 9838 (java) R 9774 9774 6055 0 -1 4202560 269 0 0 0 1002 0 0 0 20 0 19 0 475411948 15791632384 56126 33554432000 4194304 4196468 140734465942352 140036814585208 140036962480026 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
[pid=9776/tid=9839] ppid=9774 vsize=15421516 memory=1720 CPUtime=10.12 cores=1,3,5,7
/proc/9776/task/9839/stat : 9839 (java) R 9774 9774 6055 0 -1 4202560 519 0 0 0 1012 0 0 0 20 0 19 0 475411948 15791632384 56126 33554432000 4194304 4196468 140734465942352 140036813534984 140036962691029 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
[pid=9776/tid=9840] ppid=9774 vsize=15421516 memory=1398722017469774279 CPUtime=10.05 cores=1,3,5,7
/proc/9776/task/9840/stat : 9840 (java) R 9774 9774 6055 0 -1 4202560 553 0 0 0 1005 0 0 0 20 0 19 0 475411948 15791632384 56126 33554432000 4194304 4196468 140734465942352 140036812480104 140036962227829 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
[pid=9776/tid=9841] ppid=9774 vsize=15421516 memory=1456 CPUtime=10.12 cores=1,3,5,7
/proc/9776/task/9841/stat : 9841 (java) R 9774 9774 6055 0 -1 4202560 394 0 0 0 1012 0 0 0 20 0 19 0 475411948 15791632384 56126 33554432000 4194304 4196468 140734465942352 140036808278024 140036962001072 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
Current children cumulated CPU time: 119.58 s
Current children cumulated vsize: 15534644 KiB
Current children cumulated memory: 225960 KiB
[startup+32.3018 s]*
/proc/loadavg: 8.75 8.51 8.07 10/237 9841
/proc/meminfo: memFree=15127008/32770624 swapFree=66988744/67108860
[pid=9774] ppid=9771 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/9774/stat : 9774 (xcsp3-exec) S 9771 9774 6055 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475409892 115843072 364 33554432000 4194304 5098028 140725298727136 140725298725240 139761311855228 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40210432 140725298733912 140725298734169 140725298734169 140725298737094 0
/proc/9774/statm: 28282 364 305 221 0 87 0
[pid=9776] ppid=9774 vsize=15421516 memory=224560 CPUtime=125.99 cores=1,3,5,7
/proc/9776/stat : 9776 (java) S 9774 9774 6055 0 -1 1077944320 58268 0 0 0 12585 14 0 0 20 0 19 0 475409892 15791632384 56140 33554432000 4194304 4196468 140734465942352 140734465924896 140037364731639 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
/proc/9776/statm: 3855379 56140 3531 1 0 3816479 0
[pid=9776/tid=9777] ppid=9774 vsize=15421516 memory=1398722017469774279 CPUtime=0.69 cores=1,3,5,7
/proc/9776/task/9777/stat : 9777 (java) S 9774 9774 6055 0 -1 1077944384 9949 0 0 0 65 4 0 0 20 0 19 0 475409892 15791632384 56140 33554432000 4194304 4196468 140734465942352 140037368972416 140037364741845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 31 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
[pid=9776/tid=9778] ppid=9774 vsize=15421516 memory=-7003737579269690708 CPUtime=0.01 cores=1,3,5,7
/proc/9776/task/9778/stat : 9778 (java) S 9774 9774 6055 0 -1 1077944384 2013 0 0 0 1 0 0 0 20 0 19 0 475409893 15791632384 56140 33554432000 4194304 4196468 140734465942352 140037276388496 140037364741845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
[pid=9776/tid=9779] ppid=9774 vsize=15421516 memory=2896 CPUtime=0.01 cores=1,3,5,7
/proc/9776/task/9779/stat : 9779 (java) S 9774 9774 6055 0 -1 1077944384 1179 0 0 0 1 0 0 0 20 0 19 0 475409893 15791632384 56140 33554432000 4194304 4196468 140734465942352 140036955696144 140037364741845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
[pid=9776/tid=9780] ppid=9774 vsize=15421516 memory=1456 CPUtime=0.01 cores=1,3,5,7
/proc/9776/task/9780/stat : 9780 (java) S 9774 9774 6055 0 -1 1077944384 1340 0 0 0 1 0 0 0 20 0 19 0 475409893 15791632384 56140 33554432000 4194304 4196468 140734465942352 140036954643344 140037364741845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
[pid=9776/tid=9781] ppid=9774 vsize=15421516 memory=1324 CPUtime=0.01 cores=1,3,5,7
/proc/9776/task/9781/stat : 9781 (java) S 9774 9774 6055 0 -1 1077944384 812 0 0 0 1 0 0 0 20 0 19 0 475409893 15791632384 56140 33554432000 4194304 4196468 140734465942352 140036953590544 140037364741845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
[pid=9776/tid=9782] ppid=9774 vsize=15421516 memory=780 CPUtime=0.01 cores=1,3,5,7
/proc/9776/task/9782/stat : 9782 (java) S 9774 9774 6055 0 -1 1077944384 1156 0 0 0 1 0 0 0 20 0 19 0 475409894 15791632384 56140 33554432000 4194304 4196468 140734465942352 140036833278320 140037364742786 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
[pid=9776/tid=9783] ppid=9774 vsize=15421516 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/9776/task/9783/stat : 9783 (java) S 9774 9774 6055 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 19 0 475409895 15791632384 56140 33554432000 4194304 4196468 140734465942352 140036832224352 140037364741845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
[pid=9776/tid=9784] ppid=9774 vsize=15421516 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/9776/task/9784/stat : 9784 (java) S 9774 9774 6055 0 -1 1077944384 108 0 0 0 0 0 0 0 20 0 19 0 475409895 15791632384 56140 33554432000 4194304 4196468 140734465942352 140036831171456 140037364741845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
[pid=9776/tid=9785] ppid=9774 vsize=15421516 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9776/task/9785/stat : 9785 (java) S 9774 9774 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475409897 15791632384 56140 33554432000 4194304 4196468 140734465942352 140036830119760 140037364750235 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
[pid=9776/tid=9786] ppid=9774 vsize=15421516 memory=3620 CPUtime=2.86 cores=1,3,5,7
/proc/9776/task/9786/stat : 9786 (java) S 9774 9774 6055 0 -1 1077944384 11102 0 0 0 285 1 0 0 20 0 19 0 475409898 15791632384 56140 33554432000 4194304 4196468 140734465942352 140036829068144 140037364742786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
[pid=9776/tid=9787] ppid=9774 vsize=15421516 memory=1576 CPUtime=2.63 cores=1,3,5,7
/proc/9776/task/9787/stat : 9787 (java) S 9774 9774 6055 0 -1 1077944384 14916 0 0 0 261 2 0 0 20 0 19 0 475409898 15791632384 56140 33554432000 4194304 4196468 140734465942352 140036828015344 140037364742786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
[pid=9776/tid=9788] ppid=9774 vsize=15421516 memory=1456 CPUtime=0.81 cores=1,3,5,7
/proc/9776/task/9788/stat : 9788 (java) S 9774 9774 6055 0 -1 1077944384 6250 0 0 0 80 1 0 0 20 0 19 0 475409898 15791632384 56140 33554432000 4194304 4196468 140734465942352 140036826962544 140037364742786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
[pid=9776/tid=9789] ppid=9774 vsize=15421516 memory=224504 CPUtime=0 cores=1,3,5,7
/proc/9776/task/9789/stat : 9789 (java) S 9774 9774 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475409898 15791632384 56140 33554432000 4194304 4196468 140734465942352 140036825909984 140037364741845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
[pid=9776/tid=9790] ppid=9774 vsize=15421516 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/9776/task/9790/stat : 9790 (java) S 9774 9774 6055 0 -1 1077944384 518 0 0 0 0 0 0 0 20 0 19 0 475409898 15791632384 56140 33554432000 4194304 4196468 140734465942352 140036824857264 140037364742786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
[pid=9776/tid=9838] ppid=9774 vsize=15421516 memory=224504 CPUtime=11.61 cores=1,3,5,7
/proc/9776/task/9838/stat : 9838 (java) R 9774 9774 6055 0 -1 4202560 269 0 0 0 1161 0 0 0 20 0 19 0 475411948 15791632384 56140 33554432000 4194304 4196468 140734465942352 140036814585208 140036961512692 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
[pid=9776/tid=9839] ppid=9774 vsize=15421516 memory=1764 CPUtime=11.73 cores=1,3,5,7
/proc/9776/task/9839/stat : 9839 (java) R 9774 9774 6055 0 -1 4202560 538 0 0 0 1173 0 0 0 20 0 19 0 475411948 15791632384 56140 33554432000 4194304 4196468 140734465942352 140036813533064 140036962689932 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
[pid=9776/tid=9840] ppid=9774 vsize=15421516 memory=111632 CPUtime=11.63 cores=1,3,5,7
/proc/9776/task/9840/stat : 9840 (java) R 9774 9774 6055 0 -1 4202560 588 0 0 0 1163 0 0 0 20 0 19 0 475411948 15791632384 56140 33554432000 4194304 4196468 140734465942352 140036812481448 140036961563128 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
[pid=9776/tid=9841] ppid=9774 vsize=15421516 memory=804 CPUtime=11.71 cores=1,3,5,7
/proc/9776/task/9841/stat : 9841 (java) R 9774 9774 6055 0 -1 4202560 448 0 0 0 1171 0 0 0 20 0 19 0 475411948 15791632384 56140 33554432000 4194304 4196468 140734465942352 140036808278024 140036961184532 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
Current children cumulated CPU time: 125.99 s
Current children cumulated vsize: 15534644 KiB
Current children cumulated memory: 226016 KiB
[startup+32.7008 s]
/proc/loadavg: 8.75 8.51 8.07 10/237 9841
/proc/meminfo: memFree=15127008/32770624 swapFree=66988744/67108860
[pid=9774] ppid=9771 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/9774/stat : 9774 (xcsp3-exec) S 9771 9774 6055 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475409892 115843072 364 33554432000 4194304 5098028 140725298727136 140725298725240 139761311855228 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40210432 140725298733912 140725298734169 140725298734169 140725298737094 0
/proc/9774/statm: 28282 364 305 221 0 87 0
[pid=9776] ppid=9774 vsize=15421516 memory=224560 CPUtime=127.54 cores=1,3,5,7
/proc/9776/stat : 9776 (java) S 9774 9774 6055 0 -1 1077944320 58475 0 0 0 12740 14 0 0 20 0 19 0 475409892 15791632384 56140 33554432000 4194304 4196468 140734465942352 140734465924896 140037364731639 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
/proc/9776/statm: 3855379 56140 3531 1 0 3816479 0
[pid=9776/tid=9777] ppid=9774 vsize=15421516 memory=8112282956445269571 CPUtime=0.69 cores=1,3,5,7
/proc/9776/task/9777/stat : 9777 (java) S 9774 9774 6055 0 -1 1077944384 9949 0 0 0 65 4 0 0 20 0 19 0 475409892 15791632384 56140 33554432000 4194304 4196468 140734465942352 140037368972416 140037364741845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 31 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
[pid=9776/tid=9778] ppid=9774 vsize=15421516 memory=4096 CPUtime=0.01 cores=1,3,5,7
/proc/9776/task/9778/stat : 9778 (java) S 9774 9774 6055 0 -1 1077944384 2013 0 0 0 1 0 0 0 20 0 19 0 475409893 15791632384 56140 33554432000 4194304 4196468 140734465942352 140037276388496 140037364741845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
[pid=9776/tid=9779] ppid=9774 vsize=15421516 memory=1808 CPUtime=0.01 cores=1,3,5,7
/proc/9776/task/9779/stat : 9779 (java) S 9774 9774 6055 0 -1 1077944384 1179 0 0 0 1 0 0 0 20 0 19 0 475409893 15791632384 56140 33554432000 4194304 4196468 140734465942352 140036955696144 140037364741845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
[pid=9776/tid=9780] ppid=9774 vsize=15421516 memory=924 CPUtime=0.01 cores=1,3,5,7
/proc/9776/task/9780/stat : 9780 (java) S 9774 9774 6055 0 -1 1077944384 1340 0 0 0 1 0 0 0 20 0 19 0 475409893 15791632384 56140 33554432000 4194304 4196468 140734465942352 140036954643344 140037364741845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
[pid=9776/tid=9781] ppid=9774 vsize=15421516 memory=3848 CPUtime=0.01 cores=1,3,5,7
/proc/9776/task/9781/stat : 9781 (java) S 9774 9774 6055 0 -1 1077944384 812 0 0 0 1 0 0 0 20 0 19 0 475409893 15791632384 56140 33554432000 4194304 4196468 140734465942352 140036953590544 140037364741845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
[pid=9776/tid=9782] ppid=9774 vsize=15421516 memory=2700 CPUtime=0.01 cores=1,3,5,7
/proc/9776/task/9782/stat : 9782 (java) S 9774 9774 6055 0 -1 1077944384 1211 0 0 0 1 0 0 0 20 0 19 0 475409894 15791632384 56140 33554432000 4194304 4196468 140734465942352 140036833278320 140037364742786 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
[pid=9776/tid=9783] ppid=9774 vsize=15421516 memory=2744 CPUtime=0 cores=1,3,5,7
/proc/9776/task/9783/stat : 9783 (java) S 9774 9774 6055 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 19 0 475409895 15791632384 56140 33554432000 4194304 4196468 140734465942352 140036832224352 140037364741845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
[pid=9776/tid=9784] ppid=9774 vsize=15421516 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/9776/task/9784/stat : 9784 (java) S 9774 9774 6055 0 -1 1077944384 108 0 0 0 0 0 0 0 20 0 19 0 475409895 15791632384 56140 33554432000 4194304 4196468 140734465942352 140036831171456 140037364741845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
[pid=9776/tid=9785] ppid=9774 vsize=15421516 memory=2984 CPUtime=0 cores=1,3,5,7
/proc/9776/task/9785/stat : 9785 (java) S 9774 9774 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475409897 15791632384 56140 33554432000 4194304 4196468 140734465942352 140036830119760 140037364750235 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
[pid=9776/tid=9786] ppid=9774 vsize=15421516 memory=1456 CPUtime=2.86 cores=1,3,5,7
/proc/9776/task/9786/stat : 9786 (java) S 9774 9774 6055 0 -1 1077944384 11102 0 0 0 285 1 0 0 20 0 19 0 475409898 15791632384 56140 33554432000 4194304 4196468 140734465942352 140036829068144 140037364742786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
[pid=9776/tid=9787] ppid=9774 vsize=15421516 memory=231256 CPUtime=2.63 cores=1,3,5,7
/proc/9776/task/9787/stat : 9787 (java) S 9774 9774 6055 0 -1 1077944384 15049 0 0 0 261 2 0 0 20 0 19 0 475409898 15791632384 56140 33554432000 4194304 4196468 140734465942352 140036828015344 140037364742786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
[pid=9776/tid=9788] ppid=9774 vsize=15421516 memory=8112282956445269571 CPUtime=0.81 cores=1,3,5,7
/proc/9776/task/9788/stat : 9788 (java) S 9774 9774 6055 0 -1 1077944384 6250 0 0 0 80 1 0 0 20 0 19 0 475409898 15791632384 56140 33554432000 4194304 4196468 140734465942352 140036826962544 140037364742786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
[pid=9776/tid=9789] ppid=9774 vsize=15421516 memory=317059571874117252 CPUtime=0 cores=1,3,5,7
/proc/9776/task/9789/stat : 9789 (java) S 9774 9774 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475409898 15791632384 56140 33554432000 4194304 4196468 140734465942352 140036825909984 140037364741845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
[pid=9776/tid=9790] ppid=9774 vsize=15421516 memory=288288865972930571 CPUtime=0 cores=1,3,5,7
/proc/9776/task/9790/stat : 9790 (java) S 9774 9774 6055 0 -1 1077944384 518 0 0 0 0 0 0 0 20 0 19 0 475409898 15791632384 56140 33554432000 4194304 4196468 140734465942352 140036824857264 140037364742786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
[pid=9776/tid=9838] ppid=9774 vsize=15421516 memory=6944656592455097440 CPUtime=12 cores=1,3,5,7
/proc/9776/task/9838/stat : 9838 (java) R 9774 9774 6055 0 -1 4202560 271 0 0 0 1200 0 0 0 20 0 19 0 475411948 15791632384 56140 33554432000 4194304 4196468 140734465942352 140036814584736 140036962257116 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
[pid=9776/tid=9839] ppid=9774 vsize=15421516 memory=6944656575208382560 CPUtime=12.12 cores=1,3,5,7
/proc/9776/task/9839/stat : 9839 (java) R 9774 9774 6055 0 -1 4202560 550 0 0 0 1212 0 0 0 20 0 19 0 475411948 15791632384 56140 33554432000 4194304 4196468 140734465942352 140036813533328 140036961512569 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
[pid=9776/tid=9840] ppid=9774 vsize=15421516 memory=6656426216303648864 CPUtime=12.01 cores=1,3,5,7
/proc/9776/task/9840/stat : 9840 (java) R 9774 9774 6055 0 -1 4202560 592 0 0 0 1201 0 0 0 20 0 19 0 475411948 15791632384 56140 33554432000 4194304 4196468 140734465942352 140036812479864 140036962690159 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
[pid=9776/tid=9841] ppid=9774 vsize=15421516 memory=6944656575208382560 CPUtime=12.09 cores=1,3,5,7
/proc/9776/task/9841/stat : 9841 (java) R 9774 9774 6055 0 -1 4202560 449 0 0 0 1209 0 0 0 20 0 19 0 475411948 15791632384 56140 33554432000 4194304 4196468 140734465942352 140036808277432 140036962690667 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
Current children cumulated CPU time: 127.54 s
Current children cumulated vsize: 15534644 KiB
Current children cumulated memory: 226016 KiB
[startup+32.9008 s]
/proc/loadavg: 8.75 8.51 8.07 10/237 9841
/proc/meminfo: memFree=15127008/32770624 swapFree=66988744/67108860
[pid=9774] ppid=9771 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/9774/stat : 9774 (xcsp3-exec) S 9771 9774 6055 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475409892 115843072 364 33554432000 4194304 5098028 140725298727136 140725298725240 139761311855228 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40210432 140725298733912 140725298734169 140725298734169 140725298737094 0
/proc/9774/statm: 28282 364 305 221 0 87 0
[pid=9776] ppid=9774 vsize=15421516 memory=224560 CPUtime=128.34 cores=1,3,5,7
/proc/9776/stat : 9776 (java) S 9774 9774 6055 0 -1 1077944320 58478 0 0 0 12820 14 0 0 20 0 19 0 475409892 15791632384 56140 33554432000 4194304 4196468 140734465942352 140734465924896 140037364731639 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
/proc/9776/statm: 3855379 56140 3531 1 0 3816479 0
[pid=9776/tid=9777] ppid=9774 vsize=15421516 memory=7374200639895070061 CPUtime=0.69 cores=1,3,5,7
/proc/9776/task/9777/stat : 9777 (java) S 9774 9774 6055 0 -1 1077944384 9949 0 0 0 65 4 0 0 20 0 19 0 475409892 15791632384 56140 33554432000 4194304 4196468 140734465942352 140037368972416 140037364741845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 31 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
[pid=9776/tid=9778] ppid=9774 vsize=15421516 memory=28829630602021044 CPUtime=0.01 cores=1,3,5,7
/proc/9776/task/9778/stat : 9778 (java) S 9774 9774 6055 0 -1 1077944384 2013 0 0 0 1 0 0 0 20 0 19 0 475409893 15791632384 56140 33554432000 4194304 4196468 140734465942352 140037276388496 140037364741845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
[pid=9776/tid=9779] ppid=9774 vsize=15421516 memory=288287757874345696 CPUtime=0.01 cores=1,3,5,7
/proc/9776/task/9779/stat : 9779 (java) S 9774 9774 6055 0 -1 1077944384 1179 0 0 0 1 0 0 0 20 0 19 0 475409893 15791632384 56140 33554432000 4194304 4196468 140734465942352 140036955696144 140037364741845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
[pid=9776/tid=9780] ppid=9774 vsize=15421516 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/9776/task/9780/stat : 9780 (java) S 9774 9774 6055 0 -1 1077944384 1340 0 0 0 1 0 0 0 20 0 19 0 475409893 15791632384 56140 33554432000 4194304 4196468 140734465942352 140036954643344 140037364741845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
[pid=9776/tid=9781] ppid=9774 vsize=15421516 memory=66 CPUtime=0.01 cores=1,3,5,7
/proc/9776/task/9781/stat : 9781 (java) S 9774 9774 6055 0 -1 1077944384 812 0 0 0 1 0 0 0 20 0 19 0 475409893 15791632384 56140 33554432000 4194304 4196468 140734465942352 140036953590544 140037364741845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
[pid=9776/tid=9782] ppid=9774 vsize=15421516 memory=139779509721696 CPUtime=0.01 cores=1,3,5,7
/proc/9776/task/9782/stat : 9782 (java) S 9774 9774 6055 0 -1 1077944384 1211 0 0 0 1 0 0 0 20 0 19 0 475409894 15791632384 56140 33554432000 4194304 4196468 140734465942352 140036833278320 140037364742786 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
[pid=9776/tid=9783] ppid=9774 vsize=15421516 memory=279559019285144 CPUtime=0 cores=1,3,5,7
/proc/9776/task/9783/stat : 9783 (java) S 9774 9774 6055 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 19 0 475409895 15791632384 56140 33554432000 4194304 4196468 140734465942352 140036832224352 140037364741845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
[pid=9776/tid=9784] ppid=9774 vsize=15421516 memory=-7812800578125854338 CPUtime=0 cores=1,3,5,7
/proc/9776/task/9784/stat : 9784 (java) S 9774 9774 6055 0 -1 1077944384 108 0 0 0 0 0 0 0 20 0 19 0 475409895 15791632384 56140 33554432000 4194304 4196468 140734465942352 140036831171456 140037364741845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
[pid=9776/tid=9785] ppid=9774 vsize=15421516 memory=8325818968683490714 CPUtime=0 cores=1,3,5,7
/proc/9776/task/9785/stat : 9785 (java) S 9774 9774 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475409897 15791632384 56140 33554432000 4194304 4196468 140734465942352 140036830119760 140037364750235 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
[pid=9776/tid=9786] ppid=9774 vsize=15421516 memory=28829630602021044 CPUtime=2.86 cores=1,3,5,7
/proc/9776/task/9786/stat : 9786 (java) S 9774 9774 6055 0 -1 1077944384 11102 0 0 0 285 1 0 0 20 0 19 0 475409898 15791632384 56140 33554432000 4194304 4196468 140734465942352 140036829068144 140037364742786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
[pid=9776/tid=9787] ppid=9774 vsize=15421516 memory=767 CPUtime=2.63 cores=1,3,5,7
/proc/9776/task/9787/stat : 9787 (java) S 9774 9774 6055 0 -1 1077944384 15049 0 0 0 261 2 0 0 20 0 19 0 475409898 15791632384 56140 33554432000 4194304 4196468 140734465942352 140036828015344 140037364742786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
[pid=9776/tid=9788] ppid=9774 vsize=15421516 memory=260 CPUtime=0.81 cores=1,3,5,7
/proc/9776/task/9788/stat : 9788 (java) S 9774 9774 6055 0 -1 1077944384 6250 0 0 0 80 1 0 0 20 0 19 0 475409898 15791632384 56140 33554432000 4194304 4196468 140734465942352 140036826962544 140037364742786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
[pid=9776/tid=9789] ppid=9774 vsize=15421516 memory=81 CPUtime=0 cores=1,3,5,7
/proc/9776/task/9789/stat : 9789 (java) S 9774 9774 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475409898 15791632384 56140 33554432000 4194304 4196468 140734465942352 140036825909984 140037364741845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
[pid=9776/tid=9790] ppid=9774 vsize=15421516 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9776/task/9790/stat : 9790 (java) S 9774 9774 6055 0 -1 1077944384 518 0 0 0 0 0 0 0 20 0 19 0 475409898 15791632384 56140 33554432000 4194304 4196468 140734465942352 140036824857264 140037364742786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
[pid=9776/tid=9838] ppid=9774 vsize=15421516 memory=0 CPUtime=12.2 cores=1,3,5,7
/proc/9776/task/9838/stat : 9838 (java) R 9774 9774 6055 0 -1 4202560 274 0 0 0 1220 0 0 0 20 0 19 0 475411948 15791632384 56140 33554432000 4194304 4196468 140734465942352 140036814584872 140036962483951 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
[pid=9776/tid=9839] ppid=9774 vsize=15421516 memory=91 CPUtime=12.32 cores=1,3,5,7
/proc/9776/task/9839/stat : 9839 (java) R 9774 9774 6055 0 -1 4202560 550 0 0 0 1232 0 0 0 20 0 19 0 475411948 15791632384 56140 33554432000 4194304 4196468 140734465942352 140036813533328 140036961224749 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
[pid=9776/tid=9840] ppid=9774 vsize=15421516 memory=93 CPUtime=12.21 cores=1,3,5,7
/proc/9776/task/9840/stat : 9840 (java) R 9774 9774 6055 0 -1 4202560 592 0 0 0 1221 0 0 0 20 0 19 0 475411948 15791632384 56140 33554432000 4194304 4196468 140734465942352 140036812479864 140036962159654 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
[pid=9776/tid=9841] ppid=9774 vsize=15421516 memory=93 CPUtime=12.29 cores=1,3,5,7
/proc/9776/task/9841/stat : 9841 (java) R 9774 9774 6055 0 -1 4202560 449 0 0 0 1229 0 0 0 20 0 19 0 475411948 15791632384 56140 33554432000 4194304 4196468 140734465942352 140036808277432 140036962591594 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31485952 140734465950683 140734465950858 140734465950858 140734465953743 0
Current children cumulated CPU time: 128.34 s
Current children cumulated vsize: 15534644 KiB
Current children cumulated memory: 226016 KiB
Child status: 0
Real time (s): 32.9607
CPU time (s): 128.551
CPU user time (s): 128.399
CPU system time (s): 0.152018
CPU usage (%): 390.014
Max. virtual memory (cumulated for all children) (KiB): 15534644
Max. memory (cumulated for all children) (KiB): 226016
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 128.399
system time used= 0.152018
maximum resident set size= 224560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61208
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4124
involuntary context switches= 2868
# summary of solver processes directly reported to runsolver:
# pid: 9774
# total CPU time (s): 128.551
# total CPU user time (s): 128.399
# total CPU system time (s): 0.152018
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.214204 second user time and 0.394506 second system time
The end