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 (13336 MiB free)
memory of node 1: 16384 MiB (15681 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393066-1568320964/watcher-4393066-1568320964 -o /tmp/evaluation-result-4393066-1568320964/solver-4393066-1568320964 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node121-1568312479-6785 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 110320162 HOME/instance-4393066-1568320964.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=18397, runsolver pid=18394
[startup+0.100079 s]*
/proc/loadavg: 8.46 8.51 8.42 8/234 18413
/proc/meminfo: memFree=29696808/32770624 swapFree=66979556/67108860
[pid=18397] ppid=18394 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/18397/stat : 18397 (xcsp3-exec) S 18394 18397 6753 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408359066 115843072 362 33554432000 4194304 5098028 140720822350384 140720822348488 139997208863356 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31641600 140720822358907 140720822359149 140720822359149 140720822362058 0
/proc/18397/statm: 28282 362 304 221 0 87 0
[pid=18399] ppid=18397 vsize=15144768 memory=30352 CPUtime=0.13 cores=1,3,5,7
/proc/18399/stat : 18399 (java) S 18397 18397 6753 0 -1 1077944320 5521 0 0 0 11 2 0 0 20 0 15 0 408359066 15508242432 7588 33554432000 4194304 4196468 140733919350624 140733919333168 140037313687287 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
/proc/18399/statm: 3786192 7588 3156 1 0 3748377 0
[pid=18399/tid=18400] ppid=18397 vsize=15144768 memory=7100839878644302962 CPUtime=0.09 cores=1,3,5,7
/proc/18399/task/18400/stat : 18400 (java) R 18397 18397 6753 0 -1 4202560 3401 0 0 0 8 1 0 0 20 0 15 0 408359066 15508242432 7588 33554432000 4194304 4196468 140733919350624 140037317913120 140037313699222 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
[pid=18399/tid=18401] ppid=18397 vsize=15144768 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/18399/task/18401/stat : 18401 (java) S 18397 18397 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408359067 15508242432 7588 33554432000 4194304 4196468 140733919350624 140036906391824 140037313697493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
[pid=18399/tid=18402] ppid=18397 vsize=15144768 memory=140422113826432 CPUtime=0 cores=1,3,5,7
/proc/18399/task/18402/stat : 18402 (java) S 18397 18397 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408359067 15508242432 7588 33554432000 4194304 4196468 140733919350624 140036905339280 140037313697493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
[pid=18399/tid=18403] ppid=18397 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18399/task/18403/stat : 18403 (java) S 18397 18397 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408359067 15508242432 7588 33554432000 4194304 4196468 140733919350624 140036904286736 140037313697493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
[pid=18399/tid=18404] ppid=18397 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18399/task/18404/stat : 18404 (java) S 18397 18397 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408359067 15508242432 7588 33554432000 4194304 4196468 140733919350624 140036903234192 140037313697493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
[pid=18399/tid=18405] ppid=18397 vsize=15144768 memory=140422113826432 CPUtime=0 cores=1,3,5,7
/proc/18399/task/18405/stat : 18405 (java) S 18397 18397 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408359068 15508242432 7588 33554432000 4194304 4196468 140733919350624 140036782356976 140037313698434 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
[pid=18399/tid=18406] ppid=18397 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18399/task/18406/stat : 18406 (java) S 18397 18397 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408359069 15508242432 7588 33554432000 4194304 4196468 140733919350624 140036781303200 140037313697493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
[pid=18399/tid=18407] ppid=18397 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18399/task/18407/stat : 18407 (java) S 18397 18397 6753 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408359069 15508242432 7588 33554432000 4194304 4196468 140733919350624 140036780250608 140037313697493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
[pid=18399/tid=18408] ppid=18397 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18399/task/18408/stat : 18408 (java) S 18397 18397 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408359071 15508242432 7588 33554432000 4194304 4196468 140733919350624 140036779199184 140037313705883 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
[pid=18399/tid=18409] ppid=18397 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18399/task/18409/stat : 18409 (java) S 18397 18397 6753 0 -1 1077944384 332 0 0 0 0 0 0 0 20 0 15 0 408359071 15508242432 7588 33554432000 4194304 4196468 140733919350624 140036778145776 140037313698434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
[pid=18399/tid=18410] ppid=18397 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18399/task/18410/stat : 18410 (java) S 18397 18397 6753 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 15 0 408359071 15508242432 7588 33554432000 4194304 4196468 140733919350624 140036777093232 140037313698434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
[pid=18399/tid=18411] ppid=18397 vsize=15144768 memory=140422113826432 CPUtime=0.02 cores=1,3,5,7
/proc/18399/task/18411/stat : 18411 (java) R 18397 18397 6753 0 -1 4202560 365 0 0 0 2 0 0 0 20 0 15 0 408359071 15508242432 7588 33554432000 4194304 4196468 140733919350624 140036776040688 140037298852931 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
[pid=18399/tid=18412] ppid=18397 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18399/task/18412/stat : 18412 (java) S 18397 18397 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408359071 15508242432 7588 33554432000 4194304 4196468 140733919350624 140036774988384 140037313697493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
[pid=18399/tid=18413] ppid=18397 vsize=15144768 memory=140422113826432 CPUtime=0 cores=1,3,5,7
/proc/18399/task/18413/stat : 18413 (java) S 18397 18397 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408359072 15508242432 7588 33554432000 4194304 4196468 140733919350624 140036773935920 140037313698434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31800 KiB
[startup+0.210794 s]*
/proc/loadavg: 8.46 8.51 8.42 7/234 18413
/proc/meminfo: memFree=29684424/32770624 swapFree=66979556/67108860
[pid=18397] ppid=18394 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/18397/stat : 18397 (xcsp3-exec) S 18394 18397 6753 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408359066 115843072 362 33554432000 4194304 5098028 140720822350384 140720822348488 139997208863356 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31641600 140720822358907 140720822359149 140720822359149 140720822362058 0
/proc/18397/statm: 28282 362 304 221 0 87 0
[pid=18399] ppid=18397 vsize=15144768 memory=41424 CPUtime=0.34 cores=1,3,5,7
/proc/18399/stat : 18399 (java) S 18397 18397 6753 0 -1 1077944320 9029 0 0 0 31 3 0 0 20 0 15 0 408359066 15508242432 10356 33554432000 4194304 4196468 140733919350624 140733919333168 140037313687287 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
/proc/18399/statm: 3786192 10356 3301 1 0 3748377 0
[pid=18399/tid=18400] ppid=18397 vsize=15144768 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/18399/task/18400/stat : 18400 (java) R 18397 18397 6753 0 -1 4202560 6209 0 0 0 17 2 0 0 20 0 15 0 408359066 15508242432 10356 33554432000 4194304 4196468 140733919350624 140037317922272 140037313709213 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
[pid=18399/tid=18401] ppid=18397 vsize=15144768 memory=2995868 CPUtime=0 cores=1,3,5,7
/proc/18399/task/18401/stat : 18401 (java) S 18397 18397 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408359067 15508242432 10356 33554432000 4194304 4196468 140733919350624 140036906391824 140037313697493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
[pid=18399/tid=18402] ppid=18397 vsize=15144768 memory=140422116822391 CPUtime=0 cores=1,3,5,7
/proc/18399/task/18402/stat : 18402 (java) S 18397 18397 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408359067 15508242432 10356 33554432000 4194304 4196468 140733919350624 140036905339280 140037313697493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
[pid=18399/tid=18403] ppid=18397 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18399/task/18403/stat : 18403 (java) S 18397 18397 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408359067 15508242432 10356 33554432000 4194304 4196468 140733919350624 140036904286736 140037313697493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
[pid=18399/tid=18404] ppid=18397 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18399/task/18404/stat : 18404 (java) S 18397 18397 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408359067 15508242432 10356 33554432000 4194304 4196468 140733919350624 140036903234192 140037313697493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
[pid=18399/tid=18405] ppid=18397 vsize=15144768 memory=140422113826432 CPUtime=0 cores=1,3,5,7
/proc/18399/task/18405/stat : 18405 (java) S 18397 18397 6753 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408359068 15508242432 10356 33554432000 4194304 4196468 140733919350624 140036782356976 140037313698434 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
[pid=18399/tid=18406] ppid=18397 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18399/task/18406/stat : 18406 (java) S 18397 18397 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408359069 15508242432 10356 33554432000 4194304 4196468 140733919350624 140036781303200 140037313697493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
[pid=18399/tid=18407] ppid=18397 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18399/task/18407/stat : 18407 (java) S 18397 18397 6753 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408359069 15508242432 10356 33554432000 4194304 4196468 140733919350624 140036780250608 140037313697493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
[pid=18399/tid=18408] ppid=18397 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18399/task/18408/stat : 18408 (java) S 18397 18397 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408359071 15508242432 10356 33554432000 4194304 4196468 140733919350624 140036779199184 140037313705883 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
[pid=18399/tid=18409] ppid=18397 vsize=15144768 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/18399/task/18409/stat : 18409 (java) S 18397 18397 6753 0 -1 1077944384 546 0 0 0 2 0 0 0 20 0 15 0 408359071 15508242432 10356 33554432000 4194304 4196468 140733919350624 140036778145776 140037313698434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
[pid=18399/tid=18410] ppid=18397 vsize=15144768 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/18399/task/18410/stat : 18410 (java) S 18397 18397 6753 0 -1 1077944384 210 0 0 0 2 0 0 0 20 0 15 0 408359071 15508242432 10356 33554432000 4194304 4196468 140733919350624 140036777093232 140037313698434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
[pid=18399/tid=18411] ppid=18397 vsize=15144768 memory=140422113826432 CPUtime=0.08 cores=1,3,5,7
/proc/18399/task/18411/stat : 18411 (java) S 18397 18397 6753 0 -1 1077944384 759 0 0 0 8 0 0 0 20 0 15 0 408359071 15508242432 10356 33554432000 4194304 4196468 140733919350624 140036776040688 140037313698434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
[pid=18399/tid=18412] ppid=18397 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18399/task/18412/stat : 18412 (java) S 18397 18397 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408359071 15508242432 10356 33554432000 4194304 4196468 140733919350624 140036774988384 140037313697493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
[pid=18399/tid=18413] ppid=18397 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18399/task/18413/stat : 18413 (java) S 18397 18397 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408359072 15508242432 10356 33554432000 4194304 4196468 140733919350624 140036773935920 140037313698434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42872 KiB
[startup+0.319919 s]*
/proc/loadavg: 8.46 8.51 8.42 7/234 18413
/proc/meminfo: memFree=29666304/32770624 swapFree=66979556/67108860
[pid=18397] ppid=18394 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/18397/stat : 18397 (xcsp3-exec) S 18394 18397 6753 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408359066 115843072 362 33554432000 4194304 5098028 140720822350384 140720822348488 139997208863356 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31641600 140720822358907 140720822359149 140720822359149 140720822362058 0
/proc/18397/statm: 28282 362 304 221 0 87 0
[pid=18399] ppid=18397 vsize=15149024 memory=50656 CPUtime=0.53 cores=1,3,5,7
/proc/18399/stat : 18399 (java) S 18397 18397 6753 0 -1 1077944320 10492 0 0 0 49 4 0 0 20 0 15 0 408359066 15512600576 12664 33554432000 4194304 4196468 140733919350624 140733919333168 140037313687287 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
/proc/18399/statm: 3787256 12664 3365 1 0 3748377 0
[pid=18399/tid=18400] ppid=18397 vsize=15149024 memory=7883960649037381690 CPUtime=0.3 cores=1,3,5,7
/proc/18399/task/18400/stat : 18400 (java) D 18397 18397 6753 0 -1 4202560 7406 0 0 0 27 3 0 0 20 0 15 0 408359066 15512600576 12664 33554432000 4194304 4196468 140733919350624 140037317927040 140037313709213 0 4 0 16800975 18446744072100220037 0 0 -1 5 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
[pid=18399/tid=18401] ppid=18397 vsize=15149024 memory=2996209 CPUtime=0 cores=1,3,5,7
/proc/18399/task/18401/stat : 18401 (java) S 18397 18397 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408359067 15512600576 12664 33554432000 4194304 4196468 140733919350624 140036906391824 140037313697493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
[pid=18399/tid=18402] ppid=18397 vsize=15149024 memory=3165362 CPUtime=0 cores=1,3,5,7
/proc/18399/task/18402/stat : 18402 (java) S 18397 18397 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408359067 15512600576 12664 33554432000 4194304 4196468 140733919350624 140036905339280 140037313697493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
[pid=18399/tid=18403] ppid=18397 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18399/task/18403/stat : 18403 (java) S 18397 18397 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408359067 15512600576 12664 33554432000 4194304 4196468 140733919350624 140036904286736 140037313697493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
[pid=18399/tid=18404] ppid=18397 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18399/task/18404/stat : 18404 (java) S 18397 18397 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408359067 15512600576 12664 33554432000 4194304 4196468 140733919350624 140036903234192 140037313697493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
[pid=18399/tid=18405] ppid=18397 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18399/task/18405/stat : 18405 (java) S 18397 18397 6753 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408359068 15512600576 12664 33554432000 4194304 4196468 140733919350624 140036782356976 140037313698434 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
[pid=18399/tid=18406] ppid=18397 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18399/task/18406/stat : 18406 (java) S 18397 18397 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408359069 15512600576 12664 33554432000 4194304 4196468 140733919350624 140036781303200 140037313697493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
[pid=18399/tid=18407] ppid=18397 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18399/task/18407/stat : 18407 (java) S 18397 18397 6753 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408359069 15512600576 12664 33554432000 4194304 4196468 140733919350624 140036780250608 140037313697493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
[pid=18399/tid=18408] ppid=18397 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18399/task/18408/stat : 18408 (java) S 18397 18397 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408359071 15512600576 12664 33554432000 4194304 4196468 140733919350624 140036779199184 140037313705883 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
[pid=18399/tid=18409] ppid=18397 vsize=15149024 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/18399/task/18409/stat : 18409 (java) S 18397 18397 6753 0 -1 1077944384 687 0 0 0 5 0 0 0 20 0 15 0 408359071 15512600576 12664 33554432000 4194304 4196468 140733919350624 140036778145776 140037313698434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
[pid=18399/tid=18410] ppid=18397 vsize=15149024 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/18399/task/18410/stat : 18410 (java) S 18397 18397 6753 0 -1 1077944384 223 0 0 0 3 0 0 0 20 0 15 0 408359071 15512600576 12664 33554432000 4194304 4196468 140733919350624 140036777093232 140037313698434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
[pid=18399/tid=18411] ppid=18397 vsize=15149024 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/18399/task/18411/stat : 18411 (java) S 18397 18397 6753 0 -1 1077944384 869 0 0 0 12 0 0 0 20 0 15 0 408359071 15512600576 12664 33554432000 4194304 4196468 140733919350624 140036776040688 140037313698434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
[pid=18399/tid=18412] ppid=18397 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18399/task/18412/stat : 18412 (java) S 18397 18397 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408359071 15512600576 12664 33554432000 4194304 4196468 140733919350624 140036774988384 140037313697493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
[pid=18399/tid=18413] ppid=18397 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18399/task/18413/stat : 18413 (java) S 18397 18397 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408359072 15512600576 12664 33554432000 4194304 4196468 140733919350624 140036773935920 140037313698434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 52104 KiB
[startup+0.700912 s]
/proc/loadavg: 8.46 8.51 8.42 5/234 18413
/proc/meminfo: memFree=29674792/32770624 swapFree=66979556/67108860
[pid=18397] ppid=18394 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/18397/stat : 18397 (xcsp3-exec) S 18394 18397 6753 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408359066 115843072 362 33554432000 4194304 5098028 140720822350384 140720822348488 139997208863356 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31641600 140720822358907 140720822359149 140720822359149 140720822362058 0
/proc/18397/statm: 28282 362 304 221 0 87 0
[pid=18399] ppid=18397 vsize=15151148 memory=58324 CPUtime=0.9 cores=1,3,5,7
/proc/18399/stat : 18399 (java) S 18397 18397 6753 0 -1 1077944320 11389 0 0 0 85 5 0 0 20 0 15 0 408359066 15514775552 14581 33554432000 4194304 4196468 140733919350624 140733919333168 140037313687287 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
/proc/18399/statm: 3787787 14581 3412 1 0 3748889 0
[pid=18399/tid=18400] ppid=18397 vsize=15151148 memory=1789055206657 CPUtime=0.45 cores=1,3,5,7
/proc/18399/task/18400/stat : 18400 (java) R 18397 18397 6753 0 -1 4202560 7830 0 0 0 42 3 0 0 20 0 15 0 408359066 15514775552 14581 33554432000 4194304 4196468 140733919350624 140037317923744 140036951326784 0 4 0 16800975 0 0 0 -1 5 0 0 22 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
[pid=18399/tid=18401] ppid=18397 vsize=15151148 memory=512 CPUtime=0 cores=1,3,5,7
/proc/18399/task/18401/stat : 18401 (java) S 18397 18397 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408359067 15514775552 14581 33554432000 4194304 4196468 140733919350624 140036906391824 140037313697493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
[pid=18399/tid=18402] ppid=18397 vsize=15151148 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/18399/task/18402/stat : 18402 (java) S 18397 18397 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408359067 15514775552 14581 33554432000 4194304 4196468 140733919350624 140036905339280 140037313697493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
[pid=18399/tid=18403] ppid=18397 vsize=15151148 memory=928 CPUtime=0 cores=1,3,5,7
/proc/18399/task/18403/stat : 18403 (java) S 18397 18397 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408359067 15514775552 14581 33554432000 4194304 4196468 140733919350624 140036904286736 140037313697493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
[pid=18399/tid=18404] ppid=18397 vsize=15151148 memory=3772 CPUtime=0 cores=1,3,5,7
/proc/18399/task/18404/stat : 18404 (java) S 18397 18397 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408359067 15514775552 14581 33554432000 4194304 4196468 140733919350624 140036903234192 140037313697493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
[pid=18399/tid=18405] ppid=18397 vsize=15151148 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/18399/task/18405/stat : 18405 (java) S 18397 18397 6753 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408359068 15514775552 14581 33554432000 4194304 4196468 140733919350624 140036782356976 140037313698434 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
[pid=18399/tid=18406] ppid=18397 vsize=15151148 memory=920 CPUtime=0 cores=1,3,5,7
/proc/18399/task/18406/stat : 18406 (java) S 18397 18397 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408359069 15514775552 14581 33554432000 4194304 4196468 140733919350624 140036781303200 140037313697493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
[pid=18399/tid=18407] ppid=18397 vsize=15151148 memory=1984 CPUtime=0 cores=1,3,5,7
/proc/18399/task/18407/stat : 18407 (java) S 18397 18397 6753 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408359069 15514775552 14581 33554432000 4194304 4196468 140733919350624 140036780250608 140037313697493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
[pid=18399/tid=18408] ppid=18397 vsize=15151148 memory=2404 CPUtime=0 cores=1,3,5,7
/proc/18399/task/18408/stat : 18408 (java) S 18397 18397 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408359071 15514775552 14581 33554432000 4194304 4196468 140733919350624 140036779199184 140037313705883 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
[pid=18399/tid=18409] ppid=18397 vsize=15151148 memory=1764 CPUtime=0.1 cores=1,3,5,7
/proc/18399/task/18409/stat : 18409 (java) R 18397 18397 6753 0 -1 4202560 734 0 0 0 10 0 0 0 20 0 15 0 408359071 15514775552 14581 33554432000 4194304 4196468 140733919350624 140036778131800 140037298609113 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
[pid=18399/tid=18410] ppid=18397 vsize=15151148 memory=111632 CPUtime=0.07 cores=1,3,5,7
/proc/18399/task/18410/stat : 18410 (java) R 18397 18397 6753 0 -1 4202560 344 0 0 0 7 0 0 0 20 0 15 0 408359071 15514775552 14581 33554432000 4194304 4196468 140733919350624 140036777084064 140037294386858 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
[pid=18399/tid=18411] ppid=18397 vsize=15151148 memory=804 CPUtime=0.24 cores=1,3,5,7
/proc/18399/task/18411/stat : 18411 (java) R 18397 18397 6753 0 -1 4202560 1175 0 0 0 24 0 0 0 20 0 15 0 408359071 15514775552 14581 33554432000 4194304 4196468 140733919350624 140036776035952 140037306784123 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
[pid=18399/tid=18412] ppid=18397 vsize=15151148 memory=1808 CPUtime=0 cores=1,3,5,7
/proc/18399/task/18412/stat : 18412 (java) S 18397 18397 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408359071 15514775552 14581 33554432000 4194304 4196468 140733919350624 140036774988384 140037313697493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
[pid=18399/tid=18413] ppid=18397 vsize=15151148 memory=924 CPUtime=0 cores=1,3,5,7
/proc/18399/task/18413/stat : 18413 (java) S 18397 18397 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408359072 15514775552 14581 33554432000 4194304 4196468 140733919350624 140036773935920 140037313698434 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
Current children cumulated CPU time: 0.9 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 59772 KiB
[startup+1.50891 s]
/proc/loadavg: 8.34 8.48 8.41 8/234 18413
/proc/meminfo: memFree=29609484/32770624 swapFree=66979556/67108860
[pid=18397] ppid=18394 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/18397/stat : 18397 (xcsp3-exec) S 18394 18397 6753 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408359066 115843072 362 33554432000 4194304 5098028 140720822350384 140720822348488 139997208863356 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31641600 140720822358907 140720822359149 140720822359149 140720822362058 0
/proc/18397/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/18399/stat : 18399 (java) S 18397 18397 6753 0 -1 1077944320 54014 0 0 0 207233 52 0 0 20 0 19 0 408359066 15787421696 149046 33554432000 4194304 4196468 140733919350624 140733919333168 140037313687287 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
/proc/18399/statm: 3854351 149046 3523 1 0 3815453 0
[pid=18399/tid=18400] ppid=18397 vsize=15417404 memory=596184 CPUtime=0.86 cores=1,3,5,7
/proc/18399/task/18400/stat : 18400 (java) S 18397 18397 6753 0 -1 1077944384 8299 0 0 0 82 4 0 0 20 0 19 0 408359066 15787421696 149046 33554432000 4194304 4196468 140733919350624 140037317928064 140037313697493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 22 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
[pid=18399/tid=18401] ppid=18397 vsize=15417404 memory=596184 CPUtime=0.74 cores=1,3,5,7
/proc/18399/task/18401/stat : 18401 (java) S 18397 18397 6753 0 -1 1077944384 2010 0 0 0 65 9 0 0 20 0 19 0 408359067 15787421696 149046 33554432000 4194304 4196468 140733919350624 140036906391824 140037313697493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
[pid=18399/tid=18402] ppid=18397 vsize=15417404 memory=1448 CPUtime=0.74 cores=1,3,5,7
/proc/18399/task/18402/stat : 18402 (java) S 18397 18397 6753 0 -1 1077944384 1673 0 0 0 64 10 0 0 20 0 19 0 408359067 15787421696 149046 33554432000 4194304 4196468 140733919350624 140036905339280 140037313697493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
[pid=18399/tid=18403] ppid=18397 vsize=15417404 memory=596184 CPUtime=0.74 cores=1,3,5,7
/proc/18399/task/18403/stat : 18403 (java) S 18397 18397 6753 0 -1 1077944384 1778 0 0 0 66 8 0 0 20 0 19 0 408359067 15787421696 149046 33554432000 4194304 4196468 140733919350624 140036904286736 140037313697493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
[pid=18399/tid=18404] ppid=18397 vsize=15417404 memory=596184 CPUtime=0.74 cores=1,3,5,7
/proc/18399/task/18404/stat : 18404 (java) S 18397 18397 6753 0 -1 1077944384 3047 0 0 0 66 8 0 0 20 0 19 0 408359067 15787421696 149046 33554432000 4194304 4196468 140733919350624 140036903234192 140037313697493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
[pid=18399/tid=18405] ppid=18397 vsize=15417404 memory=1448 CPUtime=0.43 cores=1,3,5,7
/proc/18399/task/18405/stat : 18405 (java) S 18397 18397 6753 0 -1 1077944384 2631 0 0 0 39 4 0 0 20 0 19 0 408359068 15787421696 149046 33554432000 4194304 4196468 140733919350624 140036782356976 140037313698434 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
[pid=18399/tid=18406] ppid=18397 vsize=15417404 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/18399/task/18406/stat : 18406 (java) S 18397 18397 6753 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 408359069 15787421696 149046 33554432000 4194304 4196468 140733919350624 140036781303200 140037313697493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
[pid=18399/tid=18407] ppid=18397 vsize=15417404 memory=68 CPUtime=0 cores=1,3,5,7
/proc/18399/task/18407/stat : 18407 (java) S 18397 18397 6753 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 19 0 408359069 15787421696 149046 33554432000 4194304 4196468 140733919350624 140036780250608 140037313697493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
[pid=18399/tid=18408] ppid=18397 vsize=15417404 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/18399/task/18408/stat : 18408 (java) S 18397 18397 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408359071 15787421696 149046 33554432000 4194304 4196468 140733919350624 140036779199184 140037313705883 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
[pid=18399/tid=18409] ppid=18397 vsize=15417404 memory=596184 CPUtime=1.73 cores=1,3,5,7
/proc/18399/task/18409/stat : 18409 (java) S 18397 18397 6753 0 -1 1077944384 8092 0 0 0 172 1 0 0 20 0 19 0 408359071 15787421696 149046 33554432000 4194304 4196468 140733919350624 140036778145776 140037313698434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
[pid=18399/tid=18410] ppid=18397 vsize=15417404 memory=596184 CPUtime=1.8 cores=1,3,5,7
/proc/18399/task/18410/stat : 18410 (java) S 18397 18397 6753 0 -1 1077944384 8159 0 0 0 180 0 0 0 20 0 19 0 408359071 15787421696 149046 33554432000 4194304 4196468 140733919350624 140036777093232 140037313698434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
[pid=18399/tid=18411] ppid=18397 vsize=15417404 memory=1448 CPUtime=0.66 cores=1,3,5,7
/proc/18399/task/18411/stat : 18411 (java) S 18397 18397 6753 0 -1 1077944384 5117 0 0 0 65 1 0 0 20 0 19 0 408359071 15787421696 149046 33554432000 4194304 4196468 140733919350624 140036776040688 140037313698434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
[pid=18399/tid=18412] ppid=18397 vsize=15417404 memory=3620 CPUtime=0 cores=1,3,5,7
/proc/18399/task/18412/stat : 18412 (java) S 18397 18397 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408359071 15787421696 149046 33554432000 4194304 4196468 140733919350624 140036774988384 140037313697493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
[pid=18399/tid=18413] ppid=18397 vsize=15417404 memory=140422010259872 CPUtime=0.11 cores=1,3,5,7
/proc/18399/task/18413/stat : 18413 (java) S 18397 18397 6753 0 -1 1077944384 497 0 0 0 0 11 0 0 20 0 19 0 408359072 15787421696 149046 33554432000 4194304 4196468 140733919350624 140036773935920 140037313698434 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
[pid=18399/tid=18414] ppid=18397 vsize=15417404 memory=7306060571023201640 CPUtime=516.64 cores=1,3,5,7
/proc/18399/task/18414/stat : 18414 (java) R 18397 18397 6753 0 -1 4202560 1064 0 0 0 51662 2 0 0 20 0 19 0 408359177 15787421696 149046 33554432000 4194304 4196468 140733919350624 140036764724520 140036958616723 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
[pid=18399/tid=18415] ppid=18397 vsize=15417404 memory=596184 CPUtime=515.69 cores=1,3,5,7
/proc/18399/task/18415/stat : 18415 (java) R 18397 18397 6753 0 -1 4202560 5774 0 0 0 51564 5 0 0 20 0 19 0 408359177 15787421696 149046 33554432000 4194304 4196468 140733919350624 140036763675776 140036958950367 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
[pid=18399/tid=18416] ppid=18397 vsize=15417404 memory=1448 CPUtime=515.77 cores=1,3,5,7
/proc/18399/task/18416/stat : 18416 (java) R 18397 18397 6753 0 -1 4202560 729 0 0 0 51576 1 0 0 20 0 19 0 408359177 15787421696 149046 33554432000 4194304 4196468 140733919350624 140036762620304 140036958950335 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
[pid=18399/tid=18417] ppid=18397 vsize=15417404 memory=3620 CPUtime=516.06 cores=1,3,5,7
/proc/18399/task/18417/stat : 18417 (java) R 18397 18397 6753 0 -1 4202560 3802 0 0 0 51603 3 0 0 20 0 19 0 408359177 15787421696 149046 33554432000 4194304 4196468 140733919350624 140036761566904 140036956900829 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
Current children cumulated CPU time: 2072.85 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 597632 KiB
[startup+582.301 s]
/proc/loadavg: 9.27 8.67 8.50 10/238 18550
/proc/meminfo: memFree=30701992/32770624 swapFree=66979560/67108860
[pid=18397] ppid=18394 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/18397/stat : 18397 (xcsp3-exec) S 18394 18397 6753 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408359066 115843072 362 33554432000 4194304 5098028 140720822350384 140720822348488 139997208863356 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31641600 140720822358907 140720822359149 140720822359149 140720822362058 0
/proc/18397/statm: 28282 362 304 221 0 87 0
[pid=18399] ppid=18397 vsize=15417404 memory=466756 CPUtime=2310.65 cores=1,3,5,7
/proc/18399/stat : 18399 (java) S 18397 18397 6753 0 -1 1077944320 56787 0 0 0 231008 57 0 0 20 0 19 0 408359066 15787421696 116689 33554432000 4194304 4196468 140733919350624 140733919333168 140037313687287 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
/proc/18399/statm: 3854351 116689 3539 1 0 3815453 0
[pid=18399/tid=18400] ppid=18397 vsize=15417404 memory=466756 CPUtime=0.86 cores=1,3,5,7
/proc/18399/task/18400/stat : 18400 (java) S 18397 18397 6753 0 -1 1077944384 8299 0 0 0 82 4 0 0 20 0 19 0 408359066 15787421696 116689 33554432000 4194304 4196468 140733919350624 140037317928064 140037313697493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 22 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
[pid=18399/tid=18401] ppid=18397 vsize=15417404 memory=466756 CPUtime=0.86 cores=1,3,5,7
/proc/18399/task/18401/stat : 18401 (java) S 18397 18397 6753 0 -1 1077944384 2151 0 0 0 77 9 0 0 20 0 19 0 408359067 15787421696 116689 33554432000 4194304 4196468 140733919350624 140036906391824 140037313697493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
[pid=18399/tid=18402] ppid=18397 vsize=15417404 memory=466296 CPUtime=0.87 cores=1,3,5,7
/proc/18399/task/18402/stat : 18402 (java) S 18397 18397 6753 0 -1 1077944384 1810 0 0 0 77 10 0 0 20 0 19 0 408359067 15787421696 116689 33554432000 4194304 4196468 140733919350624 140036905339280 140037313697493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
[pid=18399/tid=18403] ppid=18397 vsize=15417404 memory=466296 CPUtime=0.87 cores=1,3,5,7
/proc/18399/task/18403/stat : 18403 (java) S 18397 18397 6753 0 -1 1077944384 2023 0 0 0 79 8 0 0 20 0 19 0 408359067 15787421696 116689 33554432000 4194304 4196468 140733919350624 140036904286736 140037313697493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
[pid=18399/tid=18404] ppid=18397 vsize=15417404 memory=466552 CPUtime=0.87 cores=1,3,5,7
/proc/18399/task/18404/stat : 18404 (java) S 18397 18397 6753 0 -1 1077944384 3607 0 0 0 78 9 0 0 20 0 19 0 408359067 15787421696 116689 33554432000 4194304 4196468 140733919350624 140036903234192 140037313697493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
[pid=18399/tid=18405] ppid=18397 vsize=15417404 memory=1448 CPUtime=0.54 cores=1,3,5,7
/proc/18399/task/18405/stat : 18405 (java) S 18397 18397 6753 0 -1 1077944384 3751 0 0 0 48 6 0 0 20 0 19 0 408359068 15787421696 116689 33554432000 4194304 4196468 140733919350624 140036782356976 140037313698434 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
[pid=18399/tid=18406] ppid=18397 vsize=15417404 memory=466552 CPUtime=0 cores=1,3,5,7
/proc/18399/task/18406/stat : 18406 (java) S 18397 18397 6753 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 19 0 408359069 15787421696 116689 33554432000 4194304 4196468 140733919350624 140036781303264 140037313697493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
[pid=18399/tid=18407] ppid=18397 vsize=15417404 memory=466756 CPUtime=0 cores=1,3,5,7
/proc/18399/task/18407/stat : 18407 (java) S 18397 18397 6753 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 19 0 408359069 15787421696 116689 33554432000 4194304 4196468 140733919350624 140036780250624 140037313697493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
[pid=18399/tid=18408] ppid=18397 vsize=15417404 memory=466756 CPUtime=0 cores=1,3,5,7
/proc/18399/task/18408/stat : 18408 (java) S 18397 18397 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408359071 15787421696 116689 33554432000 4194304 4196468 140733919350624 140036779199184 140037313705883 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
[pid=18399/tid=18409] ppid=18397 vsize=15417404 memory=1448 CPUtime=1.73 cores=1,3,5,7
/proc/18399/task/18409/stat : 18409 (java) S 18397 18397 6753 0 -1 1077944384 8095 0 0 0 172 1 0 0 20 0 19 0 408359071 15787421696 116689 33554432000 4194304 4196468 140733919350624 140036778145776 140037313698434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
[pid=18399/tid=18410] ppid=18397 vsize=15417404 memory=68 CPUtime=1.8 cores=1,3,5,7
/proc/18399/task/18410/stat : 18410 (java) S 18397 18397 6753 0 -1 1077944384 8161 0 0 0 180 0 0 0 20 0 19 0 408359071 15787421696 116689 33554432000 4194304 4196468 140733919350624 140036777093232 140037313698434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
[pid=18399/tid=18411] ppid=18397 vsize=15417404 memory=466756 CPUtime=0.66 cores=1,3,5,7
/proc/18399/task/18411/stat : 18411 (java) S 18397 18397 6753 0 -1 1077944384 5119 0 0 0 65 1 0 0 20 0 19 0 408359071 15787421696 116689 33554432000 4194304 4196468 140733919350624 140036776040688 140037313698434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
[pid=18399/tid=18412] ppid=18397 vsize=15417404 memory=-3622645143214314312 CPUtime=0 cores=1,3,5,7
/proc/18399/task/18412/stat : 18412 (java) S 18397 18397 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408359071 15787421696 116689 33554432000 4194304 4196468 140733919350624 140036774988384 140037313697493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
[pid=18399/tid=18413] ppid=18397 vsize=15417404 memory=2828 CPUtime=0.13 cores=1,3,5,7
/proc/18399/task/18413/stat : 18413 (java) S 18397 18397 6753 0 -1 1077944384 512 0 0 0 0 13 0 0 20 0 19 0 408359072 15787421696 116689 33554432000 4194304 4196468 140733919350624 140036773935920 140037313698434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
[pid=18399/tid=18414] ppid=18397 vsize=15417404 memory=1448 CPUtime=576.09 cores=1,3,5,7
/proc/18399/task/18414/stat : 18414 (java) R 18397 18397 6753 0 -1 4202560 1174 0 0 0 57607 2 0 0 20 0 19 0 408359177 15787421696 116689 33554432000 4194304 4196468 140733919350624 140036764724240 140036958950389 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
[pid=18399/tid=18415] ppid=18397 vsize=15417404 memory=466756 CPUtime=574.91 cores=1,3,5,7
/proc/18399/task/18415/stat : 18415 (java) R 18397 18397 6753 0 -1 4202560 5897 0 0 0 57485 6 0 0 20 0 19 0 408359177 15787421696 116689 33554432000 4194304 4196468 140733919350624 140036763672960 140036958949864 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
[pid=18399/tid=18416] ppid=18397 vsize=15417404 memory=1448 CPUtime=574.9 cores=1,3,5,7
/proc/18399/task/18416/stat : 18416 (java) R 18397 18397 6753 0 -1 4202560 779 0 0 0 57489 1 0 0 20 0 19 0 408359177 15787421696 116689 33554432000 4194304 4196468 140733919350624 140036762620568 140036957202785 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
[pid=18399/tid=18417] ppid=18397 vsize=15417404 memory=1448 CPUtime=575.41 cores=1,3,5,7
/proc/18399/task/18417/stat : 18417 (java) R 18397 18397 6753 0 -1 4202560 4024 0 0 0 57538 3 0 0 20 0 19 0 408359177 15787421696 116689 33554432000 4194304 4196468 140733919350624 140036761569552 140036958949843 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
Current children cumulated CPU time: 2310.65 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 468204 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+635.001 s]*
/proc/loadavg: 9.20 8.75 8.54 10/238 18554
/proc/meminfo: memFree=30631136/32770624 swapFree=66979560/67108860
[pid=18397] ppid=18394 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/18397/stat : 18397 (xcsp3-exec) S 18394 18397 6753 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408359066 115843072 362 33554432000 4194304 5098028 140720822350384 140720822348488 139997208863356 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31641600 140720822358907 140720822359149 140720822359149 140720822362058 0
/proc/18397/statm: 28282 362 304 221 0 87 0
[pid=18399] ppid=18397 vsize=15417404 memory=466836 CPUtime=2520.21 cores=1,3,5,7
/proc/18399/stat : 18399 (java) S 18397 18397 6753 0 -1 1077944320 58025 0 0 0 251963 58 0 0 20 0 19 0 408359066 15787421696 116709 33554432000 4194304 4196468 140733919350624 140733919333168 140037313687287 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
/proc/18399/statm: 3854351 116709 3539 1 0 3815453 0
[pid=18399/tid=18400] ppid=18397 vsize=15417404 memory=8317482817917895235 CPUtime=0.86 cores=1,3,5,7
/proc/18399/task/18400/stat : 18400 (java) S 18397 18397 6753 0 -1 1077944384 8299 0 0 0 82 4 0 0 20 0 19 0 408359066 15787421696 116709 33554432000 4194304 4196468 140733919350624 140037317928064 140037313697493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 22 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
[pid=18399/tid=18401] ppid=18397 vsize=15417404 memory=4126316290023845779 CPUtime=0.9 cores=1,3,5,7
/proc/18399/task/18401/stat : 18401 (java) S 18397 18397 6753 0 -1 1077944384 2204 0 0 0 80 10 0 0 20 0 19 0 408359067 15787421696 116709 33554432000 4194304 4196468 140733919350624 140036906391824 140037313697493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
[pid=18399/tid=18402] ppid=18397 vsize=15417404 memory=6791534058613427641 CPUtime=0.9 cores=1,3,5,7
/proc/18399/task/18402/stat : 18402 (java) S 18397 18397 6753 0 -1 1077944384 2209 0 0 0 80 10 0 0 20 0 19 0 408359067 15787421696 116709 33554432000 4194304 4196468 140733919350624 140036905339280 140037313697493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
[pid=18399/tid=18403] ppid=18397 vsize=15417404 memory=-6511476473115689679 CPUtime=0.91 cores=1,3,5,7
/proc/18399/task/18403/stat : 18403 (java) S 18397 18397 6753 0 -1 1077944384 2092 0 0 0 82 9 0 0 20 0 19 0 408359067 15787421696 116709 33554432000 4194304 4196468 140733919350624 140036904286736 140037313697493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
[pid=18399/tid=18404] ppid=18397 vsize=15417404 memory=-6438561360390045638 CPUtime=0.9 cores=1,3,5,7
/proc/18399/task/18404/stat : 18404 (java) S 18397 18397 6753 0 -1 1077944384 3667 0 0 0 81 9 0 0 20 0 19 0 408359067 15787421696 116709 33554432000 4194304 4196468 140733919350624 140036903234192 140037313697493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
[pid=18399/tid=18405] ppid=18397 vsize=15417404 memory=6791534058613427641 CPUtime=0.56 cores=1,3,5,7
/proc/18399/task/18405/stat : 18405 (java) S 18397 18397 6753 0 -1 1077944384 3935 0 0 0 50 6 0 0 20 0 19 0 408359068 15787421696 116709 33554432000 4194304 4196468 140733919350624 140036782356976 140037313698434 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
[pid=18399/tid=18406] ppid=18397 vsize=15417404 memory=1692 CPUtime=0 cores=1,3,5,7
/proc/18399/task/18406/stat : 18406 (java) S 18397 18397 6753 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 19 0 408359069 15787421696 116709 33554432000 4194304 4196468 140733919350624 140036781303264 140037313697493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
[pid=18399/tid=18407] ppid=18397 vsize=15417404 memory=1028 CPUtime=0 cores=1,3,5,7
/proc/18399/task/18407/stat : 18407 (java) S 18397 18397 6753 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 19 0 408359069 15787421696 116709 33554432000 4194304 4196468 140733919350624 140036780250624 140037313697493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
[pid=18399/tid=18408] ppid=18397 vsize=15417404 memory=1060 CPUtime=0 cores=1,3,5,7
/proc/18399/task/18408/stat : 18408 (java) S 18397 18397 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408359071 15787421696 116709 33554432000 4194304 4196468 140733919350624 140036779199184 140037313705883 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
[pid=18399/tid=18409] ppid=18397 vsize=15417404 memory=2828 CPUtime=1.73 cores=1,3,5,7
/proc/18399/task/18409/stat : 18409 (java) S 18397 18397 6753 0 -1 1077944384 8095 0 0 0 172 1 0 0 20 0 19 0 408359071 15787421696 116709 33554432000 4194304 4196468 140733919350624 140036778145776 140037313698434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
[pid=18399/tid=18410] ppid=18397 vsize=15417404 memory=756 CPUtime=1.8 cores=1,3,5,7
/proc/18399/task/18410/stat : 18410 (java) S 18397 18397 6753 0 -1 1077944384 8166 0 0 0 180 0 0 0 20 0 19 0 408359071 15787421696 116709 33554432000 4194304 4196468 140733919350624 140036777093232 140037313698434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
[pid=18399/tid=18411] ppid=18397 vsize=15417404 memory=1548 CPUtime=0.66 cores=1,3,5,7
/proc/18399/task/18411/stat : 18411 (java) S 18397 18397 6753 0 -1 1077944384 5119 0 0 0 65 1 0 0 20 0 19 0 408359071 15787421696 116709 33554432000 4194304 4196468 140733919350624 140036776040688 140037313698434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
[pid=18399/tid=18412] ppid=18397 vsize=15417404 memory=7968 CPUtime=0 cores=1,3,5,7
/proc/18399/task/18412/stat : 18412 (java) S 18397 18397 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408359071 15787421696 116709 33554432000 4194304 4196468 140733919350624 140036774988384 140037313697493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
[pid=18399/tid=18413] ppid=18397 vsize=15417404 memory=1164 CPUtime=0.14 cores=1,3,5,7
/proc/18399/task/18413/stat : 18413 (java) S 18397 18397 6753 0 -1 1077944384 526 0 0 0 0 14 0 0 20 0 19 0 408359072 15787421696 116709 33554432000 4194304 4196468 140733919350624 140036773935920 140037313698434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
[pid=18399/tid=18414] ppid=18397 vsize=15417404 memory=9580 CPUtime=628.26 cores=1,3,5,7
/proc/18399/task/18414/stat : 18414 (java) R 18397 18397 6753 0 -1 4202560 1265 0 0 0 62824 2 0 0 20 0 19 0 408359177 15787421696 116709 33554432000 4194304 4196468 140733919350624 140036764724920 140036958949887 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
[pid=18399/tid=18415] ppid=18397 vsize=15417404 memory=14008 CPUtime=627.35 cores=1,3,5,7
/proc/18399/task/18415/stat : 18415 (java) R 18397 18397 6753 0 -1 4202560 6072 0 0 0 62729 6 0 0 20 0 19 0 408359177 15787421696 116709 33554432000 4194304 4196468 140733919350624 140036763673664 140036958890703 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
[pid=18399/tid=18416] ppid=18397 vsize=15417404 memory=2120 CPUtime=627.35 cores=1,3,5,7
/proc/18399/task/18416/stat : 18416 (java) R 18397 18397 6753 0 -1 4202560 814 0 0 0 62734 1 0 0 20 0 19 0 408359177 15787421696 116709 33554432000 4194304 4196468 140733919350624 140036762620384 140036957202772 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
[pid=18399/tid=18417] ppid=18397 vsize=15417404 memory=11976 CPUtime=627.76 cores=1,3,5,7
/proc/18399/task/18417/stat : 18417 (java) R 18397 18397 6753 0 -1 4202560 4177 0 0 0 62772 4 0 0 20 0 19 0 408359177 15787421696 116709 33554432000 4194304 4196468 140733919350624 140036761569552 140036957202706 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28684288 140733919355887 140733919356058 140733919356058 140733919358927 0
Current children cumulated CPU time: 2520.21 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 468284 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+635.05 s]
# the end of solver process 18397 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001504 s, system=0.000752 s
[startup+635.104 s]
# the end of solver process 18399 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2520 s, system=0.584883 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 635.104
CPU time (s): 2520.58
CPU user time (s): 2520
CPU system time (s): 0.584883
CPU usage (%): 396.877
Max. virtual memory (cumulated for all children) (KiB): 15530532
Max. memory (cumulated for all children) (KiB): 631356
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520
system time used= 0.584883
maximum resident set size= 630664
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58866
page faults= 0
swaps= 0
block input operations= 0
block output operations= 832
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37246
involuntary context switches= 46999
# summary of solver processes directly reported to runsolver:
# pid: 18397,18399
# total CPU time (s): 2520.58
# total CPU user time (s): 2520
# total CPU system time (s): 0.584883
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.96783 second user time and 7.11808 second system time
The end