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 (13149 MiB free)
memory of node 1: 16384 MiB (12478 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406283-1569402771/watcher-4406283-1569402771 -o /var/tmp/evaluation-result-4406283-1569402771/solver-4406283-1569402771 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node136-1569396625-26122 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 1988558389 HOME/instance-4406283-1569402771.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
Current StackSize limit: 8192 KiB
solver pid=28243, runsolver pid=28240
[startup+0.100058 s]*
/proc/loadavg: 1.61 1.55 1.57 4/231 28259
/proc/meminfo: memFree=26226320/32770624 swapFree=67002132/67108860
[pid=28243] ppid=28240 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/28243/stat : 28243 (xcsp3-exec) S 28240 28243 26090 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516525704 115843072 364 33554432000 4194304 5098028 140731584703088 140731584701192 140150566167164 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30670848 140731584709462 140731584709721 140731584709721 140731584712646 0
/proc/28243/statm: 28282 364 305 221 0 87 0
[pid=28245] ppid=28243 vsize=15144776 memory=29084 CPUtime=0.13 cores=1,3,5,7
/proc/28245/stat : 28245 (java) S 28243 28243 26090 0 -1 1077944320 5670 0 0 0 12 1 0 0 20 0 15 0 516525704 15508250624 7271 33554432000 4194304 4196468 140721712988752 140721712971296 139664288161527 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
/proc/28245/statm: 3786194 7271 3205 1 0 3748377 0
[pid=28245/tid=28246] ppid=28243 vsize=15144776 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/28245/task/28246/stat : 28246 (java) R 28243 28243 26090 0 -1 4202560 3575 0 0 0 8 1 0 0 20 0 15 0 516525704 15508250624 7271 33554432000 4194304 4196468 140721712988752 139664292384224 139664288173462 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
[pid=28245/tid=28247] ppid=28243 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/28245/task/28247/stat : 28247 (java) S 28243 28243 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516525705 15508250624 7271 33554432000 4194304 4196468 140721712988752 139664224397840 139664288171733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
[pid=28245/tid=28248] ppid=28243 vsize=15144776 memory=140600951404160 CPUtime=0 cores=1,3,5,7
/proc/28245/task/28248/stat : 28248 (java) S 28243 28243 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516525705 15508250624 7271 33554432000 4194304 4196468 140721712988752 139664223345296 139664288171733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
[pid=28245/tid=28249] ppid=28243 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28245/task/28249/stat : 28249 (java) S 28243 28243 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516525705 15508250624 7271 33554432000 4194304 4196468 140721712988752 139664222292240 139664288171733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
[pid=28245/tid=28250] ppid=28243 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28245/task/28250/stat : 28250 (java) S 28243 28243 26090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516525705 15508250624 7271 33554432000 4194304 4196468 140721712988752 139664221239696 139664288171733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
[pid=28245/tid=28251] ppid=28243 vsize=15144776 memory=140600951404160 CPUtime=0 cores=1,3,5,7
/proc/28245/task/28251/stat : 28251 (java) S 28243 28243 26090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516525706 15508250624 7271 33554432000 4194304 4196468 140721712988752 139663823915760 139664288172674 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
[pid=28245/tid=28252] ppid=28243 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28245/task/28252/stat : 28252 (java) S 28243 28243 26090 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516525707 15508250624 7271 33554432000 4194304 4196468 140721712988752 139663822861984 139664288171733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
[pid=28245/tid=28253] ppid=28243 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28245/task/28253/stat : 28253 (java) S 28243 28243 26090 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516525707 15508250624 7271 33554432000 4194304 4196468 140721712988752 139663821808880 139664288171733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
[pid=28245/tid=28254] ppid=28243 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28245/task/28254/stat : 28254 (java) S 28243 28243 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516525709 15508250624 7271 33554432000 4194304 4196468 140721712988752 139663820757456 139664288180123 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
[pid=28245/tid=28255] ppid=28243 vsize=15144776 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/28245/task/28255/stat : 28255 (java) S 28243 28243 26090 0 -1 1077944384 469 0 0 0 1 0 0 0 20 0 15 0 516525709 15508250624 7271 33554432000 4194304 4196468 140721712988752 139663819704560 139664288172674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
[pid=28245/tid=28256] ppid=28243 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28245/task/28256/stat : 28256 (java) S 28243 28243 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516525709 15508250624 7271 33554432000 4194304 4196468 140721712988752 139663818652016 139664288172674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
[pid=28245/tid=28257] ppid=28243 vsize=15144776 memory=140600951404160 CPUtime=0.02 cores=1,3,5,7
/proc/28245/task/28257/stat : 28257 (java) R 28243 28243 26090 0 -1 4202560 318 0 0 0 2 0 0 0 20 0 15 0 516525709 15508250624 7271 33554432000 4194304 4196468 140721712988752 139663817598960 139664267297344 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
[pid=28245/tid=28258] ppid=28243 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28245/task/28258/stat : 28258 (java) S 28243 28243 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516525710 15508250624 7271 33554432000 4194304 4196468 140721712988752 139663816546656 139664288171733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
[pid=28245/tid=28259] ppid=28243 vsize=15144776 memory=140600951404160 CPUtime=0 cores=1,3,5,7
/proc/28245/task/28259/stat : 28259 (java) S 28243 28243 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516525710 15508250624 7271 33554432000 4194304 4196468 140721712988752 139663815494704 139664288172674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30540 KiB
[startup+0.210966 s]*
/proc/loadavg: 1.61 1.55 1.57 4/231 28259
/proc/meminfo: memFree=26212832/32770624 swapFree=67002132/67108860
[pid=28243] ppid=28240 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/28243/stat : 28243 (xcsp3-exec) S 28240 28243 26090 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516525704 115843072 364 33554432000 4194304 5098028 140731584703088 140731584701192 140150566167164 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30670848 140731584709462 140731584709721 140731584709721 140731584712646 0
/proc/28243/statm: 28282 364 305 221 0 87 0
[pid=28245] ppid=28243 vsize=15144776 memory=41112 CPUtime=0.35 cores=1,3,5,7
/proc/28245/stat : 28245 (java) S 28243 28243 26090 0 -1 1077944320 9503 0 0 0 33 2 0 0 20 0 15 0 516525704 15508250624 10278 33554432000 4194304 4196468 140721712988752 140721712971296 139664288161527 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
/proc/28245/statm: 3786194 10278 3316 1 0 3748377 0
[pid=28245/tid=28246] ppid=28243 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/28245/task/28246/stat : 28246 (java) S 28243 28243 26090 0 -1 1077944384 6638 0 0 0 18 2 0 0 20 0 15 0 516525704 15508250624 10278 33554432000 4194304 4196468 140721712988752 139664292396512 139664288171733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
[pid=28245/tid=28247] ppid=28243 vsize=15144776 memory=13620 CPUtime=0 cores=1,3,5,7
/proc/28245/task/28247/stat : 28247 (java) S 28243 28243 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516525705 15508250624 10278 33554432000 4194304 4196468 140721712988752 139664224397840 139664288171733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
[pid=28245/tid=28248] ppid=28243 vsize=15144776 memory=140600955234933 CPUtime=0 cores=1,3,5,7
/proc/28245/task/28248/stat : 28248 (java) S 28243 28243 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516525705 15508250624 10278 33554432000 4194304 4196468 140721712988752 139664223345296 139664288171733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
[pid=28245/tid=28249] ppid=28243 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28245/task/28249/stat : 28249 (java) S 28243 28243 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516525705 15508250624 10278 33554432000 4194304 4196468 140721712988752 139664222292240 139664288171733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
[pid=28245/tid=28250] ppid=28243 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28245/task/28250/stat : 28250 (java) S 28243 28243 26090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516525705 15508250624 10278 33554432000 4194304 4196468 140721712988752 139664221239696 139664288171733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
[pid=28245/tid=28251] ppid=28243 vsize=15144776 memory=140600951404160 CPUtime=0 cores=1,3,5,7
/proc/28245/task/28251/stat : 28251 (java) S 28243 28243 26090 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516525706 15508250624 10278 33554432000 4194304 4196468 140721712988752 139663823915760 139664288172674 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
[pid=28245/tid=28252] ppid=28243 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28245/task/28252/stat : 28252 (java) S 28243 28243 26090 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516525707 15508250624 10278 33554432000 4194304 4196468 140721712988752 139663822861984 139664288171733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
[pid=28245/tid=28253] ppid=28243 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28245/task/28253/stat : 28253 (java) S 28243 28243 26090 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516525707 15508250624 10278 33554432000 4194304 4196468 140721712988752 139663821808880 139664288171733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
[pid=28245/tid=28254] ppid=28243 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28245/task/28254/stat : 28254 (java) S 28243 28243 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516525709 15508250624 10278 33554432000 4194304 4196468 140721712988752 139663820757456 139664288180123 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
[pid=28245/tid=28255] ppid=28243 vsize=15144776 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/28245/task/28255/stat : 28255 (java) S 28243 28243 26090 0 -1 1077944384 671 0 0 0 3 0 0 0 20 0 15 0 516525709 15508250624 10278 33554432000 4194304 4196468 140721712988752 139663819704560 139664288172674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
[pid=28245/tid=28256] ppid=28243 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/28245/task/28256/stat : 28256 (java) S 28243 28243 26090 0 -1 1077944384 116 0 0 0 2 0 0 0 20 0 15 0 516525709 15508250624 10278 33554432000 4194304 4196468 140721712988752 139663818652016 139664288172674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
[pid=28245/tid=28257] ppid=28243 vsize=15144776 memory=140600951404160 CPUtime=0.08 cores=1,3,5,7
/proc/28245/task/28257/stat : 28257 (java) S 28243 28243 26090 0 -1 1077944384 770 0 0 0 8 0 0 0 20 0 15 0 516525709 15508250624 10278 33554432000 4194304 4196468 140721712988752 139663817598960 139664288172674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
[pid=28245/tid=28258] ppid=28243 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28245/task/28258/stat : 28258 (java) S 28243 28243 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516525710 15508250624 10278 33554432000 4194304 4196468 140721712988752 139663816546656 139664288171733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
[pid=28245/tid=28259] ppid=28243 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28245/task/28259/stat : 28259 (java) S 28243 28243 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516525710 15508250624 10278 33554432000 4194304 4196468 140721712988752 139663815494704 139664288172674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42568 KiB
[startup+0.310788 s]*
/proc/loadavg: 1.61 1.55 1.57 4/231 28259
/proc/meminfo: memFree=26205200/32770624 swapFree=67002132/67108860
[pid=28243] ppid=28240 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/28243/stat : 28243 (xcsp3-exec) S 28240 28243 26090 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516525704 115843072 364 33554432000 4194304 5098028 140731584703088 140731584701192 140150566167164 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30670848 140731584709462 140731584709721 140731584709721 140731584712646 0
/proc/28243/statm: 28282 364 305 221 0 87 0
[pid=28245] ppid=28243 vsize=15149032 memory=50104 CPUtime=0.54 cores=1,3,5,7
/proc/28245/stat : 28245 (java) S 28243 28243 26090 0 -1 1077944320 10877 0 0 0 50 4 0 0 20 0 15 0 516525704 15512608768 12526 33554432000 4194304 4196468 140721712988752 140721712971296 139664288161527 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
/proc/28245/statm: 3787258 12526 3355 1 0 3748377 0
[pid=28245/tid=28246] ppid=28243 vsize=15149032 memory=7883960649037381690 CPUtime=0.3 cores=1,3,5,7
/proc/28245/task/28246/stat : 28246 (java) R 28243 28243 26090 0 -1 4202560 7853 0 0 0 28 2 0 0 20 0 15 0 516525704 15512608768 12526 33554432000 4194304 4196468 140721712988752 139664292395312 139664272242014 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
[pid=28245/tid=28247] ppid=28243 vsize=15149032 memory=13961 CPUtime=0 cores=1,3,5,7
/proc/28245/task/28247/stat : 28247 (java) S 28243 28243 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516525705 15512608768 12526 33554432000 4194304 4196468 140721712988752 139664224397840 139664288171733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
[pid=28245/tid=28248] ppid=28243 vsize=15149032 memory=3845718 CPUtime=0 cores=1,3,5,7
/proc/28245/task/28248/stat : 28248 (java) S 28243 28243 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516525705 15512608768 12526 33554432000 4194304 4196468 140721712988752 139664223345296 139664288171733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
[pid=28245/tid=28249] ppid=28243 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28245/task/28249/stat : 28249 (java) S 28243 28243 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516525705 15512608768 12526 33554432000 4194304 4196468 140721712988752 139664222292240 139664288171733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
[pid=28245/tid=28250] ppid=28243 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28245/task/28250/stat : 28250 (java) S 28243 28243 26090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516525705 15512608768 12526 33554432000 4194304 4196468 140721712988752 139664221239696 139664288171733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
[pid=28245/tid=28251] ppid=28243 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28245/task/28251/stat : 28251 (java) S 28243 28243 26090 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516525706 15512608768 12526 33554432000 4194304 4196468 140721712988752 139663823915760 139664288172674 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
[pid=28245/tid=28252] ppid=28243 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28245/task/28252/stat : 28252 (java) S 28243 28243 26090 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516525707 15512608768 12526 33554432000 4194304 4196468 140721712988752 139663822861984 139664288171733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
[pid=28245/tid=28253] ppid=28243 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28245/task/28253/stat : 28253 (java) S 28243 28243 26090 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516525707 15512608768 12526 33554432000 4194304 4196468 140721712988752 139663821808880 139664288171733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
[pid=28245/tid=28254] ppid=28243 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28245/task/28254/stat : 28254 (java) S 28243 28243 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516525709 15512608768 12526 33554432000 4194304 4196468 140721712988752 139663820757456 139664288180123 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
[pid=28245/tid=28255] ppid=28243 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/28245/task/28255/stat : 28255 (java) S 28243 28243 26090 0 -1 1077944384 685 0 0 0 4 0 0 0 20 0 15 0 516525709 15512608768 12526 33554432000 4194304 4196468 140721712988752 139663819704560 139664288172674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
[pid=28245/tid=28256] ppid=28243 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/28245/task/28256/stat : 28256 (java) S 28243 28243 26090 0 -1 1077944384 203 0 0 0 4 0 0 0 20 0 15 0 516525709 15512608768 12526 33554432000 4194304 4196468 140721712988752 139663818652016 139664288172674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
[pid=28245/tid=28257] ppid=28243 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/28245/task/28257/stat : 28257 (java) S 28243 28243 26090 0 -1 1077944384 833 0 0 0 12 0 0 0 20 0 15 0 516525709 15512608768 12526 33554432000 4194304 4196468 140721712988752 139663817598960 139664288172674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
[pid=28245/tid=28258] ppid=28243 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28245/task/28258/stat : 28258 (java) S 28243 28243 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516525710 15512608768 12526 33554432000 4194304 4196468 140721712988752 139663816546656 139664288171733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
[pid=28245/tid=28259] ppid=28243 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28245/task/28259/stat : 28259 (java) S 28243 28243 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516525710 15512608768 12526 33554432000 4194304 4196468 140721712988752 139663815494704 139664288172674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51560 KiB
[startup+0.700823 s]
/proc/loadavg: 1.61 1.55 1.57 5/231 28259
/proc/meminfo: memFree=26184512/32770624 swapFree=67002132/67108860
[pid=28243] ppid=28240 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/28243/stat : 28243 (xcsp3-exec) S 28240 28243 26090 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516525704 115843072 364 33554432000 4194304 5098028 140731584703088 140731584701192 140150566167164 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30670848 140731584709462 140731584709721 140731584709721 140731584712646 0
/proc/28243/statm: 28282 364 305 221 0 87 0
[pid=28245] ppid=28243 vsize=15151156 memory=91272 CPUtime=1.82 cores=1,3,5,7
/proc/28245/stat : 28245 (java) S 28243 28243 26090 0 -1 1077944320 14983 0 0 0 177 5 0 0 20 0 15 0 516525704 15514783744 22818 33554432000 4194304 4196468 140721712988752 140721712971296 139664288161527 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
/proc/28245/statm: 3787789 22818 3451 1 0 3748889 0
[pid=28245/tid=28246] ppid=28243 vsize=15151156 memory=36168 CPUtime=0.68 cores=1,3,5,7
/proc/28245/task/28246/stat : 28246 (java) R 28243 28243 26090 0 -1 4202560 9136 0 0 0 65 3 0 0 20 0 15 0 516525704 15514783744 22818 33554432000 4194304 4196468 140721712988752 139664292395696 139664270683314 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
[pid=28245/tid=28247] ppid=28243 vsize=15151156 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/28245/task/28247/stat : 28247 (java) S 28243 28243 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516525705 15514783744 22818 33554432000 4194304 4196468 140721712988752 139664224397840 139664288171733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
[pid=28245/tid=28248] ppid=28243 vsize=15151156 memory=500 CPUtime=0 cores=1,3,5,7
/proc/28245/task/28248/stat : 28248 (java) S 28243 28243 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516525705 15514783744 22818 33554432000 4194304 4196468 140721712988752 139664223345296 139664288171733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
[pid=28245/tid=28249] ppid=28243 vsize=15151156 memory=932 CPUtime=0 cores=1,3,5,7
/proc/28245/task/28249/stat : 28249 (java) S 28243 28243 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516525705 15514783744 22818 33554432000 4194304 4196468 140721712988752 139664222292240 139664288171733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
[pid=28245/tid=28250] ppid=28243 vsize=15151156 memory=1824 CPUtime=0 cores=1,3,5,7
/proc/28245/task/28250/stat : 28250 (java) S 28243 28243 26090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516525705 15514783744 22818 33554432000 4194304 4196468 140721712988752 139664221239696 139664288171733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
[pid=28245/tid=28251] ppid=28243 vsize=15151156 memory=1656 CPUtime=0 cores=1,3,5,7
/proc/28245/task/28251/stat : 28251 (java) S 28243 28243 26090 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 516525706 15514783744 22818 33554432000 4194304 4196468 140721712988752 139663823915760 139664288172674 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
[pid=28245/tid=28252] ppid=28243 vsize=15151156 memory=804 CPUtime=0 cores=1,3,5,7
/proc/28245/task/28252/stat : 28252 (java) S 28243 28243 26090 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516525707 15514783744 22818 33554432000 4194304 4196468 140721712988752 139663822861984 139664288171733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
[pid=28245/tid=28253] ppid=28243 vsize=15151156 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/28245/task/28253/stat : 28253 (java) S 28243 28243 26090 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516525707 15514783744 22818 33554432000 4194304 4196468 140721712988752 139663821808880 139664288171733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
[pid=28245/tid=28254] ppid=28243 vsize=15151156 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/28245/task/28254/stat : 28254 (java) S 28243 28243 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516525709 15514783744 22818 33554432000 4194304 4196468 140721712988752 139663820757456 139664288180123 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
[pid=28245/tid=28255] ppid=28243 vsize=15151156 memory=2676 CPUtime=0.36 cores=1,3,5,7
/proc/28245/task/28255/stat : 28255 (java) R 28243 28243 26090 0 -1 4202560 1612 0 0 0 36 0 0 0 20 0 15 0 516525709 15514783744 22818 33554432000 4194304 4196468 140721712988752 139663819690752 139664273278694 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
[pid=28245/tid=28256] ppid=28243 vsize=15151156 memory=1764 CPUtime=0.34 cores=1,3,5,7
/proc/28245/task/28256/stat : 28256 (java) R 28243 28243 26090 0 -1 4202560 958 0 0 0 34 0 0 0 20 0 15 0 516525709 15514783744 22818 33554432000 4194304 4196468 140721712988752 139663818640576 139664265713919 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
[pid=28245/tid=28257] ppid=28243 vsize=15151156 memory=111632 CPUtime=0.42 cores=1,3,5,7
/proc/28245/task/28257/stat : 28257 (java) S 28243 28243 26090 0 -1 1077944384 1969 0 0 0 41 1 0 0 20 0 15 0 516525709 15514783744 22818 33554432000 4194304 4196468 140721712988752 139663817598960 139664288172674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
[pid=28245/tid=28258] ppid=28243 vsize=15151156 memory=796 CPUtime=0 cores=1,3,5,7
/proc/28245/task/28258/stat : 28258 (java) S 28243 28243 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516525710 15514783744 22818 33554432000 4194304 4196468 140721712988752 139663816546656 139664288171733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
[pid=28245/tid=28259] ppid=28243 vsize=15151156 memory=1804 CPUtime=0 cores=1,3,5,7
/proc/28245/task/28259/stat : 28259 (java) S 28243 28243 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516525710 15514783744 22818 33554432000 4194304 4196468 140721712988752 139663815494704 139664288172674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
Current children cumulated CPU time: 1.82 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 92728 KiB
[startup+1.50741 s]
/proc/loadavg: 1.88 1.60 1.59 5/231 28259
/proc/meminfo: memFree=26157552/32770624 swapFree=67002132/67108860
[pid=28243] ppid=28240 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/28243/stat : 28243 (xcsp3-exec) S 28240 28243 26090 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516525704 115843072 364 33554432000 4194304 5098028 140731584703088 140731584701192 140150566167164 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30670848 140731584709462 140731584709721 140731584709721 140731584712646 0
/proc/28243/statm: 28282 364 305 221 0 87 0
################
# More data... #
################
[pid=28245/tid=28251] ppid=28243 vsize=15151156 memory=1500452 CPUtime=1.07 cores=1,3,5,7
/proc/28245/task/28251/stat : 28251 (java) S 28243 28243 26090 0 -1 1077944384 22018 0 0 0 85 22 0 0 20 0 15 0 516525706 15514783744 395159 33554432000 4194304 4196468 140721712988752 139663823915760 139664288172674 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
[pid=28245/tid=28252] ppid=28243 vsize=15151156 memory=1539520 CPUtime=0 cores=1,3,5,7
/proc/28245/task/28252/stat : 28252 (java) S 28243 28243 26090 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 516525707 15514783744 395159 33554432000 4194304 4196468 140721712988752 139663822862048 139664288171733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
[pid=28245/tid=28253] ppid=28243 vsize=15151156 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/28245/task/28253/stat : 28253 (java) S 28243 28243 26090 0 -1 1077944384 110 0 0 0 0 0 0 0 20 0 15 0 516525707 15514783744 395159 33554432000 4194304 4196468 140721712988752 139663821808896 139664288171733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
[pid=28245/tid=28254] ppid=28243 vsize=15151156 memory=3616 CPUtime=0 cores=1,3,5,7
/proc/28245/task/28254/stat : 28254 (java) S 28243 28243 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516525709 15514783744 395159 33554432000 4194304 4196468 140721712988752 139663820757456 139664288180123 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
[pid=28245/tid=28255] ppid=28243 vsize=15151156 memory=66076 CPUtime=3.39 cores=1,3,5,7
/proc/28245/task/28255/stat : 28255 (java) S 28243 28243 26090 0 -1 1077944384 23722 0 0 0 337 2 0 0 20 0 15 0 516525709 15514783744 395159 33554432000 4194304 4196468 140721712988752 139663819704560 139664288172674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
[pid=28245/tid=28256] ppid=28243 vsize=15151156 memory=1456 CPUtime=3.3 cores=1,3,5,7
/proc/28245/task/28256/stat : 28256 (java) S 28243 28243 26090 0 -1 1077944384 20746 0 0 0 327 3 0 0 20 0 15 0 516525709 15514783744 395159 33554432000 4194304 4196468 140721712988752 139663818652016 139664288172674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
[pid=28245/tid=28257] ppid=28243 vsize=15151156 memory=1456 CPUtime=0.73 cores=1,3,5,7
/proc/28245/task/28257/stat : 28257 (java) S 28243 28243 26090 0 -1 1077944384 9259 0 0 0 72 1 0 0 20 0 15 0 516525709 15514783744 395159 33554432000 4194304 4196468 140721712988752 139663817598960 139664288172674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
[pid=28245/tid=28258] ppid=28243 vsize=15151156 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/28245/task/28258/stat : 28258 (java) S 28243 28243 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516525710 15514783744 395159 33554432000 4194304 4196468 140721712988752 139663816546656 139664288171733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
[pid=28245/tid=28259] ppid=28243 vsize=15151156 memory=3616 CPUtime=0.69 cores=1,3,5,7
/proc/28245/task/28259/stat : 28259 (java) S 28243 28243 26090 0 -1 1077944384 1492 0 0 0 32 37 0 0 20 0 15 0 516525710 15514783744 395159 33554432000 4194304 4196468 140721712988752 139663815494704 139664288172674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
Current children cumulated CPU time: 2396.49 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 1582092 KiB
[startup+2442.3 s]
/proc/loadavg: 2.14 1.84 1.73 3/230 28557
/proc/meminfo: memFree=21349248/32770624 swapFree=67002132/67108860
[pid=28243] ppid=28240 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/28243/stat : 28243 (xcsp3-exec) S 28240 28243 26090 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516525704 115843072 364 33554432000 4194304 5098028 140731584703088 140731584701192 140150566167164 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30670848 140731584709462 140731584709721 140731584709721 140731584712646 0
/proc/28243/statm: 28282 364 305 221 0 87 0
[pid=28245] ppid=28243 vsize=15151156 memory=918592 CPUtime=2456.67 cores=1,3,5,7
/proc/28245/stat : 28245 (java) S 28243 28243 26090 0 -1 1077944320 216426 0 0 0 244991 676 0 0 20 0 15 0 516525704 15514783744 229648 33554432000 4194304 4196468 140721712988752 140721712971296 139664288161527 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
/proc/28245/statm: 3787789 229648 3529 1 0 3748889 0
[pid=28245/tid=28246] ppid=28243 vsize=15151156 memory=879520 CPUtime=2438.86 cores=1,3,5,7
/proc/28245/task/28246/stat : 28246 (java) R 28243 28243 26090 0 -1 4202560 103391 0 0 0 243295 591 0 0 20 0 15 0 516525704 15514783744 229648 33554432000 4194304 4196468 140721712988752 139664292401256 139663905355861 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
[pid=28245/tid=28247] ppid=28243 vsize=15151156 memory=463656 CPUtime=2.1 cores=1,3,5,7
/proc/28245/task/28247/stat : 28247 (java) S 28243 28243 26090 0 -1 1077944384 8001 0 0 0 204 6 0 0 20 0 15 0 516525705 15514783744 229648 33554432000 4194304 4196468 140721712988752 139664224397840 139664288171733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
[pid=28245/tid=28248] ppid=28243 vsize=15151156 memory=463656 CPUtime=2.12 cores=1,3,5,7
/proc/28245/task/28248/stat : 28248 (java) S 28243 28243 26090 0 -1 1077944384 8191 0 0 0 205 7 0 0 20 0 15 0 516525705 15514783744 229648 33554432000 4194304 4196468 140721712988752 139664223345296 139664288171733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
[pid=28245/tid=28249] ppid=28243 vsize=15151156 memory=678028 CPUtime=2.11 cores=1,3,5,7
/proc/28245/task/28249/stat : 28249 (java) S 28243 28243 26090 0 -1 1077944384 7536 0 0 0 205 6 0 0 20 0 15 0 516525705 15514783744 229648 33554432000 4194304 4196468 140721712988752 139664222292240 139664288171733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
[pid=28245/tid=28250] ppid=28243 vsize=15151156 memory=717096 CPUtime=2.11 cores=1,3,5,7
/proc/28245/task/28250/stat : 28250 (java) S 28243 28243 26090 0 -1 1077944384 7093 0 0 0 205 6 0 0 20 0 15 0 516525705 15514783744 229648 33554432000 4194304 4196468 140721712988752 139664221239696 139664288171733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
[pid=28245/tid=28251] ppid=28243 vsize=15151156 memory=918592 CPUtime=1.13 cores=1,3,5,7
/proc/28245/task/28251/stat : 28251 (java) S 28243 28243 26090 0 -1 1077944384 25555 0 0 0 89 24 0 0 20 0 15 0 516525706 15514783744 229648 33554432000 4194304 4196468 140721712988752 139663823915760 139664288172674 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
[pid=28245/tid=28252] ppid=28243 vsize=15151156 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/28245/task/28252/stat : 28252 (java) S 28243 28243 26090 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 516525707 15514783744 229648 33554432000 4194304 4196468 140721712988752 139663822862048 139664288171733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
[pid=28245/tid=28253] ppid=28243 vsize=15151156 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/28245/task/28253/stat : 28253 (java) S 28243 28243 26090 0 -1 1077944384 110 0 0 0 0 0 0 0 20 0 15 0 516525707 15514783744 229648 33554432000 4194304 4196468 140721712988752 139663821808896 139664288171733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
[pid=28245/tid=28254] ppid=28243 vsize=15151156 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/28245/task/28254/stat : 28254 (java) S 28243 28243 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516525709 15514783744 229648 33554432000 4194304 4196468 140721712988752 139663820757456 139664288180123 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
[pid=28245/tid=28255] ppid=28243 vsize=15151156 memory=797288 CPUtime=3.39 cores=1,3,5,7
/proc/28245/task/28255/stat : 28255 (java) S 28243 28243 26090 0 -1 1077944384 23724 0 0 0 337 2 0 0 20 0 15 0 516525709 15514783744 229648 33554432000 4194304 4196468 140721712988752 139663819704560 139664288172674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
[pid=28245/tid=28256] ppid=28243 vsize=15151156 memory=1456 CPUtime=3.3 cores=1,3,5,7
/proc/28245/task/28256/stat : 28256 (java) S 28243 28243 26090 0 -1 1077944384 20748 0 0 0 327 3 0 0 20 0 15 0 516525709 15514783744 229648 33554432000 4194304 4196468 140721712988752 139663818652016 139664288172674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
[pid=28245/tid=28257] ppid=28243 vsize=15151156 memory=1456 CPUtime=0.73 cores=1,3,5,7
/proc/28245/task/28257/stat : 28257 (java) S 28243 28243 26090 0 -1 1077944384 9262 0 0 0 72 1 0 0 20 0 15 0 516525709 15514783744 229648 33554432000 4194304 4196468 140721712988752 139663817598960 139664288172674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
[pid=28245/tid=28258] ppid=28243 vsize=15151156 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/28245/task/28258/stat : 28258 (java) S 28243 28243 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516525710 15514783744 229648 33554432000 4194304 4196468 140721712988752 139663816546656 139664288171733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
[pid=28245/tid=28259] ppid=28243 vsize=15151156 memory=758216 CPUtime=0.72 cores=1,3,5,7
/proc/28245/task/28259/stat : 28259 (java) S 28243 28243 26090 0 -1 1077944384 1506 0 0 0 34 38 0 0 20 0 15 0 516525710 15514783744 229648 33554432000 4194304 4196468 140721712988752 139663815494704 139664288172674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
Current children cumulated CPU time: 2456.67 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 920048 KiB
[startup+2502.3 s]
/proc/loadavg: 2.59 2.02 1.80 3/230 28561
/proc/meminfo: memFree=16130272/32770624 swapFree=67002132/67108860
[pid=28243] ppid=28240 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/28243/stat : 28243 (xcsp3-exec) S 28240 28243 26090 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516525704 115843072 364 33554432000 4194304 5098028 140731584703088 140731584701192 140150566167164 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30670848 140731584709462 140731584709721 140731584709721 140731584712646 0
/proc/28243/statm: 28282 364 305 221 0 87 0
[pid=28245] ppid=28243 vsize=15151156 memory=1568456 CPUtime=2516.87 cores=1,3,5,7
/proc/28245/stat : 28245 (java) S 28243 28243 26090 0 -1 1077944320 224314 0 0 0 250959 728 0 0 20 0 15 0 516525704 15514783744 392114 33554432000 4194304 4196468 140721712988752 140721712971296 139664288161527 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
/proc/28245/statm: 3787789 392114 3529 1 0 3748889 0
[pid=28245/tid=28246] ppid=28243 vsize=15151156 memory=1364904 CPUtime=2498.75 cores=1,3,5,7
/proc/28245/task/28246/stat : 28246 (java) R 28243 28243 26090 0 -1 4202560 110608 0 0 0 249234 641 0 0 20 0 15 0 516525704 15514783744 392114 33554432000 4194304 4196468 140721712988752 139664292401256 139663898663385 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
[pid=28245/tid=28247] ppid=28243 vsize=15151156 memory=914496 CPUtime=2.16 cores=1,3,5,7
/proc/28245/task/28247/stat : 28247 (java) S 28243 28243 26090 0 -1 1077944384 8107 0 0 0 210 6 0 0 20 0 15 0 516525705 15514783744 392114 33554432000 4194304 4196468 140721712988752 139664224397840 139664288171733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
[pid=28245/tid=28248] ppid=28243 vsize=15151156 memory=1200424 CPUtime=2.18 cores=1,3,5,7
/proc/28245/task/28248/stat : 28248 (java) S 28243 28243 26090 0 -1 1077944384 8222 0 0 0 211 7 0 0 20 0 15 0 516525705 15514783744 392114 33554432000 4194304 4196468 140721712988752 139664223345296 139664288171733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
[pid=28245/tid=28249] ppid=28243 vsize=15151156 memory=1456 CPUtime=2.17 cores=1,3,5,7
/proc/28245/task/28249/stat : 28249 (java) S 28243 28243 26090 0 -1 1077944384 7608 0 0 0 210 7 0 0 20 0 15 0 516525705 15514783744 392114 33554432000 4194304 4196468 140721712988752 139664222292240 139664288171733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
[pid=28245/tid=28250] ppid=28243 vsize=15151156 memory=3616 CPUtime=2.17 cores=1,3,5,7
/proc/28245/task/28250/stat : 28250 (java) S 28243 28243 26090 0 -1 1077944384 7456 0 0 0 211 6 0 0 20 0 15 0 516525705 15514783744 392114 33554432000 4194304 4196468 140721712988752 139664221239696 139664288171733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
[pid=28245/tid=28251] ppid=28243 vsize=15151156 memory=1200424 CPUtime=1.17 cores=1,3,5,7
/proc/28245/task/28251/stat : 28251 (java) S 28243 28243 26090 0 -1 1077944384 25620 0 0 0 92 25 0 0 20 0 15 0 516525706 15514783744 392114 33554432000 4194304 4196468 140721712988752 139663823915760 139664288172674 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
[pid=28245/tid=28252] ppid=28243 vsize=15151156 memory=66076 CPUtime=0 cores=1,3,5,7
/proc/28245/task/28252/stat : 28252 (java) S 28243 28243 26090 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 516525707 15514783744 392114 33554432000 4194304 4196468 140721712988752 139663822862048 139664288171733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
[pid=28245/tid=28253] ppid=28243 vsize=15151156 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/28245/task/28253/stat : 28253 (java) S 28243 28243 26090 0 -1 1077944384 110 0 0 0 0 0 0 0 20 0 15 0 516525707 15514783744 392114 33554432000 4194304 4196468 140721712988752 139663821808896 139664288171733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
[pid=28245/tid=28254] ppid=28243 vsize=15151156 memory=1445176 CPUtime=0 cores=1,3,5,7
/proc/28245/task/28254/stat : 28254 (java) S 28243 28243 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516525709 15514783744 392114 33554432000 4194304 4196468 140721712988752 139663820757456 139664288180123 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
[pid=28245/tid=28255] ppid=28243 vsize=15151156 memory=1456 CPUtime=3.39 cores=1,3,5,7
/proc/28245/task/28255/stat : 28255 (java) S 28243 28243 26090 0 -1 1077944384 23727 0 0 0 337 2 0 0 20 0 15 0 516525709 15514783744 392114 33554432000 4194304 4196468 140721712988752 139663819704560 139664288172674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
[pid=28245/tid=28256] ppid=28243 vsize=15151156 memory=1527336 CPUtime=3.3 cores=1,3,5,7
/proc/28245/task/28256/stat : 28256 (java) S 28243 28243 26090 0 -1 1077944384 20750 0 0 0 327 3 0 0 20 0 15 0 516525709 15514783744 392114 33554432000 4194304 4196468 140721712988752 139663818652016 139664288172674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
[pid=28245/tid=28257] ppid=28243 vsize=15151156 memory=1456 CPUtime=0.73 cores=1,3,5,7
/proc/28245/task/28257/stat : 28257 (java) S 28243 28243 26090 0 -1 1077944384 9264 0 0 0 72 1 0 0 20 0 15 0 516525709 15514783744 392114 33554432000 4194304 4196468 140721712988752 139663817598960 139664288172674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
[pid=28245/tid=28258] ppid=28243 vsize=15151156 memory=1406024 CPUtime=0 cores=1,3,5,7
/proc/28245/task/28258/stat : 28258 (java) S 28243 28243 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516525710 15514783744 392114 33554432000 4194304 4196468 140721712988752 139663816546656 139664288171733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
[pid=28245/tid=28259] ppid=28243 vsize=15151156 memory=1456 CPUtime=0.74 cores=1,3,5,7
/proc/28245/task/28259/stat : 28259 (java) S 28243 28243 26090 0 -1 1077944384 1533 0 0 0 35 39 0 0 20 0 15 0 516525710 15514783744 392114 33554432000 4194304 4196468 140721712988752 139663815494704 139664288172674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
Current children cumulated CPU time: 2516.87 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 1569912 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2505.4 s]
/proc/loadavg: 2.59 2.02 1.80 3/231 28563
/proc/meminfo: memFree=15917048/32770624 swapFree=67002132/67108860
[pid=28243] ppid=28240 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/28243/stat : 28243 (xcsp3-exec) S 28240 28243 26090 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516525704 115843072 364 33554432000 4194304 5098028 140731584703088 140731584701192 140150566167164 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30670848 140731584709462 140731584709721 140731584709721 140731584712646 0
/proc/28243/statm: 28282 364 305 221 0 87 0
[pid=28245] ppid=28243 vsize=15151156 memory=1774276 CPUtime=2520 cores=1,3,5,7
/proc/28245/stat : 28245 (java) S 28243 28243 26090 0 -1 1077944320 225900 0 0 0 251268 732 0 0 20 0 15 0 516525704 15514783744 443569 33554432000 4194304 4196468 140721712988752 140721712971296 139664288161527 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
/proc/28245/statm: 3787789 443569 3529 1 0 3748889 0
[pid=28245/tid=28246] ppid=28243 vsize=15151156 memory=14689690934577713 CPUtime=2501.85 cores=1,3,5,7
/proc/28245/task/28246/stat : 28246 (java) R 28243 28243 26090 0 -1 4202560 110913 0 0 0 249540 645 0 0 20 0 15 0 516525704 15514783744 443569 33554432000 4194304 4196468 140721712988752 139664292401256 139663905356115 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
[pid=28245/tid=28247] ppid=28243 vsize=15151156 memory=4096 CPUtime=2.17 cores=1,3,5,7
/proc/28245/task/28247/stat : 28247 (java) S 28243 28243 26090 0 -1 1077944384 8292 0 0 0 211 6 0 0 20 0 15 0 516525705 15514783744 443569 33554432000 4194304 4196468 140721712988752 139664224397840 139664288171733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
[pid=28245/tid=28248] ppid=28243 vsize=15151156 memory=1412 CPUtime=2.18 cores=1,3,5,7
/proc/28245/task/28248/stat : 28248 (java) S 28243 28243 26090 0 -1 1077944384 8715 0 0 0 211 7 0 0 20 0 15 0 516525705 15514783744 443569 33554432000 4194304 4196468 140721712988752 139664223345296 139664288171733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
[pid=28245/tid=28249] ppid=28243 vsize=15151156 memory=3244 CPUtime=2.18 cores=1,3,5,7
/proc/28245/task/28249/stat : 28249 (java) S 28243 28243 26090 0 -1 1077944384 7717 0 0 0 211 7 0 0 20 0 15 0 516525705 15514783744 443569 33554432000 4194304 4196468 140721712988752 139664222292240 139664288171733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
[pid=28245/tid=28250] ppid=28243 vsize=15151156 memory=1456 CPUtime=2.18 cores=1,3,5,7
/proc/28245/task/28250/stat : 28250 (java) S 28243 28243 26090 0 -1 1077944384 7788 0 0 0 212 6 0 0 20 0 15 0 516525705 15514783744 443569 33554432000 4194304 4196468 140721712988752 139664221239696 139664288171733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
[pid=28245/tid=28251] ppid=28243 vsize=15151156 memory=1445176 CPUtime=1.17 cores=1,3,5,7
/proc/28245/task/28251/stat : 28251 (java) S 28243 28243 26090 0 -1 1077944384 25780 0 0 0 92 25 0 0 20 0 15 0 516525706 15514783744 443569 33554432000 4194304 4196468 140721712988752 139663823915760 139664288172674 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
[pid=28245/tid=28252] ppid=28243 vsize=15151156 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/28245/task/28252/stat : 28252 (java) S 28243 28243 26090 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 516525707 15514783744 443569 33554432000 4194304 4196468 140721712988752 139663822862048 139664288171733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
[pid=28245/tid=28253] ppid=28243 vsize=15151156 memory=2948 CPUtime=0 cores=1,3,5,7
/proc/28245/task/28253/stat : 28253 (java) S 28243 28243 26090 0 -1 1077944384 110 0 0 0 0 0 0 0 20 0 15 0 516525707 15514783744 443569 33554432000 4194304 4196468 140721712988752 139663821808896 139664288171733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
[pid=28245/tid=28254] ppid=28243 vsize=15151156 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/28245/task/28254/stat : 28254 (java) S 28243 28243 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516525709 15514783744 443569 33554432000 4194304 4196468 140721712988752 139663820757456 139664288180123 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
[pid=28245/tid=28255] ppid=28243 vsize=15151156 memory=8639164 CPUtime=3.39 cores=1,3,5,7
/proc/28245/task/28255/stat : 28255 (java) S 28243 28243 26090 0 -1 1077944384 23727 0 0 0 337 2 0 0 20 0 15 0 516525709 15514783744 443569 33554432000 4194304 4196468 140721712988752 139663819704560 139664288172674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
[pid=28245/tid=28256] ppid=28243 vsize=15151156 memory=6791534058613427641 CPUtime=3.3 cores=1,3,5,7
/proc/28245/task/28256/stat : 28256 (java) S 28243 28243 26090 0 -1 1077944384 20750 0 0 0 327 3 0 0 20 0 15 0 516525709 15514783744 443569 33554432000 4194304 4196468 140721712988752 139663818652016 139664288172674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
[pid=28245/tid=28257] ppid=28243 vsize=15151156 memory=3047711553320166262 CPUtime=0.73 cores=1,3,5,7
/proc/28245/task/28257/stat : 28257 (java) S 28243 28243 26090 0 -1 1077944384 9264 0 0 0 72 1 0 0 20 0 15 0 516525709 15514783744 443569 33554432000 4194304 4196468 140721712988752 139663817598960 139664288172674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
[pid=28245/tid=28258] ppid=28243 vsize=15151156 memory=2024 CPUtime=0 cores=1,3,5,7
/proc/28245/task/28258/stat : 28258 (java) S 28243 28243 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516525710 15514783744 443569 33554432000 4194304 4196468 140721712988752 139663816546656 139664288171733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
[pid=28245/tid=28259] ppid=28243 vsize=15151156 memory=1416 CPUtime=0.74 cores=1,3,5,7
/proc/28245/task/28259/stat : 28259 (java) S 28243 28243 26090 0 -1 1077944384 1535 0 0 0 35 39 0 0 20 0 15 0 516525710 15514783744 443569 33554432000 4194304 4196468 140721712988752 139663815494704 139664288172674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14589952 140721712993243 140721712993418 140721712993418 140721712996303 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 1775732 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2505.42 s]
# the end of solver process 28243 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2512.69 s, system=7.33484 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2505.42
CPU time (s): 2520.02
CPU user time (s): 2512.69
CPU system time (s): 7.33484
CPU usage (%): 100.583
Max. virtual memory (cumulated for all children) (KiB): 15268680
Max. memory (cumulated for all children) (KiB): 5880872
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2512.69
system time used= 7.33483
maximum resident set size= 5899932
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 226755
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2904
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 71128
involuntary context switches= 4475
# summary of solver processes directly reported to runsolver:
# pid: 28243
# total CPU time (s): 2520.02
# total CPU user time (s): 2512.69
# total CPU system time (s): 7.33484
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.5602 second user time and 22.7358 second system time
The end