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 (8711 MiB free)
memory of node 1: 16384 MiB (12390 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394293-1568334619/watcher-4394293-1568334619 -o /tmp/evaluation-result-4394293-1568334619/solver-4394293-1568334619 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568327905-19560 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1493539869 HOME/instance-4394293-1568334619.xml
running on 4 cores: 1,3,5,7
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
Current StackSize limit: 8192 KiB
solver pid=31590, runsolver pid=31587
[startup+0.102419 s]*
/proc/loadavg: 7.11 8.07 8.29 6/233 31606
/proc/meminfo: memFree=21592648/32770624 swapFree=66939828/67108860
[pid=31590] ppid=31587 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/31590/stat : 31590 (xcsp3-exec) S 31587 31590 19528 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409376819 115843072 363 33554432000 4194304 5098028 140728666630096 140728666628200 140489868546684 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 24264704 140728666633082 140728666633325 140728666633325 140728666636234 0
/proc/31590/statm: 28282 363 304 221 0 87 0
[pid=31592] ppid=31590 vsize=15144768 memory=29092 CPUtime=0.13 cores=1,3,5,7
/proc/31592/stat : 31592 (java) S 31590 31590 19528 0 -1 1077944320 5726 0 0 0 12 1 0 0 20 0 15 0 409376820 15508242432 7273 33554432000 4194304 4196468 140723434977728 140723434960272 140231643320055 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
/proc/31592/statm: 3786192 7273 3148 1 0 3748377 0
[pid=31592/tid=31593] ppid=31590 vsize=15144768 memory=-6962121287837372198 CPUtime=0.1 cores=1,3,5,7
/proc/31592/task/31593/stat : 31593 (java) S 31590 31590 19528 0 -1 1077944384 3595 0 0 0 9 1 0 0 20 0 15 0 409376820 15508242432 7273 33554432000 4194304 4196468 140723434977728 140231647549008 140231643330261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
[pid=31592/tid=31594] ppid=31590 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31592/task/31594/stat : 31594 (java) S 31590 31590 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409376821 15508242432 7273 33554432000 4194304 4196468 140723434977728 140231235857552 140231643330261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
[pid=31592/tid=31595] ppid=31590 vsize=15144768 memory=139947229447808 CPUtime=0 cores=1,3,5,7
/proc/31592/task/31595/stat : 31595 (java) S 31590 31590 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409376821 15508242432 7273 33554432000 4194304 4196468 140723434977728 140231234804752 140231643330261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
[pid=31592/tid=31596] ppid=31590 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31592/task/31596/stat : 31596 (java) S 31590 31590 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409376821 15508242432 7273 33554432000 4194304 4196468 140723434977728 140231233751952 140231643330261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
[pid=31592/tid=31597] ppid=31590 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31592/task/31597/stat : 31597 (java) S 31590 31590 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409376821 15508242432 7273 33554432000 4194304 4196468 140723434977728 140231232699152 140231643330261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
[pid=31592/tid=31598] ppid=31590 vsize=15144768 memory=139947229447808 CPUtime=0 cores=1,3,5,7
/proc/31592/task/31598/stat : 31598 (java) S 31590 31590 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409376822 15508242432 7273 33554432000 4194304 4196468 140723434977728 140231111604592 140231643331202 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
[pid=31592/tid=31599] ppid=31590 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31592/task/31599/stat : 31599 (java) S 31590 31590 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409376822 15508242432 7273 33554432000 4194304 4196468 140723434977728 140231110550560 140231643330261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
[pid=31592/tid=31600] ppid=31590 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31592/task/31600/stat : 31600 (java) S 31590 31590 19528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409376823 15508242432 7273 33554432000 4194304 4196468 140723434977728 140231109497712 140231643330261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
[pid=31592/tid=31601] ppid=31590 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31592/task/31601/stat : 31601 (java) S 31590 31590 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409376825 15508242432 7273 33554432000 4194304 4196468 140723434977728 140231108446032 140231643338651 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
[pid=31592/tid=31602] ppid=31590 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31592/task/31602/stat : 31602 (java) R 31590 31590 19528 0 -1 1077944384 460 0 0 0 0 0 0 0 20 0 15 0 409376825 15508242432 7273 33554432000 4194304 4196468 140723434977728 140231107394416 140231643331202 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
[pid=31592/tid=31603] ppid=31590 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31592/task/31603/stat : 31603 (java) R 31590 31590 19528 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 15 0 409376825 15508242432 7273 33554432000 4194304 4196468 140723434977728 140231106341616 140231623180729 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
[pid=31592/tid=31604] ppid=31590 vsize=15144768 memory=139947229447808 CPUtime=0.02 cores=1,3,5,7
/proc/31592/task/31604/stat : 31604 (java) S 31590 31590 19528 0 -1 1077944384 362 0 0 0 2 0 0 0 20 0 15 0 409376825 15508242432 7273 33554432000 4194304 4196468 140723434977728 140231105288816 140231643331202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
[pid=31592/tid=31605] ppid=31590 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31592/task/31605/stat : 31605 (java) S 31590 31590 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409376825 15508242432 7273 33554432000 4194304 4196468 140723434977728 140231104236256 140231643330261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
[pid=31592/tid=31606] ppid=31590 vsize=15144768 memory=139947229447808 CPUtime=0 cores=1,3,5,7
/proc/31592/task/31606/stat : 31606 (java) S 31590 31590 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409376826 15508242432 7273 33554432000 4194304 4196468 140723434977728 140231103183536 140231643331202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30544 KiB
[startup+0.210747 s]*
/proc/loadavg: 7.11 8.07 8.29 6/233 31606
/proc/meminfo: memFree=21579408/32770624 swapFree=66939828/67108860
[pid=31590] ppid=31587 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/31590/stat : 31590 (xcsp3-exec) S 31587 31590 19528 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409376819 115843072 363 33554432000 4194304 5098028 140728666630096 140728666628200 140489868546684 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 24264704 140728666633082 140728666633325 140728666633325 140728666636234 0
/proc/31590/statm: 28282 363 304 221 0 87 0
[pid=31592] ppid=31590 vsize=15144768 memory=40792 CPUtime=0.34 cores=1,3,5,7
/proc/31592/stat : 31592 (java) S 31590 31590 19528 0 -1 1077944320 9464 0 0 0 31 3 0 0 20 0 15 0 409376820 15508242432 10198 33554432000 4194304 4196468 140723434977728 140723434960272 140231643320055 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
/proc/31592/statm: 3786192 10198 3300 1 0 3748377 0
[pid=31592/tid=31593] ppid=31590 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/31592/task/31593/stat : 31593 (java) R 31590 31590 19528 0 -1 4202560 6605 0 0 0 18 2 0 0 20 0 15 0 409376820 15508242432 10198 33554432000 4194304 4196468 140723434977728 140231647553232 140231643331990 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
[pid=31592/tid=31594] ppid=31590 vsize=15144768 memory=10535 CPUtime=0 cores=1,3,5,7
/proc/31592/task/31594/stat : 31594 (java) S 31590 31590 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409376821 15508242432 10198 33554432000 4194304 4196468 140723434977728 140231235857552 140231643330261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
[pid=31592/tid=31595] ppid=31590 vsize=15144768 memory=139947232432435 CPUtime=0 cores=1,3,5,7
/proc/31592/task/31595/stat : 31595 (java) S 31590 31590 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409376821 15508242432 10198 33554432000 4194304 4196468 140723434977728 140231234804752 140231643330261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
[pid=31592/tid=31596] ppid=31590 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31592/task/31596/stat : 31596 (java) S 31590 31590 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409376821 15508242432 10198 33554432000 4194304 4196468 140723434977728 140231233751952 140231643330261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
[pid=31592/tid=31597] ppid=31590 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31592/task/31597/stat : 31597 (java) S 31590 31590 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409376821 15508242432 10198 33554432000 4194304 4196468 140723434977728 140231232699152 140231643330261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
[pid=31592/tid=31598] ppid=31590 vsize=15144768 memory=139947229447808 CPUtime=0 cores=1,3,5,7
/proc/31592/task/31598/stat : 31598 (java) S 31590 31590 19528 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409376822 15508242432 10198 33554432000 4194304 4196468 140723434977728 140231111604592 140231643331202 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
[pid=31592/tid=31599] ppid=31590 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31592/task/31599/stat : 31599 (java) S 31590 31590 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409376822 15508242432 10198 33554432000 4194304 4196468 140723434977728 140231110550560 140231643330261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
[pid=31592/tid=31600] ppid=31590 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31592/task/31600/stat : 31600 (java) S 31590 31590 19528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409376823 15508242432 10198 33554432000 4194304 4196468 140723434977728 140231109497712 140231643330261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
[pid=31592/tid=31601] ppid=31590 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31592/task/31601/stat : 31601 (java) S 31590 31590 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409376825 15508242432 10198 33554432000 4194304 4196468 140723434977728 140231108446032 140231643338651 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
[pid=31592/tid=31602] ppid=31590 vsize=15144768 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/31592/task/31602/stat : 31602 (java) S 31590 31590 19528 0 -1 1077944384 652 0 0 0 2 0 0 0 20 0 15 0 409376825 15508242432 10198 33554432000 4194304 4196468 140723434977728 140231107394416 140231643331202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
[pid=31592/tid=31603] ppid=31590 vsize=15144768 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/31592/task/31603/stat : 31603 (java) S 31590 31590 19528 0 -1 1077944384 113 0 0 0 2 0 0 0 20 0 15 0 409376825 15508242432 10198 33554432000 4194304 4196468 140723434977728 140231106341616 140231643331202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
[pid=31592/tid=31604] ppid=31590 vsize=15144768 memory=139947229447808 CPUtime=0.08 cores=1,3,5,7
/proc/31592/task/31604/stat : 31604 (java) R 31590 31590 19528 0 -1 4202560 787 0 0 0 8 0 0 0 20 0 15 0 409376825 15508242432 10198 33554432000 4194304 4196468 140723434977728 140231105288816 140231643331990 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
[pid=31592/tid=31605] ppid=31590 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31592/task/31605/stat : 31605 (java) S 31590 31590 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409376825 15508242432 10198 33554432000 4194304 4196468 140723434977728 140231104236256 140231643330261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
[pid=31592/tid=31606] ppid=31590 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31592/task/31606/stat : 31606 (java) S 31590 31590 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409376826 15508242432 10198 33554432000 4194304 4196468 140723434977728 140231103183536 140231643331202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42244 KiB
[startup+0.317178 s]*
/proc/loadavg: 7.11 8.07 8.29 7/233 31606
/proc/meminfo: memFree=21572124/32770624 swapFree=66939828/67108860
[pid=31590] ppid=31587 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/31590/stat : 31590 (xcsp3-exec) S 31587 31590 19528 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409376819 115843072 363 33554432000 4194304 5098028 140728666630096 140728666628200 140489868546684 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 24264704 140728666633082 140728666633325 140728666633325 140728666636234 0
/proc/31590/statm: 28282 363 304 221 0 87 0
[pid=31592] ppid=31590 vsize=15149024 memory=50312 CPUtime=0.54 cores=1,3,5,7
/proc/31592/stat : 31592 (java) S 31590 31590 19528 0 -1 1077944320 10938 0 0 0 50 4 0 0 20 0 15 0 409376820 15512600576 12578 33554432000 4194304 4196468 140723434977728 140723434960272 140231643320055 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
/proc/31592/statm: 3787256 12578 3372 1 0 3748377 0
[pid=31592/tid=31593] ppid=31590 vsize=15149024 memory=6791534058613427641 CPUtime=0.31 cores=1,3,5,7
/proc/31592/task/31593/stat : 31593 (java) R 31590 31590 19528 0 -1 4202560 7864 0 0 0 28 3 0 0 20 0 15 0 409376820 15512600576 12578 33554432000 4194304 4196468 140723434977728 140231647553840 140231627400542 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
[pid=31592/tid=31594] ppid=31590 vsize=15149024 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/31592/task/31594/stat : 31594 (java) S 31590 31590 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409376821 15512600576 12578 33554432000 4194304 4196468 140723434977728 140231235857552 140231643330261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
[pid=31592/tid=31595] ppid=31590 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/31592/task/31595/stat : 31595 (java) S 31590 31590 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409376821 15512600576 12578 33554432000 4194304 4196468 140723434977728 140231234804752 140231643330261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
[pid=31592/tid=31596] ppid=31590 vsize=15149024 memory=-4190076264842474805 CPUtime=0 cores=1,3,5,7
/proc/31592/task/31596/stat : 31596 (java) S 31590 31590 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409376821 15512600576 12578 33554432000 4194304 4196468 140723434977728 140231233751952 140231643330261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
[pid=31592/tid=31597] ppid=31590 vsize=15149024 memory=-7377628852694597791 CPUtime=0 cores=1,3,5,7
/proc/31592/task/31597/stat : 31597 (java) S 31590 31590 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409376821 15512600576 12578 33554432000 4194304 4196468 140723434977728 140231232699152 140231643330261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
[pid=31592/tid=31598] ppid=31590 vsize=15149024 memory=6944656425123485561 CPUtime=0 cores=1,3,5,7
/proc/31592/task/31598/stat : 31598 (java) S 31590 31590 19528 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409376822 15512600576 12578 33554432000 4194304 4196468 140723434977728 140231111604592 140231643331202 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
[pid=31592/tid=31599] ppid=31590 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/31592/task/31599/stat : 31599 (java) S 31590 31590 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409376822 15512600576 12578 33554432000 4194304 4196468 140723434977728 140231110550560 140231643330261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
[pid=31592/tid=31600] ppid=31590 vsize=15149024 memory=4627853888499060086 CPUtime=0 cores=1,3,5,7
/proc/31592/task/31600/stat : 31600 (java) S 31590 31590 19528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409376823 15512600576 12578 33554432000 4194304 4196468 140723434977728 140231109497712 140231643330261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
[pid=31592/tid=31601] ppid=31590 vsize=15149024 memory=-7828588039587137883 CPUtime=0 cores=1,3,5,7
/proc/31592/task/31601/stat : 31601 (java) S 31590 31590 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409376825 15512600576 12578 33554432000 4194304 4196468 140723434977728 140231108446032 140231643338651 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
[pid=31592/tid=31602] ppid=31590 vsize=15149024 memory=4426078206164241782 CPUtime=0.04 cores=1,3,5,7
/proc/31592/task/31602/stat : 31602 (java) S 31590 31590 19528 0 -1 1077944384 664 0 0 0 4 0 0 0 20 0 15 0 409376825 15512600576 12578 33554432000 4194304 4196468 140723434977728 140231107394416 140231643331202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
[pid=31592/tid=31603] ppid=31590 vsize=15149024 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/31592/task/31603/stat : 31603 (java) S 31590 31590 19528 0 -1 1077944384 237 0 0 0 5 0 0 0 20 0 15 0 409376825 15512600576 12578 33554432000 4194304 4196468 140723434977728 140231106341616 140231643331202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
[pid=31592/tid=31604] ppid=31590 vsize=15149024 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/31592/task/31604/stat : 31604 (java) S 31590 31590 19528 0 -1 1077944384 867 0 0 0 12 0 0 0 20 0 15 0 409376825 15512600576 12578 33554432000 4194304 4196468 140723434977728 140231105288816 140231643331202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
[pid=31592/tid=31605] ppid=31590 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31592/task/31605/stat : 31605 (java) S 31590 31590 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409376825 15512600576 12578 33554432000 4194304 4196468 140723434977728 140231104236256 140231643330261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
[pid=31592/tid=31606] ppid=31590 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31592/task/31606/stat : 31606 (java) S 31590 31590 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409376826 15512600576 12578 33554432000 4194304 4196468 140723434977728 140231103183536 140231643331202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51764 KiB
[startup+0.701178 s]
/proc/loadavg: 7.02 8.03 8.28 8/233 31606
/proc/meminfo: memFree=21555676/32770624 swapFree=66939828/67108860
[pid=31590] ppid=31587 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/31590/stat : 31590 (xcsp3-exec) S 31587 31590 19528 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409376819 115843072 363 33554432000 4194304 5098028 140728666630096 140728666628200 140489868546684 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 24264704 140728666633082 140728666633325 140728666633325 140728666636234 0
/proc/31590/statm: 28282 363 304 221 0 87 0
[pid=31592] ppid=31590 vsize=15417404 memory=81252 CPUtime=1.67 cores=1,3,5,7
/proc/31592/stat : 31592 (java) S 31590 31590 19528 0 -1 1077944320 14683 0 0 0 160 7 0 0 20 0 19 0 409376820 15787421696 20313 33554432000 4194304 4196468 140723434977728 140723434960272 140231643320055 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
/proc/31592/statm: 3854351 20313 3446 1 0 3815453 0
[pid=31592/tid=31593] ppid=31590 vsize=15417404 memory=1436 CPUtime=0.53 cores=1,3,5,7
/proc/31592/task/31593/stat : 31593 (java) S 31590 31590 19528 0 -1 1077944384 9167 0 0 0 49 4 0 0 20 0 19 0 409376820 15787421696 20313 33554432000 4194304 4196468 140723434977728 140231647560832 140231643330261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
[pid=31592/tid=31594] ppid=31590 vsize=15417404 memory=4164 CPUtime=0 cores=1,3,5,7
/proc/31592/task/31594/stat : 31594 (java) S 31590 31590 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 409376821 15787421696 20313 33554432000 4194304 4196468 140723434977728 140231235857552 140231643330261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
[pid=31592/tid=31595] ppid=31590 vsize=15417404 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/31592/task/31595/stat : 31595 (java) S 31590 31590 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 409376821 15787421696 20313 33554432000 4194304 4196468 140723434977728 140231234804752 140231643330261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
[pid=31592/tid=31596] ppid=31590 vsize=15417404 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/31592/task/31596/stat : 31596 (java) S 31590 31590 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 409376821 15787421696 20313 33554432000 4194304 4196468 140723434977728 140231233751952 140231643330261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
[pid=31592/tid=31597] ppid=31590 vsize=15417404 memory=7980 CPUtime=0 cores=1,3,5,7
/proc/31592/task/31597/stat : 31597 (java) S 31590 31590 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 409376821 15787421696 20313 33554432000 4194304 4196468 140723434977728 140231232699152 140231643330261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
[pid=31592/tid=31598] ppid=31590 vsize=15417404 memory=9580 CPUtime=0 cores=1,3,5,7
/proc/31592/task/31598/stat : 31598 (java) S 31590 31590 19528 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 409376822 15787421696 20313 33554432000 4194304 4196468 140723434977728 140231111604592 140231643331202 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
[pid=31592/tid=31599] ppid=31590 vsize=15417404 memory=1052 CPUtime=0 cores=1,3,5,7
/proc/31592/task/31599/stat : 31599 (java) S 31590 31590 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 409376822 15787421696 20313 33554432000 4194304 4196468 140723434977728 140231110550560 140231643330261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
[pid=31592/tid=31600] ppid=31590 vsize=15417404 memory=776 CPUtime=0 cores=1,3,5,7
/proc/31592/task/31600/stat : 31600 (java) S 31590 31590 19528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 409376823 15787421696 20313 33554432000 4194304 4196468 140723434977728 140231109497712 140231643330261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
[pid=31592/tid=31601] ppid=31590 vsize=15417404 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/31592/task/31601/stat : 31601 (java) S 31590 31590 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409376825 15787421696 20313 33554432000 4194304 4196468 140723434977728 140231108446032 140231643338651 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
[pid=31592/tid=31602] ppid=31590 vsize=15417404 memory=668 CPUtime=0.24 cores=1,3,5,7
/proc/31592/task/31602/stat : 31602 (java) R 31590 31590 19528 0 -1 4202560 1451 0 0 0 24 0 0 0 20 0 19 0 409376825 15787421696 20313 33554432000 4194304 4196468 140723434977728 140231107380984 140231626814630 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
[pid=31592/tid=31603] ppid=31590 vsize=15417404 memory=1232 CPUtime=0.21 cores=1,3,5,7
/proc/31592/task/31603/stat : 31603 (java) R 31590 31590 19528 0 -1 4202560 772 0 0 0 21 0 0 0 20 0 19 0 409376825 15787421696 20313 33554432000 4194304 4196468 140723434977728 140231106328128 140231624693505 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
[pid=31592/tid=31604] ppid=31590 vsize=15417404 memory=1064 CPUtime=0.32 cores=1,3,5,7
/proc/31592/task/31604/stat : 31604 (java) R 31590 31590 19528 0 -1 4202560 1769 0 0 0 32 0 0 0 20 0 19 0 409376825 15787421696 20313 33554432000 4194304 4196468 140723434977728 140231105288816 140231635557182 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
[pid=31592/tid=31605] ppid=31590 vsize=15417404 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/31592/task/31605/stat : 31605 (java) S 31590 31590 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409376825 15787421696 20313 33554432000 4194304 4196468 140723434977728 140231104236256 140231643330261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
[pid=31592/tid=31606] ppid=31590 vsize=15417404 memory=21204 CPUtime=0 cores=1,3,5,7
/proc/31592/task/31606/stat : 31606 (java) S 31590 31590 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 409376826 15787421696 20313 33554432000 4194304 4196468 140723434977728 140231103183536 140231643331202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
Current children cumulated CPU time: 1.67 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 82704 KiB
[startup+1.51018 s]
/proc/loadavg: 7.02 8.03 8.28 11/237 31610
/proc/meminfo: memFree=21529560/32770624 swapFree=66939828/67108860
[pid=31590] ppid=31587 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/31590/stat : 31590 (xcsp3-exec) S 31587 31590 19528 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409376819 115843072 363 33554432000 4194304 5098028 140728666630096 140728666628200 140489868546684 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 24264704 140728666633082 140728666633325 140728666633325 140728666636234 0
/proc/31590/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/31592/stat : 31592 (java) S 31590 31590 19528 0 -1 1077944320 57260 0 0 0 207669 33 0 0 20 0 19 0 409376820 15787421696 59245 33554432000 4194304 4196468 140723434977728 140723434960272 140231643320055 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
/proc/31592/statm: 3854351 59245 3524 1 0 3815453 0
[pid=31592/tid=31593] ppid=31590 vsize=15417404 memory=1452 CPUtime=0.53 cores=1,3,5,7
/proc/31592/task/31593/stat : 31593 (java) S 31590 31590 19528 0 -1 1077944384 9167 0 0 0 49 4 0 0 20 0 19 0 409376820 15787421696 59245 33554432000 4194304 4196468 140723434977728 140231647560832 140231643330261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
[pid=31592/tid=31594] ppid=31590 vsize=15417404 memory=236980 CPUtime=0.29 cores=1,3,5,7
/proc/31592/task/31594/stat : 31594 (java) S 31590 31590 19528 0 -1 1077944384 2717 0 0 0 26 3 0 0 20 0 19 0 409376821 15787421696 59245 33554432000 4194304 4196468 140723434977728 140231235857552 140231643330261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
[pid=31592/tid=31595] ppid=31590 vsize=15417404 memory=236980 CPUtime=0.29 cores=1,3,5,7
/proc/31592/task/31595/stat : 31595 (java) S 31590 31590 19528 0 -1 1077944384 1583 0 0 0 26 3 0 0 20 0 19 0 409376821 15787421696 59245 33554432000 4194304 4196468 140723434977728 140231234804752 140231643330261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
[pid=31592/tid=31596] ppid=31590 vsize=15417404 memory=236980 CPUtime=0.29 cores=1,3,5,7
/proc/31592/task/31596/stat : 31596 (java) S 31590 31590 19528 0 -1 1077944384 2507 0 0 0 26 3 0 0 20 0 19 0 409376821 15787421696 59245 33554432000 4194304 4196468 140723434977728 140231233751952 140231643330261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
[pid=31592/tid=31597] ppid=31590 vsize=15417404 memory=236980 CPUtime=0.29 cores=1,3,5,7
/proc/31592/task/31597/stat : 31597 (java) S 31590 31590 19528 0 -1 1077944384 962 0 0 0 26 3 0 0 20 0 19 0 409376821 15787421696 59245 33554432000 4194304 4196468 140723434977728 140231232699152 140231643330261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
[pid=31592/tid=31598] ppid=31590 vsize=15417404 memory=236980 CPUtime=0.2 cores=1,3,5,7
/proc/31592/task/31598/stat : 31598 (java) S 31590 31590 19528 0 -1 1077944384 2908 0 0 0 15 5 0 0 20 0 19 0 409376822 15787421696 59245 33554432000 4194304 4196468 140723434977728 140231111604592 140231643331202 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
[pid=31592/tid=31599] ppid=31590 vsize=15417404 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/31592/task/31599/stat : 31599 (java) S 31590 31590 19528 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 19 0 409376822 15787421696 59245 33554432000 4194304 4196468 140723434977728 140231110550624 140231643330261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
[pid=31592/tid=31600] ppid=31590 vsize=15417404 memory=236980 CPUtime=0 cores=1,3,5,7
/proc/31592/task/31600/stat : 31600 (java) S 31590 31590 19528 0 -1 1077944384 113 0 0 0 0 0 0 0 20 0 19 0 409376823 15787421696 59245 33554432000 4194304 4196468 140723434977728 140231109497728 140231643330261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
[pid=31592/tid=31601] ppid=31590 vsize=15417404 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/31592/task/31601/stat : 31601 (java) S 31590 31590 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409376825 15787421696 59245 33554432000 4194304 4196468 140723434977728 140231108446032 140231643338651 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
[pid=31592/tid=31602] ppid=31590 vsize=15417404 memory=4164 CPUtime=1.74 cores=1,3,5,7
/proc/31592/task/31602/stat : 31602 (java) S 31590 31590 19528 0 -1 1077944384 10771 0 0 0 172 2 0 0 20 0 19 0 409376825 15787421696 59245 33554432000 4194304 4196468 140723434977728 140231107394416 140231643331202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
[pid=31592/tid=31603] ppid=31590 vsize=15417404 memory=1452 CPUtime=1.8 cores=1,3,5,7
/proc/31592/task/31603/stat : 31603 (java) S 31590 31590 19528 0 -1 1077944384 10827 0 0 0 179 1 0 0 20 0 19 0 409376825 15787421696 59245 33554432000 4194304 4196468 140723434977728 140231106341616 140231643331202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
[pid=31592/tid=31604] ppid=31590 vsize=15417404 memory=187624 CPUtime=0.54 cores=1,3,5,7
/proc/31592/task/31604/stat : 31604 (java) S 31590 31590 19528 0 -1 1077944384 6218 0 0 0 53 1 0 0 20 0 19 0 409376825 15787421696 59245 33554432000 4194304 4196468 140723434977728 140231105288816 140231643331202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 21 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
[pid=31592/tid=31605] ppid=31590 vsize=15417404 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/31592/task/31605/stat : 31605 (java) S 31590 31590 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409376825 15787421696 59245 33554432000 4194304 4196468 140723434977728 140231104236256 140231643330261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
[pid=31592/tid=31606] ppid=31590 vsize=15417404 memory=236980 CPUtime=0.11 cores=1,3,5,7
/proc/31592/task/31606/stat : 31606 (java) S 31590 31590 19528 0 -1 1077944384 669 0 0 0 0 11 0 0 20 0 19 0 409376826 15787421696 59245 33554432000 4194304 4196468 140723434977728 140231103183536 140231643331202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 31 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
[pid=31592/tid=31607] ppid=31590 vsize=15417404 memory=6791534058613427641 CPUtime=518.12 cores=1,3,5,7
/proc/31592/task/31607/stat : 31607 (java) R 31590 31590 19528 0 -1 4202560 941 0 0 0 51811 1 0 0 20 0 19 0 409376875 15787421696 59245 33554432000 4194304 4196468 140723434977728 140231094212208 140231240754181 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
[pid=31592/tid=31608] ppid=31590 vsize=15417404 memory=808 CPUtime=517.34 cores=1,3,5,7
/proc/31592/task/31608/stat : 31608 (java) R 31590 31590 19528 0 -1 4202560 3375 0 0 0 51732 2 0 0 20 0 19 0 409376875 15787421696 59245 33554432000 4194304 4196468 140723434977728 140231093157688 140231242155946 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
[pid=31592/tid=31609] ppid=31590 vsize=15417404 memory=56 CPUtime=517.64 cores=1,3,5,7
/proc/31592/task/31609/stat : 31609 (java) R 31590 31590 19528 0 -1 4202560 1120 0 0 0 51762 2 0 0 20 0 19 0 409376875 15787421696 59245 33554432000 4194304 4196468 140723434977728 140231092105400 140231240754164 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
[pid=31592/tid=31610] ppid=31590 vsize=15417404 memory=279894160310512 CPUtime=517.72 cores=1,3,5,7
/proc/31592/task/31610/stat : 31610 (java) R 31590 31590 19528 0 -1 4202560 2067 0 0 0 51771 1 0 0 20 0 19 0 409376875 15787421696 59245 33554432000 4194304 4196468 140723434977728 140231091052592 140231239553538 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
Current children cumulated CPU time: 2077.02 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 238432 KiB
[startup+582.301 s]
/proc/loadavg: 8.59 8.59 8.46 10/237 779
/proc/meminfo: memFree=21425508/32770624 swapFree=66939828/67108860
[pid=31590] ppid=31587 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/31590/stat : 31590 (xcsp3-exec) S 31587 31590 19528 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409376819 115843072 363 33554432000 4194304 5098028 140728666630096 140728666628200 140489868546684 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 24264704 140728666633082 140728666633325 140728666633325 140728666636234 0
/proc/31590/statm: 28282 363 304 221 0 87 0
[pid=31592] ppid=31590 vsize=15417404 memory=294400 CPUtime=2315.68 cores=1,3,5,7
/proc/31592/stat : 31592 (java) S 31590 31590 19528 0 -1 1077944320 58199 0 0 0 231529 39 0 0 20 0 19 0 409376820 15787421696 73600 33554432000 4194304 4196468 140723434977728 140723434960272 140231643320055 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
/proc/31592/statm: 3854351 73600 3524 1 0 3815453 0
[pid=31592/tid=31593] ppid=31590 vsize=15417404 memory=286208 CPUtime=0.53 cores=1,3,5,7
/proc/31592/task/31593/stat : 31593 (java) S 31590 31590 19528 0 -1 1077944384 9167 0 0 0 49 4 0 0 20 0 19 0 409376820 15787421696 73600 33554432000 4194304 4196468 140723434977728 140231647560832 140231643330261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
[pid=31592/tid=31594] ppid=31590 vsize=15417404 memory=286208 CPUtime=0.36 cores=1,3,5,7
/proc/31592/task/31594/stat : 31594 (java) S 31590 31590 19528 0 -1 1077944384 2756 0 0 0 32 4 0 0 20 0 19 0 409376821 15787421696 73600 33554432000 4194304 4196468 140723434977728 140231235857552 140231643330261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
[pid=31592/tid=31595] ppid=31590 vsize=15417404 memory=286208 CPUtime=0.36 cores=1,3,5,7
/proc/31592/task/31595/stat : 31595 (java) S 31590 31590 19528 0 -1 1077944384 1622 0 0 0 32 4 0 0 20 0 19 0 409376821 15787421696 73600 33554432000 4194304 4196468 140723434977728 140231234804752 140231643330261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
[pid=31592/tid=31596] ppid=31590 vsize=15417404 memory=286208 CPUtime=0.36 cores=1,3,5,7
/proc/31592/task/31596/stat : 31596 (java) S 31590 31590 19528 0 -1 1077944384 2535 0 0 0 32 4 0 0 20 0 19 0 409376821 15787421696 73600 33554432000 4194304 4196468 140723434977728 140231233751952 140231643330261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
[pid=31592/tid=31597] ppid=31590 vsize=15417404 memory=286208 CPUtime=0.36 cores=1,3,5,7
/proc/31592/task/31597/stat : 31597 (java) S 31590 31590 19528 0 -1 1077944384 1001 0 0 0 32 4 0 0 20 0 19 0 409376821 15787421696 73600 33554432000 4194304 4196468 140723434977728 140231232699152 140231643330261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
[pid=31592/tid=31598] ppid=31590 vsize=15417404 memory=286208 CPUtime=0.26 cores=1,3,5,7
/proc/31592/task/31598/stat : 31598 (java) S 31590 31590 19528 0 -1 1077944384 2920 0 0 0 17 9 0 0 20 0 19 0 409376822 15787421696 73600 33554432000 4194304 4196468 140723434977728 140231111604592 140231643331202 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
[pid=31592/tid=31599] ppid=31590 vsize=15417404 memory=236980 CPUtime=0 cores=1,3,5,7
/proc/31592/task/31599/stat : 31599 (java) S 31590 31590 19528 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 19 0 409376822 15787421696 73600 33554432000 4194304 4196468 140723434977728 140231110550624 140231643330261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
[pid=31592/tid=31600] ppid=31590 vsize=15417404 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/31592/task/31600/stat : 31600 (java) S 31590 31590 19528 0 -1 1077944384 113 0 0 0 0 0 0 0 20 0 19 0 409376823 15787421696 73600 33554432000 4194304 4196468 140723434977728 140231109497728 140231643330261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
[pid=31592/tid=31601] ppid=31590 vsize=15417404 memory=3504 CPUtime=0 cores=1,3,5,7
/proc/31592/task/31601/stat : 31601 (java) S 31590 31590 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409376825 15787421696 73600 33554432000 4194304 4196468 140723434977728 140231108446032 140231643338651 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
[pid=31592/tid=31602] ppid=31590 vsize=15417404 memory=1452 CPUtime=1.74 cores=1,3,5,7
/proc/31592/task/31602/stat : 31602 (java) S 31590 31590 19528 0 -1 1077944384 10771 0 0 0 172 2 0 0 20 0 19 0 409376825 15787421696 73600 33554432000 4194304 4196468 140723434977728 140231107394416 140231643331202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
[pid=31592/tid=31603] ppid=31590 vsize=15417404 memory=286208 CPUtime=1.81 cores=1,3,5,7
/proc/31592/task/31603/stat : 31603 (java) S 31590 31590 19528 0 -1 1077944384 11272 0 0 0 180 1 0 0 20 0 19 0 409376825 15787421696 73600 33554432000 4194304 4196468 140723434977728 140231106341616 140231643331202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
[pid=31592/tid=31604] ppid=31590 vsize=15417404 memory=2116 CPUtime=0.54 cores=1,3,5,7
/proc/31592/task/31604/stat : 31604 (java) S 31590 31590 19528 0 -1 1077944384 6418 0 0 0 53 1 0 0 20 0 19 0 409376825 15787421696 73600 33554432000 4194304 4196468 140723434977728 140231105288816 140231643331202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 21 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
[pid=31592/tid=31605] ppid=31590 vsize=15417404 memory=520 CPUtime=0 cores=1,3,5,7
/proc/31592/task/31605/stat : 31605 (java) S 31590 31590 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409376825 15787421696 73600 33554432000 4194304 4196468 140723434977728 140231104236256 140231643330261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
[pid=31592/tid=31606] ppid=31590 vsize=15417404 memory=1452 CPUtime=0.14 cores=1,3,5,7
/proc/31592/task/31606/stat : 31606 (java) S 31590 31590 19528 0 -1 1077944384 680 0 0 0 0 14 0 0 20 0 19 0 409376826 15787421696 73600 33554432000 4194304 4196468 140723434977728 140231103183536 140231643331202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 31 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
[pid=31592/tid=31607] ppid=31590 vsize=15417404 memory=286208 CPUtime=577.7 cores=1,3,5,7
/proc/31592/task/31607/stat : 31607 (java) R 31590 31590 19528 0 -1 4202560 956 0 0 0 57768 2 0 0 20 0 19 0 409376875 15787421696 73600 33554432000 4194304 4196468 140723434977728 140231094212320 140231239930033 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
[pid=31592/tid=31608] ppid=31590 vsize=15417404 memory=1452 CPUtime=577.02 cores=1,3,5,7
/proc/31592/task/31608/stat : 31608 (java) R 31590 31590 19528 0 -1 4202560 3441 0 0 0 57700 2 0 0 20 0 19 0 409376875 15787421696 73600 33554432000 4194304 4196468 140723434977728 140231093157376 140231242155770 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
[pid=31592/tid=31609] ppid=31590 vsize=15417404 memory=3504 CPUtime=577.26 cores=1,3,5,7
/proc/31592/task/31609/stat : 31609 (java) R 31590 31590 19528 0 -1 4202560 1131 0 0 0 57724 2 0 0 20 0 19 0 409376875 15787421696 73600 33554432000 4194304 4196468 140723434977728 140231092104888 140231240754164 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
[pid=31592/tid=31610] ppid=31590 vsize=15417404 memory=1452 CPUtime=577.15 cores=1,3,5,7
/proc/31592/task/31610/stat : 31610 (java) R 31590 31590 19528 0 -1 4202560 2101 0 0 0 57714 1 0 0 20 0 19 0 409376875 15787421696 73600 33554432000 4194304 4196468 140723434977728 140231091052976 140231240754164 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
Current children cumulated CPU time: 2315.68 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 295852 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+603.601 s]
/proc/loadavg: 7.92 8.43 8.41 6/237 1118
/proc/meminfo: memFree=21445172/32770624 swapFree=66939828/67108860
[pid=31590] ppid=31587 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/31590/stat : 31590 (xcsp3-exec) S 31587 31590 19528 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409376819 115843072 363 33554432000 4194304 5098028 140728666630096 140728666628200 140489868546684 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 24264704 140728666633082 140728666633325 140728666633325 140728666636234 0
/proc/31590/statm: 28282 363 304 221 0 87 0
[pid=31592] ppid=31590 vsize=15417404 memory=325208 CPUtime=2400.25 cores=1,3,5,7
/proc/31592/stat : 31592 (java) S 31590 31590 19528 0 -1 1077944320 58305 0 0 0 239982 43 0 0 20 0 19 0 409376820 15787421696 81302 33554432000 4194304 4196468 140723434977728 140723434960272 140231643320055 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
/proc/31592/statm: 3854351 81302 3524 1 0 3815453 0
[pid=31592/tid=31593] ppid=31590 vsize=15417404 memory=6791534058613427641 CPUtime=0.53 cores=1,3,5,7
/proc/31592/task/31593/stat : 31593 (java) S 31590 31590 19528 0 -1 1077944384 9167 0 0 0 49 4 0 0 20 0 19 0 409376820 15787421696 81302 33554432000 4194304 4196468 140723434977728 140231647560832 140231643330261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
[pid=31592/tid=31594] ppid=31590 vsize=15417404 memory=38396 CPUtime=0.39 cores=1,3,5,7
/proc/31592/task/31594/stat : 31594 (java) S 31590 31590 19528 0 -1 1077944384 2775 0 0 0 35 4 0 0 20 0 19 0 409376821 15787421696 81302 33554432000 4194304 4196468 140723434977728 140231235857552 140231643330261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
[pid=31592/tid=31595] ppid=31590 vsize=15417404 memory=988 CPUtime=0.39 cores=1,3,5,7
/proc/31592/task/31595/stat : 31595 (java) S 31590 31590 19528 0 -1 1077944384 1638 0 0 0 35 4 0 0 20 0 19 0 409376821 15787421696 81302 33554432000 4194304 4196468 140723434977728 140231234804752 140231643330261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
[pid=31592/tid=31596] ppid=31590 vsize=15417404 memory=2008 CPUtime=0.39 cores=1,3,5,7
/proc/31592/task/31596/stat : 31596 (java) S 31590 31590 19528 0 -1 1077944384 2560 0 0 0 35 4 0 0 20 0 19 0 409376821 15787421696 81302 33554432000 4194304 4196468 140723434977728 140231233751952 140231643330261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
[pid=31592/tid=31597] ppid=31590 vsize=15417404 memory=1436 CPUtime=0.39 cores=1,3,5,7
/proc/31592/task/31597/stat : 31597 (java) S 31590 31590 19528 0 -1 1077944384 1023 0 0 0 35 4 0 0 20 0 19 0 409376821 15787421696 81302 33554432000 4194304 4196468 140723434977728 140231232699152 140231643330261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
[pid=31592/tid=31598] ppid=31590 vsize=15417404 memory=4164 CPUtime=0.27 cores=1,3,5,7
/proc/31592/task/31598/stat : 31598 (java) S 31590 31590 19528 0 -1 1077944384 2923 0 0 0 17 10 0 0 20 0 19 0 409376822 15787421696 81302 33554432000 4194304 4196468 140723434977728 140231111604592 140231643331202 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
[pid=31592/tid=31599] ppid=31590 vsize=15417404 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/31592/task/31599/stat : 31599 (java) S 31590 31590 19528 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 19 0 409376822 15787421696 81302 33554432000 4194304 4196468 140723434977728 140231110550624 140231643330261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
[pid=31592/tid=31600] ppid=31590 vsize=15417404 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/31592/task/31600/stat : 31600 (java) S 31590 31590 19528 0 -1 1077944384 113 0 0 0 0 0 0 0 20 0 19 0 409376823 15787421696 81302 33554432000 4194304 4196468 140723434977728 140231109497728 140231643330261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
[pid=31592/tid=31601] ppid=31590 vsize=15417404 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/31592/task/31601/stat : 31601 (java) S 31590 31590 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409376825 15787421696 81302 33554432000 4194304 4196468 140723434977728 140231108446032 140231643338651 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
[pid=31592/tid=31602] ppid=31590 vsize=15417404 memory=6791534058613427641 CPUtime=1.74 cores=1,3,5,7
/proc/31592/task/31602/stat : 31602 (java) S 31590 31590 19528 0 -1 1077944384 10771 0 0 0 172 2 0 0 20 0 19 0 409376825 15787421696 81302 33554432000 4194304 4196468 140723434977728 140231107394416 140231643331202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
[pid=31592/tid=31603] ppid=31590 vsize=15417404 memory=3688 CPUtime=1.81 cores=1,3,5,7
/proc/31592/task/31603/stat : 31603 (java) S 31590 31590 19528 0 -1 1077944384 11272 0 0 0 180 1 0 0 20 0 19 0 409376825 15787421696 81302 33554432000 4194304 4196468 140723434977728 140231106341616 140231643331202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
[pid=31592/tid=31604] ppid=31590 vsize=15417404 memory=1452 CPUtime=0.54 cores=1,3,5,7
/proc/31592/task/31604/stat : 31604 (java) S 31590 31590 19528 0 -1 1077944384 6418 0 0 0 53 1 0 0 20 0 19 0 409376825 15787421696 81302 33554432000 4194304 4196468 140723434977728 140231105288816 140231643331202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 21 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
[pid=31592/tid=31605] ppid=31590 vsize=15417404 memory=286208 CPUtime=0 cores=1,3,5,7
/proc/31592/task/31605/stat : 31605 (java) S 31590 31590 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409376825 15787421696 81302 33554432000 4194304 4196468 140723434977728 140231104236256 140231643330261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
[pid=31592/tid=31606] ppid=31590 vsize=15417404 memory=1452 CPUtime=0.15 cores=1,3,5,7
/proc/31592/task/31606/stat : 31606 (java) S 31590 31590 19528 0 -1 1077944384 680 0 0 0 0 15 0 0 20 0 19 0 409376826 15787421696 81302 33554432000 4194304 4196468 140723434977728 140231103183536 140231643331202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 31 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
[pid=31592/tid=31607] ppid=31590 vsize=15417404 memory=6791534058613427641 CPUtime=598.68 cores=1,3,5,7
/proc/31592/task/31607/stat : 31607 (java) R 31590 31590 19528 0 -1 4202560 957 0 0 0 59866 2 0 0 20 0 19 0 409376875 15787421696 81302 33554432000 4194304 4196468 140723434977728 140231094209256 140231239553484 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
[pid=31592/tid=31608] ppid=31590 vsize=15417404 memory=1804 CPUtime=598.16 cores=1,3,5,7
/proc/31592/task/31608/stat : 31608 (java) R 31590 31590 19528 0 -1 4202560 3446 0 0 0 59814 2 0 0 20 0 19 0 409376875 15787421696 81302 33554432000 4194304 4196468 140723434977728 140231093157264 140231242155491 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
[pid=31592/tid=31609] ppid=31590 vsize=15417404 memory=920 CPUtime=598.39 cores=1,3,5,7
/proc/31592/task/31609/stat : 31609 (java) R 31590 31590 19528 0 -1 4202560 1136 0 0 0 59837 2 0 0 20 0 19 0 409376875 15787421696 81302 33554432000 4194304 4196468 140723434977728 140231092105400 140231240754526 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
[pid=31592/tid=31610] ppid=31590 vsize=15417404 memory=3848 CPUtime=598.29 cores=1,3,5,7
/proc/31592/task/31610/stat : 31610 (java) R 31590 31590 19528 0 -1 4202560 2111 0 0 0 59828 1 0 0 20 0 19 0 409376875 15787421696 81302 33554432000 4194304 4196468 140723434977728 140231091055728 140231240754181 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36155392 140723434984431 140723434984602 140723434984602 140723434987471 0
Current children cumulated CPU time: 2400.25 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 326660 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+603.631 s]
# the end of solver process 31590 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.00115 s, system=0.00115 s
[startup+603.682 s]
# the end of solver process 31592 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2400.11 s, system=0.44331 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): 603.682
CPU time (s): 2400.56
CPU user time (s): 2400.11
CPU system time (s): 0.44331
CPU usage (%): 397.653
Max. virtual memory (cumulated for all children) (KiB): 15530532
Max. memory (cumulated for all children) (KiB): 326660
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.11
system time used= 0.44331
maximum resident set size= 325748
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59311
page faults= 0
swaps= 0
block input operations= 0
block output operations= 808
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21928
involuntary context switches= 47364
# summary of solver processes directly reported to runsolver:
# pid: 31590,31592
# total CPU time (s): 2400.56
# total CPU user time (s): 2400.11
# total CPU system time (s): 0.44331
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.75173 second user time and 6.84631 second system time
The end