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 (7731 MiB free)
memory of node 1: 16384 MiB (7252 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4403817-1568991356/watcher-4403817-1568991356 -o /tmp/evaluation-result-4403817-1568991356/solver-4403817-1568991356 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1568988008-30877 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 696921962 HOME/instance-4403817-1568991356.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=3563, runsolver pid=3560
[startup+0.100193 s]*
/proc/loadavg: 8.65 8.62 8.19 7/231 3579
/proc/meminfo: memFree=15325896/32770624 swapFree=66938936/67108860
[pid=3563] ppid=3560 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/3563/stat : 3563 (xcsp3-exec) S 3560 3563 30846 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475405308 115843072 363 33554432000 4194304 5098028 140727017117712 140727017115816 140469029212796 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 24719360 140727017120635 140727017120877 140727017120877 140727017123786 0
/proc/3563/statm: 28282 363 304 221 0 87 0
[pid=3565] ppid=3563 vsize=15144776 memory=29284 CPUtime=0.12 cores=0,2,4,6
/proc/3565/stat : 3565 (java) S 3563 3563 30846 0 -1 1077944320 5797 0 0 0 11 1 0 0 20 0 15 0 475405308 15508250624 7321 33554432000 4194304 4196468 140726734341664 140726734324208 139917259402999 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
/proc/3565/statm: 3786194 7321 3121 1 0 3748377 0
[pid=3565/tid=3566] ppid=3563 vsize=15144776 memory=7031125463459224206 CPUtime=0.09 cores=0,2,4,6
/proc/3565/task/3566/stat : 3566 (java) R 3563 3563 30846 0 -1 4202560 3705 0 0 0 8 1 0 0 20 0 15 0 475405308 15508250624 7321 33554432000 4194304 4196468 140726734341664 139917263635792 139917259414934 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
[pid=3565/tid=3567] ppid=3563 vsize=15144776 memory=7378697629483820645 CPUtime=0 cores=0,2,4,6
/proc/3565/task/3567/stat : 3567 (java) S 3563 3563 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475405309 15508250624 7321 33554432000 4194304 4196468 140726734341664 139917218163216 139917259413205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
[pid=3565/tid=3568] ppid=3563 vsize=15144776 memory=139959394674304 CPUtime=0 cores=0,2,4,6
/proc/3565/task/3568/stat : 3568 (java) S 3563 3563 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475405309 15508250624 7321 33554432000 4194304 4196468 140726734341664 139916850834064 139917259413205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
[pid=3565/tid=3569] ppid=3563 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3565/task/3569/stat : 3569 (java) S 3563 3563 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475405309 15508250624 7321 33554432000 4194304 4196468 140726734341664 139916849781008 139917259413205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
[pid=3565/tid=3570] ppid=3563 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3565/task/3570/stat : 3570 (java) S 3563 3563 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475405309 15508250624 7321 33554432000 4194304 4196468 140726734341664 139916848728464 139917259413205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
[pid=3565/tid=3571] ppid=3563 vsize=15144776 memory=139959394674304 CPUtime=0 cores=0,2,4,6
/proc/3565/task/3571/stat : 3571 (java) S 3563 3563 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475405310 15508250624 7321 33554432000 4194304 4196468 140726734341664 139916334815984 139917259414146 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
[pid=3565/tid=3572] ppid=3563 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3565/task/3572/stat : 3572 (java) S 3563 3563 30846 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475405311 15508250624 7321 33554432000 4194304 4196468 140726734341664 139916333762208 139917259413205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
[pid=3565/tid=3573] ppid=3563 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3565/task/3573/stat : 3573 (java) S 3563 3563 30846 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475405311 15508250624 7321 33554432000 4194304 4196468 140726734341664 139916332709104 139917259413205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
[pid=3565/tid=3574] ppid=3563 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3565/task/3574/stat : 3574 (java) S 3563 3563 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475405313 15508250624 7387 33554432000 4194304 4196468 140726734341664 139916331657680 139917259421595 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
[pid=3565/tid=3575] ppid=3563 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3565/task/3575/stat : 3575 (java) R 3563 3563 30846 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 475405313 15508250624 7387 33554432000 4194304 4196468 140726734341664 139916330604784 139917259414146 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
[pid=3565/tid=3576] ppid=3563 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3565/task/3576/stat : 3576 (java) R 3563 3563 30846 0 -1 4202560 135 0 0 0 0 0 0 0 20 0 15 0 475405314 15508250624 7387 33554432000 4194304 4196468 140726734341664 139916329552240 139917244820944 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
[pid=3565/tid=3577] ppid=3563 vsize=15144776 memory=139959394674304 CPUtime=0.02 cores=0,2,4,6
/proc/3565/task/3577/stat : 3577 (java) R 3563 3563 30846 0 -1 4202560 363 0 0 0 2 0 0 0 20 0 15 0 475405314 15508250624 7387 33554432000 4194304 4196468 140726734341664 139916328499184 139917251640126 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
[pid=3565/tid=3578] ppid=3563 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3565/task/3578/stat : 3578 (java) S 3563 3563 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475405314 15508250624 7387 33554432000 4194304 4196468 140726734341664 139916327446880 139917259413205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
[pid=3565/tid=3579] ppid=3563 vsize=15144776 memory=139959394674304 CPUtime=0 cores=0,2,4,6
/proc/3565/task/3579/stat : 3579 (java) S 3563 3563 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475405314 15508250624 7387 33554432000 4194304 4196468 140726734341664 139916326394928 139917259414146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30736 KiB
[startup+0.21092 s]*
/proc/loadavg: 8.65 8.62 8.19 6/231 3579
/proc/meminfo: memFree=15313540/32770624 swapFree=66938936/67108860
[pid=3563] ppid=3560 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/3563/stat : 3563 (xcsp3-exec) S 3560 3563 30846 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475405308 115843072 363 33554432000 4194304 5098028 140727017117712 140727017115816 140469029212796 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 24719360 140727017120635 140727017120877 140727017120877 140727017123786 0
/proc/3563/statm: 28282 363 304 221 0 87 0
[pid=3565] ppid=3563 vsize=15144776 memory=40232 CPUtime=0.34 cores=0,2,4,6
/proc/3565/stat : 3565 (java) S 3563 3563 30846 0 -1 1077944320 9349 0 0 0 31 3 0 0 20 0 15 0 475405308 15508250624 10058 33554432000 4194304 4196468 140726734341664 140726734324208 139917259402999 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
/proc/3565/statm: 3786194 10058 3258 1 0 3748377 0
[pid=3565/tid=3566] ppid=3563 vsize=15144776 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/3565/task/3566/stat : 3566 (java) R 3563 3563 30846 0 -1 4202560 6628 0 0 0 18 2 0 0 20 0 15 0 475405308 15508250624 10058 33554432000 4194304 4196468 140726734341664 139917263634912 139917259414934 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
[pid=3565/tid=3567] ppid=3563 vsize=15144776 memory=4294979937 CPUtime=0 cores=0,2,4,6
/proc/3565/task/3567/stat : 3567 (java) S 3563 3563 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475405309 15508250624 10058 33554432000 4194304 4196468 140726734341664 139917218163216 139917259413205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
[pid=3565/tid=3568] ppid=3563 vsize=15144776 memory=139959394703613 CPUtime=0 cores=0,2,4,6
/proc/3565/task/3568/stat : 3568 (java) S 3563 3563 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475405309 15508250624 10058 33554432000 4194304 4196468 140726734341664 139916850834064 139917259413205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
[pid=3565/tid=3569] ppid=3563 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3565/task/3569/stat : 3569 (java) S 3563 3563 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475405309 15508250624 10058 33554432000 4194304 4196468 140726734341664 139916849781008 139917259413205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
[pid=3565/tid=3570] ppid=3563 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3565/task/3570/stat : 3570 (java) S 3563 3563 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475405309 15508250624 10058 33554432000 4194304 4196468 140726734341664 139916848728464 139917259413205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
[pid=3565/tid=3571] ppid=3563 vsize=15144776 memory=139959394674304 CPUtime=0 cores=0,2,4,6
/proc/3565/task/3571/stat : 3571 (java) S 3563 3563 30846 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475405310 15508250624 10058 33554432000 4194304 4196468 140726734341664 139916334815984 139917259414146 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
[pid=3565/tid=3572] ppid=3563 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3565/task/3572/stat : 3572 (java) S 3563 3563 30846 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475405311 15508250624 10058 33554432000 4194304 4196468 140726734341664 139916333762208 139917259413205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
[pid=3565/tid=3573] ppid=3563 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3565/task/3573/stat : 3573 (java) S 3563 3563 30846 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475405311 15508250624 10058 33554432000 4194304 4196468 140726734341664 139916332709104 139917259413205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
[pid=3565/tid=3574] ppid=3563 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3565/task/3574/stat : 3574 (java) S 3563 3563 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475405313 15508250624 10058 33554432000 4194304 4196468 140726734341664 139916331657680 139917259421595 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
[pid=3565/tid=3575] ppid=3563 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/3565/task/3575/stat : 3575 (java) S 3563 3563 30846 0 -1 1077944384 367 0 0 0 2 0 0 0 20 0 15 0 475405313 15508250624 10058 33554432000 4194304 4196468 140726734341664 139916330604784 139917259414146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
[pid=3565/tid=3576] ppid=3563 vsize=15144776 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/3565/task/3576/stat : 3576 (java) S 3563 3563 30846 0 -1 1077944384 262 0 0 0 3 0 0 0 20 0 15 0 475405314 15508250624 10058 33554432000 4194304 4196468 140726734341664 139916329552240 139917259414146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
[pid=3565/tid=3577] ppid=3563 vsize=15144776 memory=139959394674304 CPUtime=0.07 cores=0,2,4,6
/proc/3565/task/3577/stat : 3577 (java) R 3563 3563 30846 0 -1 4202560 787 0 0 0 7 0 0 0 20 0 15 0 475405314 15508250624 10058 33554432000 4194304 4196468 140726734341664 139916328499184 139917251640126 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
[pid=3565/tid=3578] ppid=3563 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3565/task/3578/stat : 3578 (java) S 3563 3563 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475405314 15508250624 10058 33554432000 4194304 4196468 140726734341664 139916327446880 139917259413205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
[pid=3565/tid=3579] ppid=3563 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3565/task/3579/stat : 3579 (java) S 3563 3563 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475405314 15508250624 10058 33554432000 4194304 4196468 140726734341664 139916326394928 139917259414146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41684 KiB
[startup+0.310551 s]*
/proc/loadavg: 8.65 8.62 8.19 7/231 3579
/proc/meminfo: memFree=15306260/32770624 swapFree=66938936/67108860
[pid=3563] ppid=3560 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/3563/stat : 3563 (xcsp3-exec) S 3560 3563 30846 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475405308 115843072 363 33554432000 4194304 5098028 140727017117712 140727017115816 140469029212796 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 24719360 140727017120635 140727017120877 140727017120877 140727017123786 0
/proc/3563/statm: 28282 363 304 221 0 87 0
[pid=3565] ppid=3563 vsize=15149032 memory=49368 CPUtime=0.53 cores=0,2,4,6
/proc/3565/stat : 3565 (java) S 3563 3563 30846 0 -1 1077944320 10743 0 0 0 49 4 0 0 20 0 15 0 475405308 15512608768 12342 33554432000 4194304 4196468 140726734341664 140726734324208 139917259402999 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
/proc/3565/statm: 3787258 12342 3343 1 0 3748377 0
[pid=3565/tid=3566] ppid=3563 vsize=15149032 memory=6935054825532540783 CPUtime=0.3 cores=0,2,4,6
/proc/3565/task/3566/stat : 3566 (java) R 3563 3563 30846 0 -1 4202560 7777 0 0 0 27 3 0 0 20 0 15 0 475405308 15512608768 12370 33554432000 4194304 4196468 140726734341664 139917263636784 139917259424925 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
[pid=3565/tid=3567] ppid=3563 vsize=15149032 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/3565/task/3567/stat : 3567 (java) S 3563 3563 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475405309 15512608768 12370 33554432000 4194304 4196468 140726734341664 139917218163216 139917259413205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
[pid=3565/tid=3568] ppid=3563 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3565/task/3568/stat : 3568 (java) S 3563 3563 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475405309 15512608768 12370 33554432000 4194304 4196468 140726734341664 139916850834064 139917259413205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
[pid=3565/tid=3569] ppid=3563 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3565/task/3569/stat : 3569 (java) S 3563 3563 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475405309 15512608768 12370 33554432000 4194304 4196468 140726734341664 139916849781008 139917259413205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
[pid=3565/tid=3570] ppid=3563 vsize=15149032 memory=46849 CPUtime=0 cores=0,2,4,6
/proc/3565/task/3570/stat : 3570 (java) S 3563 3563 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475405309 15512608768 12370 33554432000 4194304 4196468 140726734341664 139916848728464 139917259413205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
[pid=3565/tid=3571] ppid=3563 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3565/task/3571/stat : 3571 (java) S 3563 3563 30846 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475405310 15512608768 12370 33554432000 4194304 4196468 140726734341664 139916334815984 139917259414146 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
[pid=3565/tid=3572] ppid=3563 vsize=15149032 memory=9122745479247552727 CPUtime=0 cores=0,2,4,6
/proc/3565/task/3572/stat : 3572 (java) S 3563 3563 30846 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475405311 15512608768 12370 33554432000 4194304 4196468 140726734341664 139916333762208 139917259413205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
[pid=3565/tid=3573] ppid=3563 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/3565/task/3573/stat : 3573 (java) S 3563 3563 30846 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475405311 15512608768 12370 33554432000 4194304 4196468 140726734341664 139916332709104 139917259413205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
[pid=3565/tid=3574] ppid=3563 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/3565/task/3574/stat : 3574 (java) S 3563 3563 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475405313 15512608768 12370 33554432000 4194304 4196468 140726734341664 139916331657680 139917259421595 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
[pid=3565/tid=3575] ppid=3563 vsize=15149032 memory=6944652177228980320 CPUtime=0.03 cores=0,2,4,6
/proc/3565/task/3575/stat : 3575 (java) S 3563 3563 30846 0 -1 1077944384 387 0 0 0 3 0 0 0 20 0 15 0 475405313 15512608768 12370 33554432000 4194304 4196468 140726734341664 139916330604784 139917259414146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
[pid=3565/tid=3576] ppid=3563 vsize=15149032 memory=-6654736624941490777 CPUtime=0.05 cores=0,2,4,6
/proc/3565/task/3576/stat : 3576 (java) R 3563 3563 30846 0 -1 4202560 383 0 0 0 5 0 0 0 20 0 15 0 475405314 15512608768 12370 33554432000 4194304 4196468 140726734341664 139916329533352 139917243799455 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
[pid=3565/tid=3577] ppid=3563 vsize=15149032 memory=5793149093575367841 CPUtime=0.12 cores=0,2,4,6
/proc/3565/task/3577/stat : 3577 (java) S 3563 3563 30846 0 -1 1077944384 914 0 0 0 12 0 0 0 20 0 15 0 475405314 15512608768 12370 33554432000 4194304 4196468 140726734341664 139916328499184 139917259414146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
[pid=3565/tid=3578] ppid=3563 vsize=15149032 memory=6944656592455350634 CPUtime=0 cores=0,2,4,6
/proc/3565/task/3578/stat : 3578 (java) S 3563 3563 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475405314 15512608768 12370 33554432000 4194304 4196468 140726734341664 139916327446880 139917259413205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
[pid=3565/tid=3579] ppid=3563 vsize=15149032 memory=-8675733323038954102 CPUtime=0 cores=0,2,4,6
/proc/3565/task/3579/stat : 3579 (java) S 3563 3563 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475405314 15512608768 12370 33554432000 4194304 4196468 140726734341664 139916326394928 139917259414146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 50820 KiB
[startup+0.70171 s]
/proc/loadavg: 8.65 8.62 8.19 8/231 3579
/proc/meminfo: memFree=15278364/32770624 swapFree=66938936/67108860
[pid=3563] ppid=3560 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/3563/stat : 3563 (xcsp3-exec) S 3560 3563 30846 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475405308 115843072 363 33554432000 4194304 5098028 140727017117712 140727017115816 140469029212796 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 24719360 140727017120635 140727017120877 140727017120877 140727017123786 0
/proc/3563/statm: 28282 363 304 221 0 87 0
[pid=3565] ppid=3563 vsize=15151156 memory=114772 CPUtime=1.72 cores=0,2,4,6
/proc/3565/stat : 3565 (java) S 3563 3563 30846 0 -1 1077944320 15227 0 0 0 166 6 0 0 20 0 15 0 475405308 15514783744 28693 33554432000 4194304 4196468 140726734341664 140726734324208 139917259402999 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
/proc/3565/statm: 3787789 28693 3449 1 0 3748889 0
[pid=3565/tid=3566] ppid=3563 vsize=15151156 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/3565/task/3566/stat : 3566 (java) R 3563 3563 30846 0 -1 4202560 9150 0 0 0 63 4 0 0 20 0 15 0 475405308 15514783744 28693 33554432000 4194304 4196468 140726734341664 139917263640144 139916899637478 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
[pid=3565/tid=3567] ppid=3563 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3565/task/3567/stat : 3567 (java) S 3563 3563 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475405309 15514783744 28693 33554432000 4194304 4196468 140726734341664 139917218163216 139917259413205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
[pid=3565/tid=3568] ppid=3563 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3565/task/3568/stat : 3568 (java) S 3563 3563 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475405309 15514783744 28693 33554432000 4194304 4196468 140726734341664 139916850834064 139917259413205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
[pid=3565/tid=3569] ppid=3563 vsize=15151156 memory=221 CPUtime=0 cores=0,2,4,6
/proc/3565/task/3569/stat : 3569 (java) S 3563 3563 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475405309 15514783744 28693 33554432000 4194304 4196468 140726734341664 139916849781008 139917259413205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
[pid=3565/tid=3570] ppid=3563 vsize=15151156 memory=2 CPUtime=0 cores=0,2,4,6
/proc/3565/task/3570/stat : 3570 (java) S 3563 3563 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475405309 15514783744 28693 33554432000 4194304 4196468 140726734341664 139916848728464 139917259413205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
[pid=3565/tid=3571] ppid=3563 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3565/task/3571/stat : 3571 (java) S 3563 3563 30846 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475405310 15514783744 28693 33554432000 4194304 4196468 140726734341664 139916334815984 139917259414146 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
[pid=3565/tid=3572] ppid=3563 vsize=15151156 memory=1060 CPUtime=0 cores=0,2,4,6
/proc/3565/task/3572/stat : 3572 (java) S 3563 3563 30846 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475405311 15514783744 28693 33554432000 4194304 4196468 140726734341664 139916333762208 139917259413205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
[pid=3565/tid=3573] ppid=3563 vsize=15151156 memory=1720 CPUtime=0 cores=0,2,4,6
/proc/3565/task/3573/stat : 3573 (java) S 3563 3563 30846 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475405311 15514783744 28693 33554432000 4194304 4196468 140726734341664 139916332709104 139917259413205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
[pid=3565/tid=3574] ppid=3563 vsize=15151156 memory=1096 CPUtime=0 cores=0,2,4,6
/proc/3565/task/3574/stat : 3574 (java) S 3563 3563 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475405313 15514783744 28693 33554432000 4194304 4196468 140726734341664 139916331657680 139917259421595 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
[pid=3565/tid=3575] ppid=3563 vsize=15151156 memory=1188 CPUtime=0.33 cores=0,2,4,6
/proc/3565/task/3575/stat : 3575 (java) R 3563 3563 30846 0 -1 4202560 1623 0 0 0 33 0 0 0 20 0 15 0 475405313 15514783744 28693 33554432000 4194304 4196468 140726734341664 139916330597808 139917245466224 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
[pid=3565/tid=3576] ppid=3563 vsize=15151156 memory=6112 CPUtime=0.35 cores=0,2,4,6
/proc/3565/task/3576/stat : 3576 (java) R 3563 3563 30846 0 -1 4202560 1372 0 0 0 35 0 0 0 20 0 15 0 475405314 15514783744 28693 33554432000 4194304 4196468 140726734341664 139916329540352 139917244282600 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
[pid=3565/tid=3577] ppid=3563 vsize=15151156 memory=780 CPUtime=0.33 cores=0,2,4,6
/proc/3565/task/3577/stat : 3577 (java) R 3563 3563 30846 0 -1 1077944384 1775 0 0 0 33 0 0 0 20 0 15 0 475405314 15514783744 28693 33554432000 4194304 4196468 140726734341664 139916328499312 139917259413205 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
[pid=3565/tid=3578] ppid=3563 vsize=15151156 memory=14008 CPUtime=0 cores=0,2,4,6
/proc/3565/task/3578/stat : 3578 (java) S 3563 3563 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475405314 15514783744 28693 33554432000 4194304 4196468 140726734341664 139916327446880 139917259413205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
[pid=3565/tid=3579] ppid=3563 vsize=15151156 memory=28124 CPUtime=0 cores=0,2,4,6
/proc/3565/task/3579/stat : 3579 (java) S 3563 3563 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475405314 15514783744 28693 33554432000 4194304 4196468 140726734341664 139916326394928 139917259414146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
Current children cumulated CPU time: 1.72 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 116224 KiB
[startup+1.50205 s]
/proc/loadavg: 8.65 8.62 8.19 10/231 3579
/proc/meminfo: memFree=15147992/32770624 swapFree=66938936/67108860
[pid=3563] ppid=3560 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/3563/stat : 3563 (xcsp3-exec) S 3560 3563 30846 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475405308 115843072 363 33554432000 4194304 5098028 140727017117712 140727017115816 140469029212796 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 24719360 140727017120635 140727017120877 140727017120877 140727017123786 0
/proc/3563/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/3565/task/3579/stat : 3579 (java) S 3563 3563 30846 0 -1 1077944384 305 0 0 0 0 1 0 0 20 0 19 0 475405314 15857688576 87946 33554432000 4194304 4196468 140726734341664 139916326394928 139917259414146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
[pid=3565/tid=3638] ppid=3563 vsize=15486024 memory=339472 CPUtime=33.43 cores=0,2,4,6
/proc/3565/task/3638/stat : 3638 (java) R 3563 3563 30846 0 -1 4202560 406 0 0 0 3343 0 0 0 20 0 19 0 475405935 15857688576 87946 33554432000 4194304 4196468 140726734341664 139916314025352 139916902033113 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
[pid=3565/tid=3639] ppid=3563 vsize=15486024 memory=784 CPUtime=32.97 cores=0,2,4,6
/proc/3565/task/3639/stat : 3639 (java) R 3563 3563 30846 0 -1 4202560 1804 0 0 0 3296 1 0 0 20 0 19 0 475405935 15857688576 87946 33554432000 4194304 4196468 140726734341664 139916311920760 139916902032875 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
[pid=3565/tid=3640] ppid=3563 vsize=15486024 memory=1060 CPUtime=33.39 cores=0,2,4,6
/proc/3565/task/3640/stat : 3640 (java) R 3563 3563 30846 0 -1 4202560 1796 0 0 0 3339 0 0 0 20 0 19 0 475405935 15857688576 87946 33554432000 4194304 4196468 140726734341664 139916310868128 139916902032752 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
[pid=3565/tid=3641] ppid=3563 vsize=15486024 memory=1720 CPUtime=33.54 cores=0,2,4,6
/proc/3565/task/3641/stat : 3641 (java) R 3563 3563 30846 0 -1 4202560 1031 0 0 0 3354 0 0 0 20 0 19 0 475405935 15857688576 87946 33554432000 4194304 4196468 140726734341664 139916315078360 139916902032747 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
Current children cumulated CPU time: 157.27 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 353236 KiB
[startup+40.8012 s]
/proc/loadavg: 8.52 8.60 8.21 10/235 3643
/proc/meminfo: memFree=14953692/32770624 swapFree=66938936/67108860
[pid=3563] ppid=3560 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/3563/stat : 3563 (xcsp3-exec) S 3560 3563 30846 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475405308 115843072 363 33554432000 4194304 5098028 140727017117712 140727017115816 140469029212796 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 24719360 140727017120635 140727017120877 140727017120877 140727017123786 0
/proc/3563/statm: 28282 363 304 221 0 87 0
[pid=3565] ppid=3563 vsize=15486024 memory=351784 CPUtime=160.43 cores=0,2,4,6
/proc/3565/stat : 3565 (java) S 3563 3563 30846 0 -1 1077944320 45187 0 0 0 16020 23 0 0 20 0 19 0 475405308 15857688576 87946 33554432000 4194304 4196468 140726734341664 140726734324208 139917259402999 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
/proc/3565/statm: 3871506 87946 3530 1 0 3832606 0
[pid=3565/tid=3566] ppid=3563 vsize=15486024 memory=4126316290023845779 CPUtime=1.27 cores=0,2,4,6
/proc/3565/task/3566/stat : 3566 (java) S 3563 3563 30846 0 -1 1077944384 9467 0 0 0 121 6 0 0 20 0 19 0 475405308 15857688576 87946 33554432000 4194304 4196468 140726734341664 139917263643776 139917259413205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
[pid=3565/tid=3567] ppid=3563 vsize=15486024 memory=928 CPUtime=0.02 cores=0,2,4,6
/proc/3565/task/3567/stat : 3567 (java) S 3563 3563 30846 0 -1 1077944384 106 0 0 0 1 1 0 0 20 0 19 0 475405309 15857688576 87946 33554432000 4194304 4196468 140726734341664 139917218163216 139917259413205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
[pid=3565/tid=3568] ppid=3563 vsize=15486024 memory=331256 CPUtime=0.02 cores=0,2,4,6
/proc/3565/task/3568/stat : 3568 (java) S 3563 3563 30846 0 -1 1077944384 93 0 0 0 1 1 0 0 20 0 19 0 475405309 15857688576 87946 33554432000 4194304 4196468 140726734341664 139916850834064 139917259413205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
[pid=3565/tid=3569] ppid=3563 vsize=15486024 memory=8187704045996132563 CPUtime=0.03 cores=0,2,4,6
/proc/3565/task/3569/stat : 3569 (java) S 3563 3563 30846 0 -1 1077944384 115 0 0 0 2 1 0 0 20 0 19 0 475405309 15857688576 87946 33554432000 4194304 4196468 140726734341664 139916849781008 139917259413205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
[pid=3565/tid=3570] ppid=3563 vsize=15486024 memory=7679373425970869011 CPUtime=0.02 cores=0,2,4,6
/proc/3565/task/3570/stat : 3570 (java) S 3563 3563 30846 0 -1 1077944384 81 0 0 0 1 1 0 0 20 0 19 0 475405309 15857688576 87946 33554432000 4194304 4196468 140726734341664 139916848728464 139917259413205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
[pid=3565/tid=3571] ppid=3563 vsize=15486024 memory=1452 CPUtime=0.01 cores=0,2,4,6
/proc/3565/task/3571/stat : 3571 (java) S 3563 3563 30846 0 -1 1077944384 354 0 0 0 1 0 0 0 20 0 19 0 475405310 15857688576 87946 33554432000 4194304 4196468 140726734341664 139916334815984 139917259414146 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
[pid=3565/tid=3572] ppid=3563 vsize=15486024 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/3565/task/3572/stat : 3572 (java) S 3563 3563 30846 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475405311 15857688576 87946 33554432000 4194304 4196468 140726734341664 139916333762272 139917259413205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
[pid=3565/tid=3573] ppid=3563 vsize=15486024 memory=351784 CPUtime=0 cores=0,2,4,6
/proc/3565/task/3573/stat : 3573 (java) S 3563 3563 30846 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 475405311 15857688576 87946 33554432000 4194304 4196468 140726734341664 139916332709120 139917259413205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
[pid=3565/tid=3574] ppid=3563 vsize=15486024 memory=2016 CPUtime=0 cores=0,2,4,6
/proc/3565/task/3574/stat : 3574 (java) S 3563 3563 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475405313 15857688576 87946 33554432000 4194304 4196468 140726734341664 139916331657680 139917259421595 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
[pid=3565/tid=3575] ppid=3563 vsize=15486024 memory=0 CPUtime=2.64 cores=0,2,4,6
/proc/3565/task/3575/stat : 3575 (java) S 3563 3563 30846 0 -1 1077944384 11498 0 0 0 262 2 0 0 20 0 19 0 475405313 15857688576 87946 33554432000 4194304 4196468 140726734341664 139916330604784 139917259414146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
[pid=3565/tid=3576] ppid=3563 vsize=15486024 memory=-2893623298589923098 CPUtime=2.44 cores=0,2,4,6
/proc/3565/task/3576/stat : 3576 (java) S 3563 3563 30846 0 -1 1077944384 9194 0 0 0 243 1 0 0 20 0 19 0 475405314 15857688576 87946 33554432000 4194304 4196468 140726734341664 139916329552240 139917259414146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
[pid=3565/tid=3577] ppid=3563 vsize=15486024 memory=-2245088631185882904 CPUtime=0.89 cores=0,2,4,6
/proc/3565/task/3577/stat : 3577 (java) S 3563 3563 30846 0 -1 1077944384 6387 0 0 0 88 1 0 0 20 0 19 0 475405314 15857688576 87946 33554432000 4194304 4196468 140726734341664 139916328499184 139917259414146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
[pid=3565/tid=3578] ppid=3563 vsize=15486024 memory=-7533511066075829596 CPUtime=0 cores=0,2,4,6
/proc/3565/task/3578/stat : 3578 (java) S 3563 3563 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475405314 15857688576 87946 33554432000 4194304 4196468 140726734341664 139916327446880 139917259413205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
[pid=3565/tid=3579] ppid=3563 vsize=15486024 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/3565/task/3579/stat : 3579 (java) S 3563 3563 30846 0 -1 1077944384 307 0 0 0 0 1 0 0 20 0 19 0 475405314 15857688576 87946 33554432000 4194304 4196468 140726734341664 139916326394928 139917259414146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
[pid=3565/tid=3638] ppid=3563 vsize=15486024 memory=0 CPUtime=34.21 cores=0,2,4,6
/proc/3565/task/3638/stat : 3638 (java) R 3563 3563 30846 0 -1 4202560 406 0 0 0 3421 0 0 0 20 0 19 0 475405935 15857688576 87946 33554432000 4194304 4196468 140726734341664 139916314025352 139916902032995 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
[pid=3565/tid=3639] ppid=3563 vsize=15486024 memory=0 CPUtime=33.76 cores=0,2,4,6
/proc/3565/task/3639/stat : 3639 (java) R 3563 3563 30846 0 -1 4202560 1804 0 0 0 3375 1 0 0 20 0 19 0 475405935 15857688576 87946 33554432000 4194304 4196468 140726734341664 139916311920760 139916902032716 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
[pid=3565/tid=3640] ppid=3563 vsize=15486024 memory=780 CPUtime=34.18 cores=0,2,4,6
/proc/3565/task/3640/stat : 3640 (java) R 3563 3563 30846 0 -1 4202560 1797 0 0 0 3418 0 0 0 20 0 19 0 475405935 15857688576 87946 33554432000 4194304 4196468 140726734341664 139916310868016 139916902032811 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
[pid=3565/tid=3641] ppid=3563 vsize=15486024 memory=14008 CPUtime=34.33 cores=0,2,4,6
/proc/3565/task/3641/stat : 3641 (java) R 3563 3563 30846 0 -1 4202560 1031 0 0 0 3433 0 0 0 20 0 19 0 475405935 15857688576 87946 33554432000 4194304 4196468 140726734341664 139916315078360 139916902032811 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
Current children cumulated CPU time: 160.43 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 353236 KiB
[startup+41.0012 s]*
/proc/loadavg: 8.52 8.60 8.21 10/235 3643
/proc/meminfo: memFree=14955176/32770624 swapFree=66938936/67108860
[pid=3563] ppid=3560 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/3563/stat : 3563 (xcsp3-exec) S 3560 3563 30846 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475405308 115843072 363 33554432000 4194304 5098028 140727017117712 140727017115816 140469029212796 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 24719360 140727017120635 140727017120877 140727017120877 140727017123786 0
/proc/3563/statm: 28282 363 304 221 0 87 0
[pid=3565] ppid=3563 vsize=15486024 memory=351784 CPUtime=161.25 cores=0,2,4,6
/proc/3565/stat : 3565 (java) S 3563 3563 30846 0 -1 1077944320 45187 0 0 0 16102 23 0 0 20 0 19 0 475405308 15857688576 87946 33554432000 4194304 4196468 140726734341664 140726734324208 139917259402999 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
/proc/3565/statm: 3871506 87946 3530 1 0 3832606 0
[pid=3565/tid=3566] ppid=3563 vsize=15486024 memory=6935054825532540783 CPUtime=1.27 cores=0,2,4,6
/proc/3565/task/3566/stat : 3566 (java) S 3563 3563 30846 0 -1 1077944384 9467 0 0 0 121 6 0 0 20 0 19 0 475405308 15857688576 87946 33554432000 4194304 4196468 140726734341664 139917263643776 139917259413205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
[pid=3565/tid=3567] ppid=3563 vsize=15486024 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/3565/task/3567/stat : 3567 (java) S 3563 3563 30846 0 -1 1077944384 106 0 0 0 1 1 0 0 20 0 19 0 475405309 15857688576 87946 33554432000 4194304 4196468 140726734341664 139917218163216 139917259413205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
[pid=3565/tid=3568] ppid=3563 vsize=15486024 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/3565/task/3568/stat : 3568 (java) S 3563 3563 30846 0 -1 1077944384 93 0 0 0 1 1 0 0 20 0 19 0 475405309 15857688576 87946 33554432000 4194304 4196468 140726734341664 139916850834064 139917259413205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
[pid=3565/tid=3569] ppid=3563 vsize=15486024 memory=7588935152971048533 CPUtime=0.03 cores=0,2,4,6
/proc/3565/task/3569/stat : 3569 (java) S 3563 3563 30846 0 -1 1077944384 115 0 0 0 2 1 0 0 20 0 19 0 475405309 15857688576 87946 33554432000 4194304 4196468 140726734341664 139916849781008 139917259413205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
[pid=3565/tid=3570] ppid=3563 vsize=15486024 memory=3978422533441728799 CPUtime=0.02 cores=0,2,4,6
/proc/3565/task/3570/stat : 3570 (java) S 3563 3563 30846 0 -1 1077944384 81 0 0 0 1 1 0 0 20 0 19 0 475405309 15857688576 87946 33554432000 4194304 4196468 140726734341664 139916848728464 139917259413205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
[pid=3565/tid=3571] ppid=3563 vsize=15486024 memory=3761546359618525088 CPUtime=0.01 cores=0,2,4,6
/proc/3565/task/3571/stat : 3571 (java) S 3563 3563 30846 0 -1 1077944384 354 0 0 0 1 0 0 0 20 0 19 0 475405310 15857688576 87946 33554432000 4194304 4196468 140726734341664 139916334815984 139917259414146 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
[pid=3565/tid=3572] ppid=3563 vsize=15486024 memory=3691042057495392287 CPUtime=0 cores=0,2,4,6
/proc/3565/task/3572/stat : 3572 (java) S 3563 3563 30846 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475405311 15857688576 87946 33554432000 4194304 4196468 140726734341664 139916333762272 139917259413205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
[pid=3565/tid=3573] ppid=3563 vsize=15486024 memory=-9001734000804784231 CPUtime=0 cores=0,2,4,6
/proc/3565/task/3573/stat : 3573 (java) S 3563 3563 30846 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 475405311 15857688576 87946 33554432000 4194304 4196468 140726734341664 139916332709120 139917259413205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
[pid=3565/tid=3574] ppid=3563 vsize=15486024 memory=-7966001734536614954 CPUtime=0 cores=0,2,4,6
/proc/3565/task/3574/stat : 3574 (java) S 3563 3563 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475405313 15857688576 87946 33554432000 4194304 4196468 140726734341664 139916331657680 139917259421595 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
[pid=3565/tid=3575] ppid=3563 vsize=15486024 memory=0 CPUtime=2.64 cores=0,2,4,6
/proc/3565/task/3575/stat : 3575 (java) S 3563 3563 30846 0 -1 1077944384 11498 0 0 0 262 2 0 0 20 0 19 0 475405313 15857688576 87946 33554432000 4194304 4196468 140726734341664 139916330604784 139917259414146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
[pid=3565/tid=3576] ppid=3563 vsize=15486024 memory=139959295011975 CPUtime=2.44 cores=0,2,4,6
/proc/3565/task/3576/stat : 3576 (java) S 3563 3563 30846 0 -1 1077944384 9194 0 0 0 243 1 0 0 20 0 19 0 475405314 15857688576 87946 33554432000 4194304 4196468 140726734341664 139916329552240 139917259414146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
[pid=3565/tid=3577] ppid=3563 vsize=15486024 memory=3472468237634024566 CPUtime=0.89 cores=0,2,4,6
/proc/3565/task/3577/stat : 3577 (java) S 3563 3563 30846 0 -1 1077944384 6387 0 0 0 88 1 0 0 20 0 19 0 475405314 15857688576 87946 33554432000 4194304 4196468 140726734341664 139916328499184 139917259414146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
[pid=3565/tid=3578] ppid=3563 vsize=15486024 memory=139959294875087 CPUtime=0 cores=0,2,4,6
/proc/3565/task/3578/stat : 3578 (java) S 3563 3563 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475405314 15857688576 87946 33554432000 4194304 4196468 140726734341664 139916327446880 139917259413205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
[pid=3565/tid=3579] ppid=3563 vsize=15486024 memory=139959394674391 CPUtime=0.01 cores=0,2,4,6
/proc/3565/task/3579/stat : 3579 (java) S 3563 3563 30846 0 -1 1077944384 307 0 0 0 0 1 0 0 20 0 19 0 475405314 15857688576 87946 33554432000 4194304 4196468 140726734341664 139916326394928 139917259414146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
[pid=3565/tid=3638] ppid=3563 vsize=15486024 memory=1452 CPUtime=34.41 cores=0,2,4,6
/proc/3565/task/3638/stat : 3638 (java) R 3563 3563 30846 0 -1 4202560 406 0 0 0 3441 0 0 0 20 0 19 0 475405935 15857688576 87946 33554432000 4194304 4196468 140726734341664 139916314025352 139916902032875 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
[pid=3565/tid=3639] ppid=3563 vsize=15486024 memory=343568 CPUtime=33.97 cores=0,2,4,6
/proc/3565/task/3639/stat : 3639 (java) R 3563 3563 30846 0 -1 4202560 1804 0 0 0 3396 1 0 0 20 0 19 0 475405935 15857688576 87946 33554432000 4194304 4196468 140726734341664 139916311920760 139916902033088 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
[pid=3565/tid=3640] ppid=3563 vsize=15486024 memory=0 CPUtime=34.39 cores=0,2,4,6
/proc/3565/task/3640/stat : 3640 (java) R 3563 3563 30846 0 -1 4202560 1797 0 0 0 3439 0 0 0 20 0 19 0 475405935 15857688576 87946 33554432000 4194304 4196468 140726734341664 139916310868016 139916902032811 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
[pid=3565/tid=3641] ppid=3563 vsize=15486024 memory=0 CPUtime=34.54 cores=0,2,4,6
/proc/3565/task/3641/stat : 3641 (java) R 3563 3563 30846 0 -1 4202560 1031 0 0 0 3454 0 0 0 20 0 19 0 475405935 15857688576 87946 33554432000 4194304 4196468 140726734341664 139916315078360 139916902033083 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
Current children cumulated CPU time: 161.25 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 353236 KiB
[startup+41.1112 s]
/proc/loadavg: 8.52 8.60 8.21 10/235 3643
/proc/meminfo: memFree=14955176/32770624 swapFree=66938936/67108860
[pid=3563] ppid=3560 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/3563/stat : 3563 (xcsp3-exec) S 3560 3563 30846 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475405308 115843072 363 33554432000 4194304 5098028 140727017117712 140727017115816 140469029212796 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 24719360 140727017120635 140727017120877 140727017120877 140727017123786 0
/proc/3563/statm: 28282 363 304 221 0 87 0
[pid=3565] ppid=3563 vsize=15486024 memory=353832 CPUtime=161.66 cores=0,2,4,6
/proc/3565/stat : 3565 (java) S 3563 3563 30846 0 -1 1077944320 45189 0 0 0 16143 23 0 0 20 0 19 0 475405308 15857688576 88458 33554432000 4194304 4196468 140726734341664 140726734324208 139917259402999 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
/proc/3565/statm: 3871506 88458 3530 1 0 3832606 0
[pid=3565/tid=3566] ppid=3563 vsize=15486024 memory=1452 CPUtime=1.27 cores=0,2,4,6
/proc/3565/task/3566/stat : 3566 (java) S 3563 3563 30846 0 -1 1077944384 9467 0 0 0 121 6 0 0 20 0 19 0 475405308 15857688576 88458 33554432000 4194304 4196468 140726734341664 139917263643776 139917259413205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
[pid=3565/tid=3567] ppid=3563 vsize=15486024 memory=56 CPUtime=0.02 cores=0,2,4,6
/proc/3565/task/3567/stat : 3567 (java) S 3563 3563 30846 0 -1 1077944384 106 0 0 0 1 1 0 0 20 0 19 0 475405309 15857688576 88458 33554432000 4194304 4196468 140726734341664 139917218163216 139917259413205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
[pid=3565/tid=3568] ppid=3563 vsize=15486024 memory=2832 CPUtime=0.02 cores=0,2,4,6
/proc/3565/task/3568/stat : 3568 (java) S 3563 3563 30846 0 -1 1077944384 93 0 0 0 1 1 0 0 20 0 19 0 475405309 15857688576 88458 33554432000 4194304 4196468 140726734341664 139916850834064 139917259413205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
[pid=3565/tid=3569] ppid=3563 vsize=15486024 memory=784 CPUtime=0.03 cores=0,2,4,6
/proc/3565/task/3569/stat : 3569 (java) S 3563 3563 30846 0 -1 1077944384 115 0 0 0 2 1 0 0 20 0 19 0 475405309 15857688576 88458 33554432000 4194304 4196468 140726734341664 139916849781008 139917259413205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
[pid=3565/tid=3570] ppid=3563 vsize=15486024 memory=164 CPUtime=0.02 cores=0,2,4,6
/proc/3565/task/3570/stat : 3570 (java) S 3563 3563 30846 0 -1 1077944384 81 0 0 0 1 1 0 0 20 0 19 0 475405309 15857688576 88458 33554432000 4194304 4196468 140726734341664 139916848728464 139917259413205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
[pid=3565/tid=3571] ppid=3563 vsize=15486024 memory=6944652177228967994 CPUtime=0.01 cores=0,2,4,6
/proc/3565/task/3571/stat : 3571 (java) S 3563 3563 30846 0 -1 1077944384 354 0 0 0 1 0 0 0 20 0 19 0 475405310 15857688576 88458 33554432000 4194304 4196468 140726734341664 139916334815984 139917259414146 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
[pid=3565/tid=3572] ppid=3563 vsize=15486024 memory=1096 CPUtime=0 cores=0,2,4,6
/proc/3565/task/3572/stat : 3572 (java) S 3563 3563 30846 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475405311 15857688576 88458 33554432000 4194304 4196468 140726734341664 139916333762272 139917259413205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
[pid=3565/tid=3573] ppid=3563 vsize=15486024 memory=1188 CPUtime=0 cores=0,2,4,6
/proc/3565/task/3573/stat : 3573 (java) S 3563 3563 30846 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 475405311 15857688576 88458 33554432000 4194304 4196468 140726734341664 139916332709120 139917259413205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
[pid=3565/tid=3574] ppid=3563 vsize=15486024 memory=279918588176800 CPUtime=0 cores=0,2,4,6
/proc/3565/task/3574/stat : 3574 (java) S 3563 3563 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475405313 15857688576 88458 33554432000 4194304 4196468 140726734341664 139916331657680 139917259421595 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
[pid=3565/tid=3575] ppid=3563 vsize=15486024 memory=964 CPUtime=2.64 cores=0,2,4,6
/proc/3565/task/3575/stat : 3575 (java) S 3563 3563 30846 0 -1 1077944384 11498 0 0 0 262 2 0 0 20 0 19 0 475405313 15857688576 88458 33554432000 4194304 4196468 140726734341664 139916330604784 139917259414146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
[pid=3565/tid=3576] ppid=3563 vsize=15486024 memory=1 CPUtime=2.44 cores=0,2,4,6
/proc/3565/task/3576/stat : 3576 (java) S 3563 3563 30846 0 -1 1077944384 9194 0 0 0 243 1 0 0 20 0 19 0 475405314 15857688576 88458 33554432000 4194304 4196468 140726734341664 139916329552240 139917259414146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
[pid=3565/tid=3577] ppid=3563 vsize=15486024 memory=2518 CPUtime=0.89 cores=0,2,4,6
/proc/3565/task/3577/stat : 3577 (java) S 3563 3563 30846 0 -1 1077944384 6387 0 0 0 88 1 0 0 20 0 19 0 475405314 15857688576 88458 33554432000 4194304 4196468 140726734341664 139916328499184 139917259414146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
[pid=3565/tid=3578] ppid=3563 vsize=15486024 memory=4209357772117481859 CPUtime=0 cores=0,2,4,6
/proc/3565/task/3578/stat : 3578 (java) S 3563 3563 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475405314 15857688576 88458 33554432000 4194304 4196468 140726734341664 139916327446880 139917259413205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
[pid=3565/tid=3579] ppid=3563 vsize=15486024 memory=2340 CPUtime=0.01 cores=0,2,4,6
/proc/3565/task/3579/stat : 3579 (java) S 3563 3563 30846 0 -1 1077944384 307 0 0 0 0 1 0 0 20 0 19 0 475405314 15857688576 88458 33554432000 4194304 4196468 140726734341664 139916326394928 139917259414146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
[pid=3565/tid=3638] ppid=3563 vsize=15486024 memory=4206468019014099040 CPUtime=34.51 cores=0,2,4,6
/proc/3565/task/3638/stat : 3638 (java) R 3563 3563 30846 0 -1 4202560 406 0 0 0 3451 0 0 0 20 0 19 0 475405935 15857688576 88458 33554432000 4194304 4196468 140726734341664 139916314025352 139916902032875 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
[pid=3565/tid=3639] ppid=3563 vsize=15486024 memory=132 CPUtime=34.07 cores=0,2,4,6
/proc/3565/task/3639/stat : 3639 (java) R 3563 3563 30846 0 -1 4202560 1806 0 0 0 3406 1 0 0 20 0 19 0 475405935 15857688576 88458 33554432000 4194304 4196468 140726734341664 139916311920760 139916902032829 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
[pid=3565/tid=3640] ppid=3563 vsize=15486024 memory=6009892510126860133 CPUtime=34.49 cores=0,2,4,6
/proc/3565/task/3640/stat : 3640 (java) R 3563 3563 30846 0 -1 4202560 1797 0 0 0 3449 0 0 0 20 0 19 0 475405935 15857688576 88458 33554432000 4194304 4196468 140726734341664 139916310868016 139916902032734 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
[pid=3565/tid=3641] ppid=3563 vsize=15486024 memory=6009892510126860133 CPUtime=34.64 cores=0,2,4,6
/proc/3565/task/3641/stat : 3641 (java) R 3563 3563 30846 0 -1 4202560 1031 0 0 0 3464 0 0 0 20 0 19 0 475405935 15857688576 88458 33554432000 4194304 4196468 140726734341664 139916315078360 139916902032984 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140726734345199 140726734345370 140726734345370 140726734348239 0
Current children cumulated CPU time: 161.66 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 355284 KiB
Child status: 0
Real time (s): 41.1736
CPU time (s): 161.896
CPU user time (s): 161.653
CPU system time (s): 0.242916
CPU usage (%): 393.203
Max. virtual memory (cumulated for all children) (KiB): 15599152
Max. memory (cumulated for all children) (KiB): 355284
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 161.653
system time used= 0.242916
maximum resident set size= 354308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46380
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= 4371
involuntary context switches= 2758
# summary of solver processes directly reported to runsolver:
# pid: 3563
# total CPU time (s): 161.896
# total CPU user time (s): 161.653
# total CPU system time (s): 0.242916
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.280764 second user time and 0.499338 second system time
The end