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 (9404 MiB free)
memory of node 1: 16384 MiB (12231 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394347-1568330188/watcher-4394347-1568330188 -o /tmp/evaluation-result-4394347-1568330188/solver-4394347-1568330188 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568327905-19559 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1211103999 HOME/instance-4394347-1568330188.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=22677, runsolver pid=22674
Current StackSize limit: 8192 KiB
[startup+0.103214 s]*
/proc/loadavg: 6.11 6.33 6.62 8/232 22693
/proc/meminfo: memFree=22139360/32770624 swapFree=66939828/67108860
[pid=22677] ppid=22674 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22677/stat : 22677 (xcsp3-exec) S 22674 22677 19528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408933728 115843072 363 33554432000 4194304 5098028 140723698616784 140723698614888 140522609197692 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39010304 140723698623354 140723698623597 140723698623597 140723698626506 0
/proc/22677/statm: 28282 363 304 221 0 87 0
[pid=22679] ppid=22677 vsize=15144768 memory=30208 CPUtime=0.14 cores=0,2,4,6
/proc/22679/stat : 22679 (java) S 22677 22677 19528 0 -1 1077944320 6004 0 0 0 13 1 0 0 20 0 15 0 408933728 15508242432 7552 33554432000 4194304 4196468 140730218404624 140730218387168 140073115696887 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
/proc/22679/statm: 3786192 7552 3140 1 0 3748377 0
[pid=22679/tid=22680] ppid=22677 vsize=15144768 memory=7100839878644302962 CPUtime=0.1 cores=0,2,4,6
/proc/22679/task/22680/stat : 22680 (java) R 22677 22677 19528 0 -1 4202560 3875 0 0 0 9 1 0 0 20 0 15 0 408933728 15508242432 7552 33554432000 4194304 4196468 140730218404624 140073119927408 140073115708822 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
[pid=22679/tid=22681] ppid=22677 vsize=15144768 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/22679/task/22681/stat : 22681 (java) S 22677 22677 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408933729 15508242432 7552 33554432000 4194304 4196468 140730218404624 140072708335888 140073115707093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
[pid=22679/tid=22682] ppid=22677 vsize=15144768 memory=140557720499840 CPUtime=0 cores=0,2,4,6
/proc/22679/task/22682/stat : 22682 (java) S 22677 22677 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408933729 15508242432 7552 33554432000 4194304 4196468 140730218404624 140072707283344 140073115707093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
[pid=22679/tid=22683] ppid=22677 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22679/task/22683/stat : 22683 (java) S 22677 22677 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408933729 15508242432 7552 33554432000 4194304 4196468 140730218404624 140072706230800 140073115707093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
[pid=22679/tid=22684] ppid=22677 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22679/task/22684/stat : 22684 (java) S 22677 22677 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408933729 15508242432 7552 33554432000 4194304 4196468 140730218404624 140072705178256 140073115707093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
[pid=22679/tid=22685] ppid=22677 vsize=15144768 memory=140557720499840 CPUtime=0 cores=0,2,4,6
/proc/22679/task/22685/stat : 22685 (java) S 22677 22677 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408933730 15508242432 7552 33554432000 4194304 4196468 140730218404624 140072651446768 140073115708034 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
[pid=22679/tid=22686] ppid=22677 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22679/task/22686/stat : 22686 (java) S 22677 22677 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408933731 15508242432 7552 33554432000 4194304 4196468 140730218404624 140072650392992 140073115707093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
[pid=22679/tid=22687] ppid=22677 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22679/task/22687/stat : 22687 (java) S 22677 22677 19528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408933731 15508242432 7552 33554432000 4194304 4196468 140730218404624 140072649340400 140073115707093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
[pid=22679/tid=22688] ppid=22677 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22679/task/22688/stat : 22688 (java) S 22677 22677 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408933734 15508242432 7552 33554432000 4194304 4196468 140730218404624 140072648288976 140073115715483 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
[pid=22679/tid=22689] ppid=22677 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22679/task/22689/stat : 22689 (java) R 22677 22677 19528 0 -1 1077944384 349 0 0 0 0 0 0 0 20 0 15 0 408933734 15508242432 7552 33554432000 4194304 4196468 140730218404624 140072647235568 140073115708034 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
[pid=22679/tid=22690] ppid=22677 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22679/task/22690/stat : 22690 (java) R 22677 22677 19528 0 -1 4202560 124 0 0 0 0 0 0 0 20 0 15 0 408933734 15508242432 7552 33554432000 4194304 4196468 140730218404624 140072646183024 140073093444284 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
[pid=22679/tid=22691] ppid=22677 vsize=15144768 memory=140557720499840 CPUtime=0.02 cores=0,2,4,6
/proc/22679/task/22691/stat : 22691 (java) R 22677 22677 19528 0 -1 4202560 352 0 0 0 2 0 0 0 20 0 15 0 408933734 15508242432 7552 33554432000 4194304 4196468 140730218404624 140072645130608 140073094626169 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
[pid=22679/tid=22692] ppid=22677 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22679/task/22692/stat : 22692 (java) S 22677 22677 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408933734 15508242432 7552 33554432000 4194304 4196468 140730218404624 140072644078176 140073115707093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
[pid=22679/tid=22693] ppid=22677 vsize=15144768 memory=140557720499840 CPUtime=0 cores=0,2,4,6
/proc/22679/task/22693/stat : 22693 (java) R 22677 22677 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408933734 15508242432 7552 33554432000 4194304 4196468 140730218404624 140072643025712 140073115708034 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31660 KiB
[startup+0.210658 s]*
/proc/loadavg: 6.11 6.33 6.62 6/232 22693
/proc/meminfo: memFree=22126412/32770624 swapFree=66939828/67108860
[pid=22677] ppid=22674 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22677/stat : 22677 (xcsp3-exec) S 22674 22677 19528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408933728 115843072 363 33554432000 4194304 5098028 140723698616784 140723698614888 140522609197692 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39010304 140723698623354 140723698623597 140723698623597 140723698626506 0
/proc/22677/statm: 28282 363 304 221 0 87 0
[pid=22679] ppid=22677 vsize=15144768 memory=41412 CPUtime=0.34 cores=0,2,4,6
/proc/22679/stat : 22679 (java) S 22677 22677 19528 0 -1 1077944320 9543 0 0 0 31 3 0 0 20 0 15 0 408933728 15508242432 10353 33554432000 4194304 4196468 140730218404624 140730218387168 140073115696887 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
/proc/22679/statm: 3786192 10353 3316 1 0 3748377 0
[pid=22679/tid=22680] ppid=22677 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/22679/task/22680/stat : 22680 (java) R 22677 22677 19528 0 -1 4202560 6679 0 0 0 18 2 0 0 20 0 15 0 408933728 15508242432 10353 33554432000 4194304 4196468 140730218404624 140073119934912 140073115708822 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
[pid=22679/tid=22681] ppid=22677 vsize=15144768 memory=10535 CPUtime=0 cores=0,2,4,6
/proc/22679/task/22681/stat : 22681 (java) S 22677 22677 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408933729 15508242432 10353 33554432000 4194304 4196468 140730218404624 140072708335888 140073115707093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
[pid=22679/tid=22682] ppid=22677 vsize=15144768 memory=140557720519652 CPUtime=0 cores=0,2,4,6
/proc/22679/task/22682/stat : 22682 (java) S 22677 22677 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408933729 15508242432 10353 33554432000 4194304 4196468 140730218404624 140072707283344 140073115707093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
[pid=22679/tid=22683] ppid=22677 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22679/task/22683/stat : 22683 (java) S 22677 22677 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408933729 15508242432 10353 33554432000 4194304 4196468 140730218404624 140072706230800 140073115707093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
[pid=22679/tid=22684] ppid=22677 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22679/task/22684/stat : 22684 (java) S 22677 22677 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408933729 15508242432 10353 33554432000 4194304 4196468 140730218404624 140072705178256 140073115707093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
[pid=22679/tid=22685] ppid=22677 vsize=15144768 memory=140557720499840 CPUtime=0 cores=0,2,4,6
/proc/22679/task/22685/stat : 22685 (java) S 22677 22677 19528 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408933730 15508242432 10353 33554432000 4194304 4196468 140730218404624 140072651446768 140073115708034 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
[pid=22679/tid=22686] ppid=22677 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22679/task/22686/stat : 22686 (java) S 22677 22677 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408933731 15508242432 10353 33554432000 4194304 4196468 140730218404624 140072650392992 140073115707093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
[pid=22679/tid=22687] ppid=22677 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22679/task/22687/stat : 22687 (java) S 22677 22677 19528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408933731 15508242432 10353 33554432000 4194304 4196468 140730218404624 140072649340400 140073115707093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
[pid=22679/tid=22688] ppid=22677 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22679/task/22688/stat : 22688 (java) S 22677 22677 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408933734 15508242432 10353 33554432000 4194304 4196468 140730218404624 140072648288976 140073115715483 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
[pid=22679/tid=22689] ppid=22677 vsize=15144768 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/22679/task/22689/stat : 22689 (java) S 22677 22677 19528 0 -1 1077944384 441 0 0 0 2 0 0 0 20 0 15 0 408933734 15508242432 10353 33554432000 4194304 4196468 140730218404624 140072647235568 140073115708034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
[pid=22679/tid=22690] ppid=22677 vsize=15144768 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/22679/task/22690/stat : 22690 (java) S 22677 22677 19528 0 -1 1077944384 407 0 0 0 3 0 0 0 20 0 15 0 408933734 15508242432 10353 33554432000 4194304 4196468 140730218404624 140072646183024 140073115708034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
[pid=22679/tid=22691] ppid=22677 vsize=15144768 memory=140557720499840 CPUtime=0.08 cores=0,2,4,6
/proc/22679/task/22691/stat : 22691 (java) R 22677 22677 19528 0 -1 4202560 710 0 0 0 8 0 0 0 20 0 15 0 408933734 15508242432 10353 33554432000 4194304 4196468 140730218404624 140072645130480 140073115708822 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
[pid=22679/tid=22692] ppid=22677 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22679/task/22692/stat : 22692 (java) S 22677 22677 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408933734 15508242432 10353 33554432000 4194304 4196468 140730218404624 140072644078176 140073115707093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
[pid=22679/tid=22693] ppid=22677 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22679/task/22693/stat : 22693 (java) S 22677 22677 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408933734 15508242432 10353 33554432000 4194304 4196468 140730218404624 140072643025712 140073115708034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42864 KiB
[startup+0.31055 s]*
/proc/loadavg: 6.11 6.33 6.62 9/232 22693
/proc/meminfo: memFree=22123700/32770624 swapFree=66939828/67108860
[pid=22677] ppid=22674 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22677/stat : 22677 (xcsp3-exec) S 22674 22677 19528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408933728 115843072 363 33554432000 4194304 5098028 140723698616784 140723698614888 140522609197692 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39010304 140723698623354 140723698623597 140723698623597 140723698626506 0
/proc/22677/statm: 28282 363 304 221 0 87 0
[pid=22679] ppid=22677 vsize=15149024 memory=50008 CPUtime=0.53 cores=0,2,4,6
/proc/22679/stat : 22679 (java) S 22677 22677 19528 0 -1 1077944320 10804 0 0 0 49 4 0 0 20 0 15 0 408933728 15512600576 12502 33554432000 4194304 4196468 140730218404624 140730218387168 140073115696887 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
/proc/22679/statm: 3787256 12502 3356 1 0 3748377 0
[pid=22679/tid=22680] ppid=22677 vsize=15149024 memory=8389772277269004345 CPUtime=0.3 cores=0,2,4,6
/proc/22679/task/22680/stat : 22680 (java) R 22677 22677 19528 0 -1 4202560 7733 0 0 0 27 3 0 0 20 0 15 0 408933728 15512600576 12502 33554432000 4194304 4196468 140730218404624 140073119928000 140073097282400 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
[pid=22679/tid=22681] ppid=22677 vsize=15149024 memory=307370911731034425 CPUtime=0 cores=0,2,4,6
/proc/22679/task/22681/stat : 22681 (java) S 22677 22677 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408933729 15512600576 12502 33554432000 4194304 4196468 140730218404624 140072708335888 140073115707093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
[pid=22679/tid=22682] ppid=22677 vsize=15149024 memory=3905526016340413467 CPUtime=0 cores=0,2,4,6
/proc/22679/task/22682/stat : 22682 (java) S 22677 22677 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408933729 15512600576 12502 33554432000 4194304 4196468 140730218404624 140072707283344 140073115707093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
[pid=22679/tid=22683] ppid=22677 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22679/task/22683/stat : 22683 (java) S 22677 22677 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408933729 15512600576 12502 33554432000 4194304 4196468 140730218404624 140072706230800 140073115707093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
[pid=22679/tid=22684] ppid=22677 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22679/task/22684/stat : 22684 (java) S 22677 22677 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408933729 15512600576 12502 33554432000 4194304 4196468 140730218404624 140072705178256 140073115707093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
[pid=22679/tid=22685] ppid=22677 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22679/task/22685/stat : 22685 (java) S 22677 22677 19528 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408933730 15512600576 12502 33554432000 4194304 4196468 140730218404624 140072651446768 140073115708034 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
[pid=22679/tid=22686] ppid=22677 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22679/task/22686/stat : 22686 (java) S 22677 22677 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408933731 15512600576 12502 33554432000 4194304 4196468 140730218404624 140072650392992 140073115707093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
[pid=22679/tid=22687] ppid=22677 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22679/task/22687/stat : 22687 (java) S 22677 22677 19528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408933731 15512600576 12502 33554432000 4194304 4196468 140730218404624 140072649340400 140073115707093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
[pid=22679/tid=22688] ppid=22677 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22679/task/22688/stat : 22688 (java) S 22677 22677 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408933734 15512600576 12502 33554432000 4194304 4196468 140730218404624 140072648288976 140073115715483 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
[pid=22679/tid=22689] ppid=22677 vsize=15149024 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/22679/task/22689/stat : 22689 (java) R 22677 22677 19528 0 -1 4202560 537 0 0 0 4 0 0 0 20 0 15 0 408933734 15512600576 12502 33554432000 4194304 4196468 140730218404624 140072647216584 140073097219374 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
[pid=22679/tid=22690] ppid=22677 vsize=15149024 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/22679/task/22690/stat : 22690 (java) S 22677 22677 19528 0 -1 1077944384 435 0 0 0 4 0 0 0 20 0 15 0 408933734 15512600576 12502 33554432000 4194304 4196468 140730218404624 140072646183024 140073115708034 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
[pid=22679/tid=22691] ppid=22677 vsize=15149024 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/22679/task/22691/stat : 22691 (java) S 22677 22677 19528 0 -1 1077944384 792 0 0 0 12 0 0 0 20 0 15 0 408933734 15512600576 12502 33554432000 4194304 4196468 140730218404624 140072645130480 140073115708034 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
[pid=22679/tid=22692] ppid=22677 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22679/task/22692/stat : 22692 (java) S 22677 22677 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408933734 15512600576 12502 33554432000 4194304 4196468 140730218404624 140072644078176 140073115707093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
[pid=22679/tid=22693] ppid=22677 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22679/task/22693/stat : 22693 (java) S 22677 22677 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408933734 15512600576 12502 33554432000 4194304 4196468 140730218404624 140072643025712 140073115708034 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51460 KiB
[startup+0.704314 s]
/proc/loadavg: 6.66 6.44 6.66 7/232 22693
/proc/meminfo: memFree=22110496/32770624 swapFree=66939828/67108860
[pid=22677] ppid=22674 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22677/stat : 22677 (xcsp3-exec) S 22674 22677 19528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408933728 115843072 363 33554432000 4194304 5098028 140723698616784 140723698614888 140522609197692 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39010304 140723698623354 140723698623597 140723698623597 140723698626506 0
/proc/22677/statm: 28282 363 304 221 0 87 0
[pid=22679] ppid=22677 vsize=15151148 memory=85376 CPUtime=1.62 cores=0,2,4,6
/proc/22679/stat : 22679 (java) S 22677 22677 19528 0 -1 1077944320 15056 0 0 0 156 6 0 0 20 0 15 0 408933728 15514775552 21344 33554432000 4194304 4196468 140730218404624 140730218387168 140073115696887 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
/proc/22679/statm: 3787787 21344 3452 1 0 3748889 0
[pid=22679/tid=22680] ppid=22677 vsize=15151148 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/22679/task/22680/stat : 22680 (java) R 22677 22677 19528 0 -1 4202560 9230 0 0 0 64 4 0 0 20 0 15 0 408933728 15514775552 21344 33554432000 4194304 4196468 140730218404624 140073119935552 140073115718813 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
[pid=22679/tid=22681] ppid=22677 vsize=15151148 memory=520 CPUtime=0 cores=0,2,4,6
/proc/22679/task/22681/stat : 22681 (java) S 22677 22677 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408933729 15514775552 21344 33554432000 4194304 4196468 140730218404624 140072708335888 140073115707093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
[pid=22679/tid=22682] ppid=22677 vsize=15151148 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/22679/task/22682/stat : 22682 (java) S 22677 22677 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408933729 15514775552 21344 33554432000 4194304 4196468 140730218404624 140072707283344 140073115707093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
[pid=22679/tid=22683] ppid=22677 vsize=15151148 memory=924 CPUtime=0 cores=0,2,4,6
/proc/22679/task/22683/stat : 22683 (java) S 22677 22677 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408933729 15514775552 21344 33554432000 4194304 4196468 140730218404624 140072706230800 140073115707093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
[pid=22679/tid=22684] ppid=22677 vsize=15151148 memory=3688 CPUtime=0 cores=0,2,4,6
/proc/22679/task/22684/stat : 22684 (java) S 22677 22677 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408933729 15514775552 21344 33554432000 4194304 4196468 140730218404624 140072705178256 140073115707093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
[pid=22679/tid=22685] ppid=22677 vsize=15151148 memory=1984 CPUtime=0 cores=0,2,4,6
/proc/22679/task/22685/stat : 22685 (java) S 22677 22677 19528 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408933730 15514775552 21344 33554432000 4194304 4196468 140730218404624 140072651446768 140073115708034 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
[pid=22679/tid=22686] ppid=22677 vsize=15151148 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/22679/task/22686/stat : 22686 (java) S 22677 22677 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408933731 15514775552 21344 33554432000 4194304 4196468 140730218404624 140072650392992 140073115707093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
[pid=22679/tid=22687] ppid=22677 vsize=15151148 memory=804 CPUtime=0 cores=0,2,4,6
/proc/22679/task/22687/stat : 22687 (java) S 22677 22677 19528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408933731 15514775552 21344 33554432000 4194304 4196468 140730218404624 140072649340400 140073115707093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
[pid=22679/tid=22688] ppid=22677 vsize=15151148 memory=2580 CPUtime=0 cores=0,2,4,6
/proc/22679/task/22688/stat : 22688 (java) S 22677 22677 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408933734 15514775552 21344 33554432000 4194304 4196468 140730218404624 140072648288976 140073115715483 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
[pid=22679/tid=22689] ppid=22677 vsize=15151148 memory=1760 CPUtime=0.28 cores=0,2,4,6
/proc/22679/task/22689/stat : 22689 (java) R 22677 22677 19528 0 -1 4202560 1405 0 0 0 28 0 0 0 20 0 15 0 408933734 15514775552 21344 33554432000 4194304 4196468 140730218404624 140072647220528 140073100086737 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
[pid=22679/tid=22690] ppid=22677 vsize=15151148 memory=111636 CPUtime=0.24 cores=0,2,4,6
/proc/22679/task/22690/stat : 22690 (java) R 22677 22677 19528 0 -1 1077944384 1195 0 0 0 24 0 0 0 20 0 15 0 408933734 15514775552 21344 33554432000 4194304 4196468 140730218404624 140072646183024 140073115708034 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
[pid=22679/tid=22691] ppid=22677 vsize=15151148 memory=808 CPUtime=0.39 cores=0,2,4,6
/proc/22679/task/22691/stat : 22691 (java) R 22677 22677 19528 0 -1 4202560 1919 0 0 0 39 0 0 0 20 0 15 0 408933734 15514775552 21344 33554432000 4194304 4196468 140730218404624 140072645123776 140073115708822 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
[pid=22679/tid=22692] ppid=22677 vsize=15151148 memory=1804 CPUtime=0 cores=0,2,4,6
/proc/22679/task/22692/stat : 22692 (java) S 22677 22677 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408933734 15514775552 21344 33554432000 4194304 4196468 140730218404624 140072644078176 140073115707093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
[pid=22679/tid=22693] ppid=22677 vsize=15151148 memory=920 CPUtime=0 cores=0,2,4,6
/proc/22679/task/22693/stat : 22693 (java) S 22677 22677 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408933734 15514775552 21344 33554432000 4194304 4196468 140730218404624 140072643025712 140073115708034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
Current children cumulated CPU time: 1.62 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 86828 KiB
[startup+1.50524 s]
/proc/loadavg: 6.66 6.44 6.66 12/236 22697
/proc/meminfo: memFree=22035680/32770624 swapFree=66939828/67108860
[pid=22677] ppid=22674 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22677/stat : 22677 (xcsp3-exec) S 22674 22677 19528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408933728 115843072 363 33554432000 4194304 5098028 140723698616784 140723698614888 140522609197692 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39010304 140723698623354 140723698623597 140723698623597 140723698626506 0
/proc/22677/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/22679/stat : 22679 (java) S 22677 22677 19528 0 -1 1077944320 126847 0 0 0 229347 104 0 0 20 0 19 0 408933728 15789518848 62794 33554432000 4194304 4196468 140730218404624 140730218387168 140073115696887 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
/proc/22679/statm: 3854863 62794 3522 1 0 3815965 0
[pid=22679/tid=22680] ppid=22677 vsize=15419452 memory=247080 CPUtime=0.92 cores=0,2,4,6
/proc/22679/task/22680/stat : 22680 (java) S 22677 22677 19528 0 -1 1077944384 10567 0 0 0 87 5 0 0 20 0 19 0 408933728 15789518848 62794 33554432000 4194304 4196468 140730218404624 140073119937664 140073115707093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
[pid=22679/tid=22681] ppid=22677 vsize=15419452 memory=247076 CPUtime=0.85 cores=0,2,4,6
/proc/22679/task/22681/stat : 22681 (java) S 22677 22677 19528 0 -1 1077944384 6063 0 0 0 82 3 0 0 20 0 19 0 408933729 15789518848 62794 33554432000 4194304 4196468 140730218404624 140072708335888 140073115707093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
[pid=22679/tid=22682] ppid=22677 vsize=15419452 memory=245020 CPUtime=0.83 cores=0,2,4,6
/proc/22679/task/22682/stat : 22682 (java) S 22677 22677 19528 0 -1 1077944384 6054 0 0 0 80 3 0 0 20 0 19 0 408933729 15789518848 62794 33554432000 4194304 4196468 140730218404624 140072707283344 140073115707093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
[pid=22679/tid=22683] ppid=22677 vsize=15419452 memory=249128 CPUtime=0.85 cores=0,2,4,6
/proc/22679/task/22683/stat : 22683 (java) S 22677 22677 19528 0 -1 1077944384 4155 0 0 0 82 3 0 0 20 0 19 0 408933729 15789518848 62794 33554432000 4194304 4196468 140730218404624 140072706230800 140073115707093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
[pid=22679/tid=22684] ppid=22677 vsize=15419452 memory=251176 CPUtime=0.84 cores=0,2,4,6
/proc/22679/task/22684/stat : 22684 (java) S 22677 22677 19528 0 -1 1077944384 4807 0 0 0 80 4 0 0 20 0 19 0 408933729 15789518848 62794 33554432000 4194304 4196468 140730218404624 140072705178256 140073115707093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
[pid=22679/tid=22685] ppid=22677 vsize=15419452 memory=251176 CPUtime=1.2 cores=0,2,4,6
/proc/22679/task/22685/stat : 22685 (java) S 22677 22677 19528 0 -1 1077944384 9321 0 0 0 44 76 0 0 20 0 19 0 408933730 15789518848 62794 33554432000 4194304 4196468 140730218404624 140072651446768 140073115708034 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
[pid=22679/tid=22686] ppid=22677 vsize=15419452 memory=251176 CPUtime=0 cores=0,2,4,6
/proc/22679/task/22686/stat : 22686 (java) S 22677 22677 19528 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 19 0 408933731 15789518848 62794 33554432000 4194304 4196468 140730218404624 140072650393056 140073115707093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
[pid=22679/tid=22687] ppid=22677 vsize=15419452 memory=251176 CPUtime=0 cores=0,2,4,6
/proc/22679/task/22687/stat : 22687 (java) S 22677 22677 19528 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 408933731 15789518848 62794 33554432000 4194304 4196468 140730218404624 140072649340416 140073115707093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
[pid=22679/tid=22688] ppid=22677 vsize=15419452 memory=251176 CPUtime=0 cores=0,2,4,6
/proc/22679/task/22688/stat : 22688 (java) S 22677 22677 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408933734 15789518848 62794 33554432000 4194304 4196468 140730218404624 140072648288976 140073115715483 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
[pid=22679/tid=22689] ppid=22677 vsize=15419452 memory=1452 CPUtime=3.53 cores=0,2,4,6
/proc/22679/task/22689/stat : 22689 (java) S 22677 22677 19528 0 -1 1077944384 20598 0 0 0 351 2 0 0 20 0 19 0 408933734 15789518848 62794 33554432000 4194304 4196468 140730218404624 140072647235568 140073115708034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
[pid=22679/tid=22690] ppid=22677 vsize=15419452 memory=251176 CPUtime=3.29 cores=0,2,4,6
/proc/22679/task/22690/stat : 22690 (java) S 22677 22677 19528 0 -1 1077944384 22614 0 0 0 328 1 0 0 20 0 19 0 408933734 15789518848 62794 33554432000 4194304 4196468 140730218404624 140072646183024 140073115708034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
[pid=22679/tid=22691] ppid=22677 vsize=15419452 memory=1452 CPUtime=0.89 cores=0,2,4,6
/proc/22679/task/22691/stat : 22691 (java) S 22677 22677 19528 0 -1 1077944384 13876 0 0 0 88 1 0 0 20 0 19 0 408933734 15789518848 62794 33554432000 4194304 4196468 140730218404624 140072645130480 140073115708034 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
[pid=22679/tid=22692] ppid=22677 vsize=15419452 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22679/task/22692/stat : 22692 (java) S 22677 22677 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408933734 15789518848 62794 33554432000 4194304 4196468 140730218404624 140072644078176 140073115707093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
[pid=22679/tid=22693] ppid=22677 vsize=15419452 memory=1452 CPUtime=0.14 cores=0,2,4,6
/proc/22679/task/22693/stat : 22693 (java) S 22677 22677 19528 0 -1 1077944384 1240 0 0 0 0 14 0 0 20 0 19 0 408933734 15789518848 62794 33554432000 4194304 4196468 140730218404624 140072643025712 140073115708034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 37 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
[pid=22679/tid=22784] ppid=22677 vsize=15419452 memory=1452 CPUtime=43.37 cores=0,2,4,6
/proc/22679/task/22784/stat : 22784 (java) R 22677 22677 19528 0 -1 4202560 699 0 0 0 4337 0 0 0 20 0 19 0 408987574 15789518848 62794 33554432000 4194304 4196468 140730218404624 140072564751448 140072731332239 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
[pid=22679/tid=22785] ppid=22677 vsize=15419452 memory=251176 CPUtime=43.42 cores=0,2,4,6
/proc/22679/task/22785/stat : 22785 (java) R 22677 22677 19528 0 -1 4202560 598 0 0 0 4342 0 0 0 20 0 19 0 408987574 15789518848 62794 33554432000 4194304 4196468 140730218404624 140072562650080 140072727578971 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
[pid=22679/tid=22786] ppid=22677 vsize=15419452 memory=1452 CPUtime=43.3 cores=0,2,4,6
/proc/22679/task/22786/stat : 22786 (java) R 22677 22677 19528 0 -1 4202560 973 0 0 0 4330 0 0 0 20 0 19 0 408987574 15789518848 62794 33554432000 4194304 4196468 140730218404624 140072565804928 140072732257120 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
[pid=22679/tid=22787] ppid=22677 vsize=15419452 memory=1452 CPUtime=43.38 cores=0,2,4,6
/proc/22679/task/22787/stat : 22787 (java) R 22677 22677 19528 0 -1 4202560 468 0 0 0 4338 0 0 0 20 0 19 0 408987574 15789518848 62794 33554432000 4194304 4196468 140730218404624 140072563699336 140072727578968 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
Current children cumulated CPU time: 2294.51 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 252628 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+608.901 s]
/proc/loadavg: 7.51 7.89 7.43 9/237 24560
/proc/meminfo: memFree=19747828/32770624 swapFree=66939828/67108860
[pid=22677] ppid=22674 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22677/stat : 22677 (xcsp3-exec) S 22674 22677 19528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408933728 115843072 363 33554432000 4194304 5098028 140723698616784 140723698614888 140522609197692 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39010304 140723698623354 140723698623597 140723698623597 140723698626506 0
/proc/22677/statm: 28282 363 304 221 0 87 0
[pid=22679] ppid=22677 vsize=15419452 memory=257336 CPUtime=2400.14 cores=0,2,4,6
/proc/22679/stat : 22679 (java) S 22677 22677 19528 0 -1 1077944320 128357 0 0 0 239901 113 0 0 20 0 19 0 408933728 15789518848 64334 33554432000 4194304 4196468 140730218404624 140730218387168 140073115696887 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
/proc/22679/statm: 3854863 64334 3522 1 0 3815965 0
[pid=22679/tid=22680] ppid=22677 vsize=15419452 memory=1452 CPUtime=0.92 cores=0,2,4,6
/proc/22679/task/22680/stat : 22680 (java) S 22677 22677 19528 0 -1 1077944384 10567 0 0 0 87 5 0 0 20 0 19 0 408933728 15789518848 64334 33554432000 4194304 4196468 140730218404624 140073119937664 140073115707093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
[pid=22679/tid=22681] ppid=22677 vsize=15419452 memory=257336 CPUtime=0.9 cores=0,2,4,6
/proc/22679/task/22681/stat : 22681 (java) S 22677 22677 19528 0 -1 1077944384 6227 0 0 0 86 4 0 0 20 0 19 0 408933729 15789518848 64334 33554432000 4194304 4196468 140730218404624 140072708335888 140073115707093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
[pid=22679/tid=22682] ppid=22677 vsize=15419452 memory=1452 CPUtime=0.88 cores=0,2,4,6
/proc/22679/task/22682/stat : 22682 (java) S 22677 22677 19528 0 -1 1077944384 6134 0 0 0 84 4 0 0 20 0 19 0 408933729 15789518848 64334 33554432000 4194304 4196468 140730218404624 140072707283344 140073115707093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
[pid=22679/tid=22683] ppid=22677 vsize=15419452 memory=255288 CPUtime=0.89 cores=0,2,4,6
/proc/22679/task/22683/stat : 22683 (java) S 22677 22677 19528 0 -1 1077944384 4327 0 0 0 86 3 0 0 20 0 19 0 408933729 15789518848 64334 33554432000 4194304 4196468 140730218404624 140072706230800 140073115707093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
[pid=22679/tid=22684] ppid=22677 vsize=15419452 memory=255288 CPUtime=0.88 cores=0,2,4,6
/proc/22679/task/22684/stat : 22684 (java) S 22677 22677 19528 0 -1 1077944384 5204 0 0 0 84 4 0 0 20 0 19 0 408933729 15789518848 64334 33554432000 4194304 4196468 140730218404624 140072705178256 140073115707093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
[pid=22679/tid=22685] ppid=22677 vsize=15419452 memory=253228 CPUtime=1.31 cores=0,2,4,6
/proc/22679/task/22685/stat : 22685 (java) S 22677 22677 19528 0 -1 1077944384 9512 0 0 0 47 84 0 0 20 0 19 0 408933730 15789518848 64334 33554432000 4194304 4196468 140730218404624 140072651446768 140073115708034 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
[pid=22679/tid=22686] ppid=22677 vsize=15419452 memory=251176 CPUtime=0 cores=0,2,4,6
/proc/22679/task/22686/stat : 22686 (java) S 22677 22677 19528 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 19 0 408933731 15789518848 64334 33554432000 4194304 4196468 140730218404624 140072650393056 140073115707093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
[pid=22679/tid=22687] ppid=22677 vsize=15419452 memory=245020 CPUtime=0 cores=0,2,4,6
/proc/22679/task/22687/stat : 22687 (java) S 22677 22677 19528 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 408933731 15789518848 64334 33554432000 4194304 4196468 140730218404624 140072649340416 140073115707093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
[pid=22679/tid=22688] ppid=22677 vsize=15419452 memory=247076 CPUtime=0 cores=0,2,4,6
/proc/22679/task/22688/stat : 22688 (java) S 22677 22677 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408933734 15789518848 64334 33554432000 4194304 4196468 140730218404624 140072648288976 140073115715483 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
[pid=22679/tid=22689] ppid=22677 vsize=15419452 memory=255288 CPUtime=3.53 cores=0,2,4,6
/proc/22679/task/22689/stat : 22689 (java) S 22677 22677 19528 0 -1 1077944384 20601 0 0 0 351 2 0 0 20 0 19 0 408933734 15789518848 64334 33554432000 4194304 4196468 140730218404624 140072647235568 140073115708034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
[pid=22679/tid=22690] ppid=22677 vsize=15419452 memory=257336 CPUtime=3.29 cores=0,2,4,6
/proc/22679/task/22690/stat : 22690 (java) S 22677 22677 19528 0 -1 1077944384 22616 0 0 0 328 1 0 0 20 0 19 0 408933734 15789518848 64334 33554432000 4194304 4196468 140730218404624 140072646183024 140073115708034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
[pid=22679/tid=22691] ppid=22677 vsize=15419452 memory=257336 CPUtime=0.89 cores=0,2,4,6
/proc/22679/task/22691/stat : 22691 (java) S 22677 22677 19528 0 -1 1077944384 13878 0 0 0 88 1 0 0 20 0 19 0 408933734 15789518848 64334 33554432000 4194304 4196468 140730218404624 140072645130480 140073115708034 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
[pid=22679/tid=22692] ppid=22677 vsize=15419452 memory=257336 CPUtime=0 cores=0,2,4,6
/proc/22679/task/22692/stat : 22692 (java) S 22677 22677 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408933734 15789518848 64334 33554432000 4194304 4196468 140730218404624 140072644078176 140073115707093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
[pid=22679/tid=22693] ppid=22677 vsize=15419452 memory=257336 CPUtime=0.15 cores=0,2,4,6
/proc/22679/task/22693/stat : 22693 (java) S 22677 22677 19528 0 -1 1077944384 1251 0 0 0 0 15 0 0 20 0 19 0 408933734 15789518848 64334 33554432000 4194304 4196468 140730218404624 140072643025712 140073115708034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 37 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
[pid=22679/tid=22784] ppid=22677 vsize=15419452 memory=257336 CPUtime=69.69 cores=0,2,4,6
/proc/22679/task/22784/stat : 22784 (java) R 22677 22677 19528 0 -1 4202560 790 0 0 0 6969 0 0 0 20 0 19 0 408987574 15789518848 64334 33554432000 4194304 4196468 140730218404624 140072564751496 140072732657942 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
[pid=22679/tid=22785] ppid=22677 vsize=15419452 memory=1452 CPUtime=69.84 cores=0,2,4,6
/proc/22679/task/22785/stat : 22785 (java) R 22677 22677 19528 0 -1 4202560 683 0 0 0 6984 0 0 0 20 0 19 0 408987574 15789518848 64334 33554432000 4194304 4196468 140730218404624 140072562647104 140072727578904 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
[pid=22679/tid=22786] ppid=22677 vsize=15419452 memory=1452 CPUtime=69.62 cores=0,2,4,6
/proc/22679/task/22786/stat : 22786 (java) R 22677 22677 19528 0 -1 4202560 1185 0 0 0 6962 0 0 0 20 0 19 0 408987574 15789518848 64334 33554432000 4194304 4196468 140730218404624 140072565804904 140072731434769 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
[pid=22679/tid=22787] ppid=22677 vsize=15419452 memory=4164 CPUtime=69.68 cores=0,2,4,6
/proc/22679/task/22787/stat : 22787 (java) R 22677 22677 19528 0 -1 4202560 568 0 0 0 6968 0 0 0 20 0 19 0 408987574 15789518848 64334 33554432000 4194304 4196468 140730218404624 140072563701984 140072731434387 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
Current children cumulated CPU time: 2400.14 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 258788 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+608.934 s]
# the end of solver process 22677 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.002377 s, system=0 s
[startup+608.987 s]
# the end of solver process 22679 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2399.32 s, system=1.14397 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
[startup+608.901 s]
/proc/loadavg: 7.51 7.89 7.43 9/237 24560
/proc/meminfo: memFree=19747828/32770624 swapFree=66939828/67108860
[pid=22677] ppid=22674 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/22677/stat : 22677 (xcsp3-exec) S 22674 22677 19528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408933728 115843072 363 33554432000 4194304 5098028 140723698616784 140723698614888 140522609197692 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39010304 140723698623354 140723698623597 140723698623597 140723698626506 0
/proc/22677/statm: 28282 363 304 221 0 87 0
[pid=22679] ppid=22677 vsize=15419452 memory=257336 CPUtime=2400.14 cores=0,2,4,6
/proc/22679/stat : 22679 (java) S 22677 22677 19528 0 -1 1077944320 128357 0 0 0 239901 113 0 0 20 0 19 0 408933728 15789518848 64334 33554432000 4194304 4196468 140730218404624 140730218387168 140073115696887 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
/proc/22679/statm: 3854863 64334 3522 1 0 3815965 0
[pid=22679/tid=22680] ppid=22677 vsize=15419452 memory=1452 CPUtime=0.92 cores=0,2,4,6
/proc/22679/task/22680/stat : 22680 (java) S 22677 22677 19528 0 -1 1077944384 10567 0 0 0 87 5 0 0 20 0 19 0 408933728 15789518848 64334 33554432000 4194304 4196468 140730218404624 140073119937664 140073115707093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
[pid=22679/tid=22681] ppid=22677 vsize=15419452 memory=257336 CPUtime=0.9 cores=0,2,4,6
/proc/22679/task/22681/stat : 22681 (java) S 22677 22677 19528 0 -1 1077944384 6227 0 0 0 86 4 0 0 20 0 19 0 408933729 15789518848 64334 33554432000 4194304 4196468 140730218404624 140072708335888 140073115707093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
[pid=22679/tid=22682] ppid=22677 vsize=15419452 memory=1452 CPUtime=0.88 cores=0,2,4,6
/proc/22679/task/22682/stat : 22682 (java) S 22677 22677 19528 0 -1 1077944384 6134 0 0 0 84 4 0 0 20 0 19 0 408933729 15789518848 64334 33554432000 4194304 4196468 140730218404624 140072707283344 140073115707093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
[pid=22679/tid=22683] ppid=22677 vsize=15419452 memory=255288 CPUtime=0.89 cores=0,2,4,6
/proc/22679/task/22683/stat : 22683 (java) S 22677 22677 19528 0 -1 1077944384 4327 0 0 0 86 3 0 0 20 0 19 0 408933729 15789518848 64334 33554432000 4194304 4196468 140730218404624 140072706230800 140073115707093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
[pid=22679/tid=22684] ppid=22677 vsize=15419452 memory=255288 CPUtime=0.88 cores=0,2,4,6
/proc/22679/task/22684/stat : 22684 (java) S 22677 22677 19528 0 -1 1077944384 5204 0 0 0 84 4 0 0 20 0 19 0 408933729 15789518848 64334 33554432000 4194304 4196468 140730218404624 140072705178256 140073115707093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
[pid=22679/tid=22685] ppid=22677 vsize=15419452 memory=253228 CPUtime=1.31 cores=0,2,4,6
/proc/22679/task/22685/stat : 22685 (java) S 22677 22677 19528 0 -1 1077944384 9512 0 0 0 47 84 0 0 20 0 19 0 408933730 15789518848 64334 33554432000 4194304 4196468 140730218404624 140072651446768 140073115708034 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
[pid=22679/tid=22686] ppid=22677 vsize=15419452 memory=251176 CPUtime=0 cores=0,2,4,6
/proc/22679/task/22686/stat : 22686 (java) S 22677 22677 19528 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 19 0 408933731 15789518848 64334 33554432000 4194304 4196468 140730218404624 140072650393056 140073115707093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
[pid=22679/tid=22687] ppid=22677 vsize=15419452 memory=245020 CPUtime=0 cores=0,2,4,6
/proc/22679/task/22687/stat : 22687 (java) S 22677 22677 19528 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 408933731 15789518848 64334 33554432000 4194304 4196468 140730218404624 140072649340416 140073115707093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
[pid=22679/tid=22688] ppid=22677 vsize=15419452 memory=247076 CPUtime=0 cores=0,2,4,6
/proc/22679/task/22688/stat : 22688 (java) S 22677 22677 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408933734 15789518848 64334 33554432000 4194304 4196468 140730218404624 140072648288976 140073115715483 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
[pid=22679/tid=22689] ppid=22677 vsize=15419452 memory=255288 CPUtime=3.53 cores=0,2,4,6
/proc/22679/task/22689/stat : 22689 (java) S 22677 22677 19528 0 -1 1077944384 20601 0 0 0 351 2 0 0 20 0 19 0 408933734 15789518848 64334 33554432000 4194304 4196468 140730218404624 140072647235568 140073115708034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
[pid=22679/tid=22690] ppid=22677 vsize=15419452 memory=257336 CPUtime=3.29 cores=0,2,4,6
/proc/22679/task/22690/stat : 22690 (java) S 22677 22677 19528 0 -1 1077944384 22616 0 0 0 328 1 0 0 20 0 19 0 408933734 15789518848 64334 33554432000 4194304 4196468 140730218404624 140072646183024 140073115708034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
[pid=22679/tid=22691] ppid=22677 vsize=15419452 memory=257336 CPUtime=0.89 cores=0,2,4,6
/proc/22679/task/22691/stat : 22691 (java) S 22677 22677 19528 0 -1 1077944384 13878 0 0 0 88 1 0 0 20 0 19 0 408933734 15789518848 64334 33554432000 4194304 4196468 140730218404624 140072645130480 140073115708034 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
[pid=22679/tid=22692] ppid=22677 vsize=15419452 memory=257336 CPUtime=0 cores=0,2,4,6
/proc/22679/task/22692/stat : 22692 (java) S 22677 22677 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408933734 15789518848 64334 33554432000 4194304 4196468 140730218404624 140072644078176 140073115707093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
[pid=22679/tid=22693] ppid=22677 vsize=15419452 memory=257336 CPUtime=0.15 cores=0,2,4,6
/proc/22679/task/22693/stat : 22693 (java) S 22677 22677 19528 0 -1 1077944384 1251 0 0 0 0 15 0 0 20 0 19 0 408933734 15789518848 64334 33554432000 4194304 4196468 140730218404624 140072643025712 140073115708034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 37 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
[pid=22679/tid=22784] ppid=22677 vsize=15419452 memory=257336 CPUtime=69.69 cores=0,2,4,6
/proc/22679/task/22784/stat : 22784 (java) R 22677 22677 19528 0 -1 4202560 790 0 0 0 6969 0 0 0 20 0 19 0 408987574 15789518848 64334 33554432000 4194304 4196468 140730218404624 140072564751496 140072732657942 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
[pid=22679/tid=22785] ppid=22677 vsize=15419452 memory=1452 CPUtime=69.84 cores=0,2,4,6
/proc/22679/task/22785/stat : 22785 (java) R 22677 22677 19528 0 -1 4202560 683 0 0 0 6984 0 0 0 20 0 19 0 408987574 15789518848 64334 33554432000 4194304 4196468 140730218404624 140072562647104 140072727578904 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
[pid=22679/tid=22786] ppid=22677 vsize=15419452 memory=1452 CPUtime=69.62 cores=0,2,4,6
/proc/22679/task/22786/stat : 22786 (java) R 22677 22677 19528 0 -1 4202560 1185 0 0 0 6962 0 0 0 20 0 19 0 408987574 15789518848 64334 33554432000 4194304 4196468 140730218404624 140072565804904 140072731434769 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
[pid=22679/tid=22787] ppid=22677 vsize=15419452 memory=4164 CPUtime=69.68 cores=0,2,4,6
/proc/22679/task/22787/stat : 22787 (java) R 22677 22677 19528 0 -1 4202560 568 0 0 0 6968 0 0 0 20 0 19 0 408987574 15789518848 64334 33554432000 4194304 4196468 140730218404624 140072563701984 140072731434387 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25133056 140730218406895 140730218407066 140730218407066 140730218409935 0
Current children cumulated CPU time: 2400.14 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 258788 KiB
Child status: 143
Real time (s): 608.987
CPU time (s): 2400.46
CPU user time (s): 2399.32
CPU system time (s): 1.14397
CPU usage (%): 394.173
Max. virtual memory (cumulated for all children) (KiB): 15532580
Max. memory (cumulated for all children) (KiB): 258788
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.32
system time used= 1.14397
maximum resident set size= 257832
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 129354
page faults= 0
swaps= 0
block input operations= 0
block output operations= 856
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27615
involuntary context switches= 38098
# summary of solver processes directly reported to runsolver:
# pid: 22677,22679
# total CPU time (s): 2400.46
# total CPU user time (s): 2399.32
# total CPU system time (s): 1.14397
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.64622 second user time and 6.86337 second system time
The end