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 (13017 MiB free)
memory of node 1: 16384 MiB (12808 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284539-1503210689/watcher-4284539-1503210689 -o /tmp/evaluation-result-4284539-1503210689/solver-4284539-1503210689 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node113-1503209106-8067 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 262997358 HOME/instance-4284539-1503210689.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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
Starting watchdog thread
Linux 3.10.0-514.16.1.el7.x86_64
solver pid=8602, runsolver pid=8599
Current StackSize limit: 8192 KiB
[startup+0.103904 s]*
/proc/loadavg: 1.86 1.80 1.72 7/217 8618
/proc/meminfo: memFree=26417188/32770624 swapFree=67108860/67108860
[pid=8602] ppid=8599 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/8602/stat : 8602 (xcsp3-exec) S 8599 8602 8036 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154156360 9740288 346 33554432000 4194304 5098028 140726795305920 140726795304024 139942727135868 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 31490048 140726795314293 140726795314496 140726795314496 140726795317227 0
/proc/8602/statm: 2378 346 289 221 0 87 0
[pid=8604] ppid=8602 vsize=13978596 memory=28852 CPUtime=0.12 cores=0,2,4,6
/proc/8604/stat : 8604 (java) S 8602 8602 8036 0 -1 1077944320 5527 0 0 0 11 1 0 0 20 0 15 0 154156360 14314082304 7213 33554432000 4194304 4196468 140729665167440 140729665149984 140465352511223 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
/proc/8604/statm: 3494649 7213 2900 1 0 3482966 0
[pid=8604/tid=8605] ppid=8602 vsize=13978596 memory=-8976644418600983157 CPUtime=0.09 cores=0,2,4,6
/proc/8604/task/8605/stat : 8605 (java) R 8602 8602 8036 0 -1 4202560 3461 0 0 0 8 1 0 0 20 0 15 0 154156360 14314082304 7213 33554432000 4194304 4196468 140729665167440 140465356735024 140465352533149 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
[pid=8604/tid=8606] ppid=8602 vsize=13978596 memory=3472467846207005904 CPUtime=0 cores=0,2,4,6
/proc/8604/task/8606/stat : 8606 (java) S 8602 8602 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154156361 14314082304 7213 33554432000 4194304 4196468 140729665167440 140465305131664 140465352521429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
[pid=8604/tid=8607] ppid=8602 vsize=13978596 memory=139717311854208 CPUtime=0 cores=0,2,4,6
/proc/8604/task/8607/stat : 8607 (java) S 8602 8602 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154156361 14314082304 7213 33554432000 4194304 4196468 140729665167440 140465304078864 140465352521429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
[pid=8604/tid=8608] ppid=8602 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8604/task/8608/stat : 8608 (java) S 8602 8602 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154156361 14314082304 7213 33554432000 4194304 4196468 140729665167440 140465303026064 140465352521429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
[pid=8604/tid=8609] ppid=8602 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8604/task/8609/stat : 8609 (java) S 8602 8602 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154156361 14314082304 7213 33554432000 4194304 4196468 140729665167440 140465301973264 140465352521429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
[pid=8604/tid=8610] ppid=8602 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8604/task/8610/stat : 8610 (java) S 8602 8602 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154156363 14314082304 7213 33554432000 4194304 4196468 140729665167440 140464331692912 140465352522370 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
[pid=8604/tid=8611] ppid=8602 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8604/task/8611/stat : 8611 (java) S 8602 8602 8036 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154156363 14314082304 7213 33554432000 4194304 4196468 140729665167440 140464330638880 140465352521429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
[pid=8604/tid=8612] ppid=8602 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8604/task/8612/stat : 8612 (java) S 8602 8602 8036 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154156363 14314082304 7213 33554432000 4194304 4196468 140729665167440 140464329586032 140465352521429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
[pid=8604/tid=8613] ppid=8602 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8604/task/8613/stat : 8613 (java) S 8602 8602 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154156366 14314082304 7213 33554432000 4194304 4196468 140729665167440 140464328534352 140465352529819 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
[pid=8604/tid=8614] ppid=8602 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8604/task/8614/stat : 8614 (java) S 8602 8602 8036 0 -1 1077944384 417 0 0 0 0 0 0 0 20 0 15 0 154156366 14314082304 7213 33554432000 4194304 4196468 140729665167440 140464327481712 140465352522370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
[pid=8604/tid=8615] ppid=8602 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8604/task/8615/stat : 8615 (java) S 8602 8602 8036 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154156366 14314082304 7213 33554432000 4194304 4196468 140729665167440 140464326428912 140465352522370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
[pid=8604/tid=8616] ppid=8602 vsize=13978596 memory=139717311854208 CPUtime=0.01 cores=0,2,4,6
/proc/8604/task/8616/stat : 8616 (java) R 8602 8602 8036 0 -1 4202560 342 0 0 0 1 0 0 0 20 0 15 0 154156366 14314082304 7213 33554432000 4194304 4196468 140729665167440 140464325376112 140465352523158 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
[pid=8604/tid=8617] ppid=8602 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8604/task/8617/stat : 8617 (java) S 8602 8602 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154156366 14314082304 7213 33554432000 4194304 4196468 140729665167440 140464324323552 140465352521429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
[pid=8604/tid=8618] ppid=8602 vsize=13978596 memory=139717311854208 CPUtime=0 cores=0,2,4,6
/proc/8604/task/8618/stat : 8618 (java) S 8602 8602 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154156366 14314082304 7213 33554432000 4194304 4196468 140729665167440 140464323271856 140465352522370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 30236 KiB
[startup+0.210788 s]*
/proc/loadavg: 1.86 1.80 1.72 7/217 8618
/proc/meminfo: memFree=26399448/32770624 swapFree=67108860/67108860
[pid=8602] ppid=8599 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/8602/stat : 8602 (xcsp3-exec) S 8599 8602 8036 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154156360 9740288 346 33554432000 4194304 5098028 140726795305920 140726795304024 139942727135868 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 31490048 140726795314293 140726795314496 140726795314496 140726795317227 0
/proc/8602/statm: 2378 346 289 221 0 87 0
[pid=8604] ppid=8602 vsize=13982852 memory=40588 CPUtime=0.33 cores=0,2,4,6
/proc/8604/stat : 8604 (java) S 8602 8602 8036 0 -1 1077944320 8134 0 0 0 31 2 0 0 20 0 15 0 154156360 14318440448 10147 33554432000 4194304 4196468 140729665167440 140729665149984 140465352511223 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
/proc/8604/statm: 3495713 10147 3067 1 0 3482966 0
[pid=8604/tid=8605] ppid=8602 vsize=13982852 memory=4499834149035483540 CPUtime=0.2 cores=0,2,4,6
/proc/8604/task/8605/stat : 8605 (java) R 8602 8602 8036 0 -1 4202560 5258 0 0 0 18 2 0 0 20 0 15 0 154156360 14318440448 10147 33554432000 4194304 4196468 140729665167440 140465356719152 140465352533149 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
[pid=8604/tid=8606] ppid=8602 vsize=13982852 memory=3472467846207005904 CPUtime=0 cores=0,2,4,6
/proc/8604/task/8606/stat : 8606 (java) S 8602 8602 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154156361 14318440448 10147 33554432000 4194304 4196468 140729665167440 140465305131664 140465352521429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
[pid=8604/tid=8607] ppid=8602 vsize=13982852 memory=139717311854208 CPUtime=0 cores=0,2,4,6
/proc/8604/task/8607/stat : 8607 (java) S 8602 8602 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154156361 14318440448 10147 33554432000 4194304 4196468 140729665167440 140465304078864 140465352521429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
[pid=8604/tid=8608] ppid=8602 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8604/task/8608/stat : 8608 (java) S 8602 8602 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154156361 14318440448 10147 33554432000 4194304 4196468 140729665167440 140465303026064 140465352521429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
[pid=8604/tid=8609] ppid=8602 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8604/task/8609/stat : 8609 (java) S 8602 8602 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154156361 14318440448 10147 33554432000 4194304 4196468 140729665167440 140465301973264 140465352521429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
[pid=8604/tid=8610] ppid=8602 vsize=13982852 memory=139717311854208 CPUtime=0 cores=0,2,4,6
/proc/8604/task/8610/stat : 8610 (java) S 8602 8602 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154156363 14318440448 10147 33554432000 4194304 4196468 140729665167440 140464331692912 140465352522370 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
[pid=8604/tid=8611] ppid=8602 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8604/task/8611/stat : 8611 (java) S 8602 8602 8036 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154156363 14318440448 10147 33554432000 4194304 4196468 140729665167440 140464330638880 140465352521429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
[pid=8604/tid=8612] ppid=8602 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8604/task/8612/stat : 8612 (java) S 8602 8602 8036 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154156363 14318440448 10147 33554432000 4194304 4196468 140729665167440 140464329586032 140465352521429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
[pid=8604/tid=8613] ppid=8602 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8604/task/8613/stat : 8613 (java) S 8602 8602 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154156366 14318440448 10147 33554432000 4194304 4196468 140729665167440 140464328534352 140465352529819 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
[pid=8604/tid=8614] ppid=8602 vsize=13982852 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/8604/task/8614/stat : 8614 (java) S 8602 8602 8036 0 -1 1077944384 557 0 0 0 2 0 0 0 20 0 15 0 154156366 14318440448 10147 33554432000 4194304 4196468 140729665167440 140464327481712 140465352522370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
[pid=8604/tid=8615] ppid=8602 vsize=13982852 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/8604/task/8615/stat : 8615 (java) S 8602 8602 8036 0 -1 1077944384 286 0 0 0 2 0 0 0 20 0 15 0 154156366 14318440448 10147 33554432000 4194304 4196468 140729665167440 140464326428912 140465352522370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
[pid=8604/tid=8616] ppid=8602 vsize=13982852 memory=139717311854208 CPUtime=0.08 cores=0,2,4,6
/proc/8604/task/8616/stat : 8616 (java) R 8602 8602 8036 0 -1 4202560 731 0 0 0 8 0 0 0 20 0 15 0 154156366 14318440448 10147 33554432000 4194304 4196468 140729665167440 140464325376112 140465331450019 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
[pid=8604/tid=8617] ppid=8602 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8604/task/8617/stat : 8617 (java) S 8602 8602 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154156366 14318440448 10147 33554432000 4194304 4196468 140729665167440 140464324323552 140465352521429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
[pid=8604/tid=8618] ppid=8602 vsize=13982852 memory=139717311854208 CPUtime=0 cores=0,2,4,6
/proc/8604/task/8618/stat : 8618 (java) S 8602 8602 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154156366 14318440448 10147 33554432000 4194304 4196468 140729665167440 140464323271856 140465352522370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41972 KiB
[startup+0.310592 s]*
/proc/loadavg: 1.86 1.80 1.72 6/217 8618
/proc/meminfo: memFree=26388900/32770624 swapFree=67108860/67108860
[pid=8602] ppid=8599 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/8602/stat : 8602 (xcsp3-exec) S 8599 8602 8036 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154156360 9740288 346 33554432000 4194304 5098028 140726795305920 140726795304024 139942727135868 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 31490048 140726795314293 140726795314496 140726795314496 140726795317227 0
/proc/8602/statm: 2378 346 289 221 0 87 0
[pid=8604] ppid=8602 vsize=13982852 memory=47280 CPUtime=0.51 cores=0,2,4,6
/proc/8604/stat : 8604 (java) S 8602 8602 8036 0 -1 1077944320 9011 0 0 0 48 3 0 0 20 0 15 0 154156360 14318440448 11820 33554432000 4194304 4196468 140729665167440 140729665149984 140465352511223 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
/proc/8604/statm: 3495713 11820 3099 1 0 3482966 0
[pid=8604/tid=8605] ppid=8602 vsize=13982852 memory=-8976644418600983157 CPUtime=0.3 cores=0,2,4,6
/proc/8604/task/8605/stat : 8605 (java) R 8602 8602 8036 0 -1 4202560 5929 0 0 0 28 2 0 0 20 0 15 0 154156360 14318440448 11820 33554432000 4194304 4196468 140729665167440 140465356750448 140465352523158 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
[pid=8604/tid=8606] ppid=8602 vsize=13982852 memory=3472467846207005904 CPUtime=0 cores=0,2,4,6
/proc/8604/task/8606/stat : 8606 (java) S 8602 8602 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154156361 14318440448 11820 33554432000 4194304 4196468 140729665167440 140465305131664 140465352521429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
[pid=8604/tid=8607] ppid=8602 vsize=13982852 memory=139717311854208 CPUtime=0 cores=0,2,4,6
/proc/8604/task/8607/stat : 8607 (java) S 8602 8602 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154156361 14318440448 11820 33554432000 4194304 4196468 140729665167440 140465304078864 140465352521429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
[pid=8604/tid=8608] ppid=8602 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8604/task/8608/stat : 8608 (java) S 8602 8602 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154156361 14318440448 11820 33554432000 4194304 4196468 140729665167440 140465303026064 140465352521429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
[pid=8604/tid=8609] ppid=8602 vsize=13982852 memory=139717165328415 CPUtime=0 cores=0,2,4,6
/proc/8604/task/8609/stat : 8609 (java) S 8602 8602 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154156361 14318440448 11820 33554432000 4194304 4196468 140729665167440 140465301973264 140465352521429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
[pid=8604/tid=8610] ppid=8602 vsize=13982852 memory=279434330636064 CPUtime=0 cores=0,2,4,6
/proc/8604/task/8610/stat : 8610 (java) S 8602 8602 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154156363 14318440448 11820 33554432000 4194304 4196468 140729665167440 140464331692912 140465352522370 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
[pid=8604/tid=8611] ppid=8602 vsize=13982852 memory=139717165305359 CPUtime=0 cores=0,2,4,6
/proc/8604/task/8611/stat : 8611 (java) S 8602 8602 8036 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154156363 14318440448 11820 33554432000 4194304 4196468 140729665167440 140464330638880 140465352521429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
[pid=8604/tid=8612] ppid=8602 vsize=13982852 memory=279434477168736 CPUtime=0 cores=0,2,4,6
/proc/8604/task/8612/stat : 8612 (java) S 8602 8602 8036 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154156363 14318440448 11820 33554432000 4194304 4196468 140729665167440 140464329586032 140465352521429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
[pid=8604/tid=8613] ppid=8602 vsize=13982852 memory=139717165309967 CPUtime=0 cores=0,2,4,6
/proc/8604/task/8613/stat : 8613 (java) S 8602 8602 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154156366 14318440448 11820 33554432000 4194304 4196468 140729665167440 140464328534352 140465352529819 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
[pid=8604/tid=8614] ppid=8602 vsize=13982852 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/8604/task/8614/stat : 8614 (java) S 8602 8602 8036 0 -1 1077944384 563 0 0 0 3 0 0 0 20 0 15 0 154156366 14318440448 11820 33554432000 4194304 4196468 140729665167440 140464327481712 140465352522370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
[pid=8604/tid=8615] ppid=8602 vsize=13982852 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/8604/task/8615/stat : 8615 (java) S 8602 8602 8036 0 -1 1077944384 370 0 0 0 3 0 0 0 20 0 15 0 154156366 14318440448 11820 33554432000 4194304 4196468 140729665167440 140464326428912 140465352522370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
[pid=8604/tid=8616] ppid=8602 vsize=13982852 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/8604/task/8616/stat : 8616 (java) R 8602 8602 8036 0 -1 4202560 847 0 0 0 12 0 0 0 20 0 15 0 154156366 14318440448 11820 33554432000 4194304 4196468 140729665167440 140464325373904 140465352525105 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
[pid=8604/tid=8617] ppid=8602 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8604/task/8617/stat : 8617 (java) S 8602 8602 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154156366 14318440448 11820 33554432000 4194304 4196468 140729665167440 140464324323552 140465352521429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
[pid=8604/tid=8618] ppid=8602 vsize=13982852 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/8604/task/8618/stat : 8618 (java) S 8602 8602 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154156366 14318440448 11820 33554432000 4194304 4196468 140729665167440 140464323271856 140465352522370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48664 KiB
[startup+0.700791 s]
/proc/loadavg: 1.86 1.80 1.72 5/217 8618
/proc/meminfo: memFree=26358696/32770624 swapFree=67108860/67108860
[pid=8602] ppid=8599 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/8602/stat : 8602 (xcsp3-exec) S 8599 8602 8036 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154156360 9740288 346 33554432000 4194304 5098028 140726795305920 140726795304024 139942727135868 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 31490048 140726795314293 140726795314496 140726795314496 140726795317227 0
/proc/8602/statm: 2378 346 289 221 0 87 0
[pid=8604] ppid=8602 vsize=13984976 memory=73032 CPUtime=1.53 cores=0,2,4,6
/proc/8604/stat : 8604 (java) S 8602 8602 8036 0 -1 1077944320 11402 0 0 0 150 3 0 0 20 0 15 0 154156360 14320615424 18258 33554432000 4194304 4196468 140729665167440 140729665149984 140465352511223 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
/proc/8604/statm: 3496244 18258 3205 1 0 3483478 0
[pid=8604/tid=8605] ppid=8602 vsize=13984976 memory=279434330443824 CPUtime=0.67 cores=0,2,4,6
/proc/8604/task/8605/stat : 8605 (java) R 8602 8602 8036 0 -1 4202560 6659 0 0 0 65 2 0 0 20 0 15 0 154156360 14320615424 18258 33554432000 4194304 4196468 140729665167440 140465356740144 140465336554853 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
[pid=8604/tid=8606] ppid=8602 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8604/task/8606/stat : 8606 (java) S 8602 8602 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154156361 14320615424 18258 33554432000 4194304 4196468 140729665167440 140465305131664 140465352521429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
[pid=8604/tid=8607] ppid=8602 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8604/task/8607/stat : 8607 (java) S 8602 8602 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154156361 14320615424 18258 33554432000 4194304 4196468 140729665167440 140465304078864 140465352521429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
[pid=8604/tid=8608] ppid=8602 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8604/task/8608/stat : 8608 (java) S 8602 8602 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154156361 14320615424 18258 33554432000 4194304 4196468 140729665167440 140465303026064 140465352521429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
[pid=8604/tid=8609] ppid=8602 vsize=13984976 memory=5796 CPUtime=0 cores=0,2,4,6
/proc/8604/task/8609/stat : 8609 (java) S 8602 8602 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154156361 14320615424 18258 33554432000 4194304 4196468 140729665167440 140465301973264 140465352521429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
[pid=8604/tid=8610] ppid=8602 vsize=13984976 memory=1224 CPUtime=0 cores=0,2,4,6
/proc/8604/task/8610/stat : 8610 (java) S 8602 8602 8036 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154156363 14320615424 18258 33554432000 4194304 4196468 140729665167440 140464331692912 140465352522370 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
[pid=8604/tid=8611] ppid=8602 vsize=13984976 memory=8716 CPUtime=0 cores=0,2,4,6
/proc/8604/task/8611/stat : 8611 (java) S 8602 8602 8036 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154156363 14320615424 18258 33554432000 4194304 4196468 140729665167440 140464330638880 140465352521429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
[pid=8604/tid=8612] ppid=8602 vsize=13984976 memory=7740655667640821056 CPUtime=0 cores=0,2,4,6
/proc/8604/task/8612/stat : 8612 (java) S 8602 8602 8036 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154156363 14320615424 18258 33554432000 4194304 4196468 140729665167440 140464329586032 140465352521429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
[pid=8604/tid=8613] ppid=8602 vsize=13984976 memory=7450453974481135974 CPUtime=0 cores=0,2,4,6
/proc/8604/task/8613/stat : 8613 (java) S 8602 8602 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154156366 14320615424 18258 33554432000 4194304 4196468 140729665167440 140464328534352 140465352529819 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
[pid=8604/tid=8614] ppid=8602 vsize=13984976 memory=5787213827131598673 CPUtime=0.23 cores=0,2,4,6
/proc/8604/task/8614/stat : 8614 (java) R 8602 8602 8036 0 -1 4202560 1036 0 0 0 23 0 0 0 20 0 15 0 154156366 14320615424 18258 33554432000 4194304 4196468 140729665167440 140464327469344 140465336042489 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
[pid=8604/tid=8615] ppid=8602 vsize=13984976 memory=0 CPUtime=0.26 cores=0,2,4,6
/proc/8604/task/8615/stat : 8615 (java) R 8602 8602 8036 0 -1 4202560 941 0 0 0 26 0 0 0 20 0 15 0 154156366 14320615424 18258 33554432000 4194304 4196468 140729665167440 140464326410192 140465352532570 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
[pid=8604/tid=8616] ppid=8602 vsize=13984976 memory=0 CPUtime=0.34 cores=0,2,4,6
/proc/8604/task/8616/stat : 8616 (java) R 8602 8602 8036 0 -1 1077944384 1460 0 0 0 34 0 0 0 20 0 15 0 154156366 14320615424 18258 33554432000 4194304 4196468 140729665167440 140464325376112 140465352522370 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
[pid=8604/tid=8617] ppid=8602 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8604/task/8617/stat : 8617 (java) S 8602 8602 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154156366 14320615424 18258 33554432000 4194304 4196468 140729665167440 140464324323552 140465352521429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
[pid=8604/tid=8618] ppid=8602 vsize=13984976 memory=42520 CPUtime=0 cores=0,2,4,6
/proc/8604/task/8618/stat : 8618 (java) S 8602 8602 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154156366 14320615424 18258 33554432000 4194304 4196468 140729665167440 140464323271856 140465352522370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
Current children cumulated CPU time: 1.53 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 74416 KiB
[startup+1.50081 s]
/proc/loadavg: 1.86 1.80 1.72 7/217 8618
/proc/meminfo: memFree=26293488/32770624 swapFree=67108860/67108860
[pid=8602] ppid=8599 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/8602/stat : 8602 (xcsp3-exec) S 8599 8602 8036 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154156360 9740288 346 33554432000 4194304 5098028 140726795305920 140726795304024 139942727135868 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 31490048 140726795314293 140726795314496 140726795314496 140726795317227 0
/proc/8602/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/8604/task/8612/stat : 8612 (java) S 8602 8602 8036 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 154156363 14320615424 118878 33554432000 4194304 4196468 140729665167440 140464329586032 140465352521429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
[pid=8604/tid=8613] ppid=8602 vsize=13984976 memory=4100 CPUtime=0 cores=0,2,4,6
/proc/8604/task/8613/stat : 8613 (java) S 8602 8602 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154156366 14320615424 118878 33554432000 4194304 4196468 140729665167440 140464328534352 140465352529819 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
[pid=8604/tid=8614] ppid=8602 vsize=13984976 memory=800 CPUtime=4.94 cores=0,2,4,6
/proc/8604/task/8614/stat : 8614 (java) S 8602 8602 8036 0 -1 1077944384 30789 0 0 0 491 3 0 0 20 0 15 0 154156366 14320615424 118878 33554432000 4194304 4196468 140729665167440 140464327481712 140465352522370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
[pid=8604/tid=8615] ppid=8602 vsize=13984976 memory=12132 CPUtime=5.27 cores=0,2,4,6
/proc/8604/task/8615/stat : 8615 (java) S 8602 8602 8036 0 -1 1077944384 24236 0 0 0 525 2 0 0 20 0 15 0 154156366 14320615424 118878 33554432000 4194304 4196468 140729665167440 140464326428912 140465352522370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
[pid=8604/tid=8616] ppid=8602 vsize=13984976 memory=1440 CPUtime=0.86 cores=0,2,4,6
/proc/8604/task/8616/stat : 8616 (java) S 8602 8602 8036 0 -1 1077944384 8618 0 0 0 84 2 0 0 20 0 15 0 154156366 14320615424 118878 33554432000 4194304 4196468 140729665167440 140464325376112 140465352522370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
[pid=8604/tid=8617] ppid=8602 vsize=13984976 memory=3828 CPUtime=0 cores=0,2,4,6
/proc/8604/task/8617/stat : 8617 (java) S 8602 8602 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154156366 14320615424 118878 33554432000 4194304 4196468 140729665167440 140464324323552 140465352521429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
[pid=8604/tid=8618] ppid=8602 vsize=13984976 memory=2548 CPUtime=0.04 cores=0,2,4,6
/proc/8604/task/8618/stat : 8618 (java) S 8602 8602 8036 0 -1 1077944384 1168 0 0 0 2 2 0 0 20 0 15 0 154156366 14320615424 118878 33554432000 4194304 4196468 140729665167440 140464323271856 140465352522370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
Current children cumulated CPU time: 115.91 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 476896 KiB
[startup+162.301 s]
/proc/loadavg: 1.31 1.60 1.66 3/217 8777
/proc/meminfo: memFree=25563216/32770624 swapFree=67108860/67108860
[pid=8602] ppid=8599 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/8602/stat : 8602 (xcsp3-exec) S 8599 8602 8036 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154156360 9740288 346 33554432000 4194304 5098028 140726795305920 140726795304024 139942727135868 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 31490048 140726795314293 140726795314496 140726795314496 140726795317227 0
/proc/8602/statm: 2378 346 289 221 0 87 0
[pid=8604] ppid=8602 vsize=13984976 memory=372100 CPUtime=177.77 cores=0,2,4,6
/proc/8604/stat : 8604 (java) S 8602 8602 8036 0 -1 1077944320 99628 0 0 0 17699 78 0 0 20 0 15 0 154156360 14320615424 93025 33554432000 4194304 4196468 140729665167440 140729665149984 140465352511223 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
/proc/8604/statm: 3496244 93025 3283 1 0 3483478 0
[pid=8604/tid=8605] ppid=8602 vsize=13984976 memory=1384 CPUtime=160.63 cores=0,2,4,6
/proc/8604/task/8605/stat : 8605 (java) R 8602 8602 8036 0 -1 4202560 16657 0 0 0 16056 7 0 0 20 0 15 0 154156360 14320615424 93025 33554432000 4194304 4196468 140729665167440 140465356750912 140464983388783 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
[pid=8604/tid=8606] ppid=8602 vsize=13984976 memory=373124 CPUtime=1.4 cores=0,2,4,6
/proc/8604/task/8606/stat : 8606 (java) S 8602 8602 8036 0 -1 1077944384 1971 0 0 0 126 14 0 0 20 0 15 0 154156361 14320615424 93025 33554432000 4194304 4196468 140729665167440 140465305131664 140465352521429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
[pid=8604/tid=8607] ppid=8602 vsize=13984976 memory=372100 CPUtime=1.4 cores=0,2,4,6
/proc/8604/task/8607/stat : 8607 (java) S 8602 8602 8036 0 -1 1077944384 2318 0 0 0 126 14 0 0 20 0 15 0 154156361 14320615424 93025 33554432000 4194304 4196468 140729665167440 140465304078864 140465352521429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
[pid=8604/tid=8608] ppid=8602 vsize=13984976 memory=1384 CPUtime=1.41 cores=0,2,4,6
/proc/8604/task/8608/stat : 8608 (java) S 8602 8602 8036 0 -1 1077944384 2402 0 0 0 126 15 0 0 20 0 15 0 154156361 14320615424 93025 33554432000 4194304 4196468 140729665167440 140465303026064 140465352521429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
[pid=8604/tid=8609] ppid=8602 vsize=13984976 memory=0 CPUtime=1.41 cores=0,2,4,6
/proc/8604/task/8609/stat : 8609 (java) S 8602 8602 8036 0 -1 1077944384 3033 0 0 0 127 14 0 0 20 0 15 0 154156361 14320615424 93025 33554432000 4194304 4196468 140729665167440 140465301973264 140465352521429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
[pid=8604/tid=8610] ppid=8602 vsize=13984976 memory=-8412658744833442419 CPUtime=0.13 cores=0,2,4,6
/proc/8604/task/8610/stat : 8610 (java) S 8602 8602 8036 0 -1 1077944384 3372 0 0 0 10 3 0 0 20 0 15 0 154156363 14320615424 93025 33554432000 4194304 4196468 140729665167440 140464331692912 140465352522370 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
[pid=8604/tid=8611] ppid=8602 vsize=13984976 memory=499504 CPUtime=0 cores=0,2,4,6
/proc/8604/task/8611/stat : 8611 (java) S 8602 8602 8036 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 154156363 14320615424 93025 33554432000 4194304 4196468 140729665167440 140464330638880 140465352521429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
[pid=8604/tid=8612] ppid=8602 vsize=13984976 memory=4100 CPUtime=0 cores=0,2,4,6
/proc/8604/task/8612/stat : 8612 (java) S 8602 8602 8036 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 154156363 14320615424 93025 33554432000 4194304 4196468 140729665167440 140464329586032 140465352521429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
[pid=8604/tid=8613] ppid=8602 vsize=13984976 memory=1004 CPUtime=0 cores=0,2,4,6
/proc/8604/task/8613/stat : 8613 (java) S 8602 8602 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154156366 14320615424 93025 33554432000 4194304 4196468 140729665167440 140464328534352 140465352529819 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
[pid=8604/tid=8614] ppid=8602 vsize=13984976 memory=1200 CPUtime=4.95 cores=0,2,4,6
/proc/8604/task/8614/stat : 8614 (java) S 8602 8602 8036 0 -1 1077944384 30978 0 0 0 492 3 0 0 20 0 15 0 154156366 14320615424 93025 33554432000 4194304 4196468 140729665167440 140464327481712 140465352522370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
[pid=8604/tid=8615] ppid=8602 vsize=13984976 memory=1384 CPUtime=5.41 cores=0,2,4,6
/proc/8604/task/8615/stat : 8615 (java) S 8602 8602 8036 0 -1 1077944384 27430 0 0 0 539 2 0 0 20 0 15 0 154156366 14320615424 93025 33554432000 4194304 4196468 140729665167440 140464326428912 140465352522370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
[pid=8604/tid=8616] ppid=8602 vsize=13984976 memory=372612 CPUtime=0.87 cores=0,2,4,6
/proc/8604/task/8616/stat : 8616 (java) S 8602 8602 8036 0 -1 1077944384 8939 0 0 0 85 2 0 0 20 0 15 0 154156366 14320615424 93025 33554432000 4194304 4196468 140729665167440 140464325376112 140465352522370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
[pid=8604/tid=8617] ppid=8602 vsize=13984976 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/8604/task/8617/stat : 8617 (java) S 8602 8602 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154156366 14320615424 93025 33554432000 4194304 4196468 140729665167440 140464324323552 140465352521429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
[pid=8604/tid=8618] ppid=8602 vsize=13984976 memory=1004 CPUtime=0.08 cores=0,2,4,6
/proc/8604/task/8618/stat : 8618 (java) S 8602 8602 8036 0 -1 1077944384 1178 0 0 0 4 4 0 0 20 0 15 0 154156366 14320615424 93025 33554432000 4194304 4196468 140729665167440 140464323271856 140465352522370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
Current children cumulated CPU time: 177.77 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 373484 KiB
[startup+222.301 s]
/proc/loadavg: 1.15 1.52 1.63 3/217 8785
/proc/meminfo: memFree=25580068/32770624 swapFree=67108860/67108860
[pid=8602] ppid=8599 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/8602/stat : 8602 (xcsp3-exec) S 8599 8602 8036 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154156360 9740288 346 33554432000 4194304 5098028 140726795305920 140726795304024 139942727135868 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 31490048 140726795314293 140726795314496 140726795314496 140726795317227 0
/proc/8602/statm: 2378 346 289 221 0 87 0
[pid=8604] ppid=8602 vsize=13984976 memory=366308 CPUtime=239.32 cores=0,2,4,6
/proc/8604/stat : 8604 (java) S 8602 8602 8036 0 -1 1077944320 106918 0 0 0 23847 85 0 0 20 0 15 0 154156360 14320615424 91577 33554432000 4194304 4196468 140729665167440 140729665149984 140465352511223 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
/proc/8604/statm: 3496244 91577 3284 1 0 3483478 0
[pid=8604/tid=8605] ppid=8602 vsize=13984976 memory=366820 CPUtime=220.01 cores=0,2,4,6
/proc/8604/task/8605/stat : 8605 (java) R 8602 8602 8036 0 -1 4202560 18754 0 0 0 21993 8 0 0 20 0 15 0 154156360 14320615424 91577 33554432000 4194304 4196468 140729665167440 140465356750880 140464983015591 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
[pid=8604/tid=8606] ppid=8602 vsize=13984976 memory=366308 CPUtime=1.92 cores=0,2,4,6
/proc/8604/task/8606/stat : 8606 (java) S 8602 8602 8036 0 -1 1077944384 2439 0 0 0 177 15 0 0 20 0 15 0 154156361 14320615424 91577 33554432000 4194304 4196468 140729665167440 140465305131664 140465352521429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
[pid=8604/tid=8607] ppid=8602 vsize=13984976 memory=1384 CPUtime=1.9 cores=0,2,4,6
/proc/8604/task/8607/stat : 8607 (java) S 8602 8602 8036 0 -1 1077944384 2584 0 0 0 175 15 0 0 20 0 15 0 154156361 14320615424 91577 33554432000 4194304 4196468 140729665167440 140465304078864 140465352521429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
[pid=8604/tid=8608] ppid=8602 vsize=13984976 memory=370916 CPUtime=1.92 cores=0,2,4,6
/proc/8604/task/8608/stat : 8608 (java) S 8602 8602 8036 0 -1 1077944384 2712 0 0 0 176 16 0 0 20 0 15 0 154156361 14320615424 91577 33554432000 4194304 4196468 140729665167440 140465303026064 140465352521429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
[pid=8604/tid=8609] ppid=8602 vsize=13984976 memory=380152 CPUtime=1.92 cores=0,2,4,6
/proc/8604/task/8609/stat : 8609 (java) S 8602 8602 8036 0 -1 1077944384 3568 0 0 0 177 15 0 0 20 0 15 0 154156361 14320615424 91577 33554432000 4194304 4196468 140729665167440 140465301973264 140465352521429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
[pid=8604/tid=8610] ppid=8602 vsize=13984976 memory=416532 CPUtime=0.18 cores=0,2,4,6
/proc/8604/task/8610/stat : 8610 (java) S 8602 8602 8036 0 -1 1077944384 5493 0 0 0 15 3 0 0 20 0 15 0 154156363 14320615424 91577 33554432000 4194304 4196468 140729665167440 140464331692912 140465352522370 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
[pid=8604/tid=8611] ppid=8602 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/8604/task/8611/stat : 8611 (java) S 8602 8602 8036 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 154156363 14320615424 91577 33554432000 4194304 4196468 140729665167440 140464330638880 140465352521429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
[pid=8604/tid=8612] ppid=8602 vsize=13984976 memory=369900 CPUtime=0 cores=0,2,4,6
/proc/8604/task/8612/stat : 8612 (java) S 8602 8602 8036 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 154156363 14320615424 91577 33554432000 4194304 4196468 140729665167440 140464329586032 140465352521429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
[pid=8604/tid=8613] ppid=8602 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/8604/task/8613/stat : 8613 (java) S 8602 8602 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154156366 14320615424 91577 33554432000 4194304 4196468 140729665167440 140464328534352 140465352529819 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
[pid=8604/tid=8614] ppid=8602 vsize=13984976 memory=4100 CPUtime=4.96 cores=0,2,4,6
/proc/8604/task/8614/stat : 8614 (java) S 8602 8602 8036 0 -1 1077944384 31154 0 0 0 493 3 0 0 20 0 15 0 154156366 14320615424 91577 33554432000 4194304 4196468 140729665167440 140464327481712 140465352522370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
[pid=8604/tid=8615] ppid=8602 vsize=13984976 memory=42528 CPUtime=5.42 cores=0,2,4,6
/proc/8604/task/8615/stat : 8615 (java) S 8602 8602 8036 0 -1 1077944384 27584 0 0 0 540 2 0 0 20 0 15 0 154156366 14320615424 91577 33554432000 4194304 4196468 140729665167440 140464326428912 140465352522370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
[pid=8604/tid=8616] ppid=8602 vsize=13984976 memory=4100 CPUtime=0.88 cores=0,2,4,6
/proc/8604/task/8616/stat : 8616 (java) S 8602 8602 8036 0 -1 1077944384 10071 0 0 0 86 2 0 0 20 0 15 0 154156366 14320615424 91577 33554432000 4194304 4196468 140729665167440 140464325376112 140465352522370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
[pid=8604/tid=8617] ppid=8602 vsize=13984976 memory=42528 CPUtime=0 cores=0,2,4,6
/proc/8604/task/8617/stat : 8617 (java) S 8602 8602 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154156366 14320615424 91577 33554432000 4194304 4196468 140729665167440 140464324323552 140465352521429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
[pid=8604/tid=8618] ppid=8602 vsize=13984976 memory=1292 CPUtime=0.11 cores=0,2,4,6
/proc/8604/task/8618/stat : 8618 (java) S 8602 8602 8036 0 -1 1077944384 1209 0 0 0 6 5 0 0 20 0 15 0 154156366 14320615424 91577 33554432000 4194304 4196468 140729665167440 140464323271856 140465352522370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
Current children cumulated CPU time: 239.32 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 367692 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 1.26 1.52 1.62 3/217 8785
/proc/meminfo: memFree=25538220/32770624 swapFree=67108860/67108860
[pid=8602] ppid=8599 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/8602/stat : 8602 (xcsp3-exec) S 8599 8602 8036 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154156360 9740288 346 33554432000 4194304 5098028 140726795305920 140726795304024 139942727135868 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 31490048 140726795314293 140726795314496 140726795314496 140726795317227 0
/proc/8602/statm: 2378 346 289 221 0 87 0
[pid=8604] ppid=8602 vsize=13984976 memory=412072 CPUtime=257.46 cores=0,2,4,6
/proc/8604/stat : 8604 (java) S 8602 8602 8036 0 -1 1077944320 108589 0 0 0 25657 89 0 0 20 0 15 0 154156360 14320615424 103018 33554432000 4194304 4196468 140729665167440 140729665149984 140465352511223 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
/proc/8604/statm: 3496244 103018 3284 1 0 3483478 0
[pid=8604/tid=8605] ppid=8602 vsize=13984976 memory=4472 CPUtime=237.55 cores=0,2,4,6
/proc/8604/task/8605/stat : 8605 (java) R 8602 8602 8036 0 -1 4202560 19931 0 0 0 23747 8 0 0 20 0 15 0 154156360 14320615424 103018 33554432000 4194304 4196468 140729665167440 140465356750736 140464983415120 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
[pid=8604/tid=8606] ppid=8602 vsize=13984976 memory=-7003737579269690708 CPUtime=2.06 cores=0,2,4,6
/proc/8604/task/8606/stat : 8606 (java) S 8602 8602 8036 0 -1 1077944384 2607 0 0 0 190 16 0 0 20 0 15 0 154156361 14320615424 103018 33554432000 4194304 4196468 140729665167440 140465305131664 140465352521429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
[pid=8604/tid=8607] ppid=8602 vsize=13984976 memory=8716 CPUtime=2.04 cores=0,2,4,6
/proc/8604/task/8607/stat : 8607 (java) S 8602 8602 8036 0 -1 1077944384 2618 0 0 0 188 16 0 0 20 0 15 0 154156361 14320615424 103018 33554432000 4194304 4196468 140729665167440 140465304078864 140465352521429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
[pid=8604/tid=8608] ppid=8602 vsize=13984976 memory=1712 CPUtime=2.07 cores=0,2,4,6
/proc/8604/task/8608/stat : 8608 (java) S 8602 8602 8036 0 -1 1077944384 2870 0 0 0 190 17 0 0 20 0 15 0 154156361 14320615424 103018 33554432000 4194304 4196468 140729665167440 140465303026064 140465352521429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
[pid=8604/tid=8609] ppid=8602 vsize=13984976 memory=4612 CPUtime=2.07 cores=0,2,4,6
/proc/8604/task/8609/stat : 8609 (java) S 8602 8602 8036 0 -1 1077944384 3676 0 0 0 191 16 0 0 20 0 15 0 154156361 14320615424 103018 33554432000 4194304 4196468 140729665167440 140465301973264 140465352521429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
[pid=8604/tid=8610] ppid=8602 vsize=13984976 memory=1004 CPUtime=0.19 cores=0,2,4,6
/proc/8604/task/8610/stat : 8610 (java) S 8602 8602 8036 0 -1 1077944384 5519 0 0 0 16 3 0 0 20 0 15 0 154156363 14320615424 103018 33554432000 4194304 4196468 140729665167440 140464331692912 140465352522370 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
[pid=8604/tid=8611] ppid=8602 vsize=13984976 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/8604/task/8611/stat : 8611 (java) S 8602 8602 8036 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 154156363 14320615424 103018 33554432000 4194304 4196468 140729665167440 140464330638880 140465352521429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
[pid=8604/tid=8612] ppid=8602 vsize=13984976 memory=15876 CPUtime=0 cores=0,2,4,6
/proc/8604/task/8612/stat : 8612 (java) S 8602 8602 8036 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 154156363 14320615424 103018 33554432000 4194304 4196468 140729665167440 140464329586032 140465352521429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
[pid=8604/tid=8613] ppid=8602 vsize=13984976 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/8604/task/8613/stat : 8613 (java) S 8602 8602 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154156366 14320615424 103018 33554432000 4194304 4196468 140729665167440 140464328534352 140465352529819 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
[pid=8604/tid=8614] ppid=8602 vsize=13984976 memory=3036 CPUtime=4.96 cores=0,2,4,6
/proc/8604/task/8614/stat : 8614 (java) S 8602 8602 8036 0 -1 1077944384 31154 0 0 0 493 3 0 0 20 0 15 0 154156366 14320615424 103018 33554432000 4194304 4196468 140729665167440 140464327481712 140465352522370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
[pid=8604/tid=8615] ppid=8602 vsize=13984976 memory=1380 CPUtime=5.42 cores=0,2,4,6
/proc/8604/task/8615/stat : 8615 (java) S 8602 8602 8036 0 -1 1077944384 27584 0 0 0 540 2 0 0 20 0 15 0 154156366 14320615424 103018 33554432000 4194304 4196468 140729665167440 140464326428912 140465352522370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
[pid=8604/tid=8616] ppid=8602 vsize=13984976 memory=677248 CPUtime=0.88 cores=0,2,4,6
/proc/8604/task/8616/stat : 8616 (java) S 8602 8602 8036 0 -1 1077944384 10071 0 0 0 86 2 0 0 20 0 15 0 154156366 14320615424 103018 33554432000 4194304 4196468 140729665167440 140464325376112 140465352522370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
[pid=8604/tid=8617] ppid=8602 vsize=13984976 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/8604/task/8617/stat : 8617 (java) S 8602 8602 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154156366 14320615424 103018 33554432000 4194304 4196468 140729665167440 140464324323552 140465352521429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
[pid=8604/tid=8618] ppid=8602 vsize=13984976 memory=-7003737579269690708 CPUtime=0.12 cores=0,2,4,6
/proc/8604/task/8618/stat : 8618 (java) S 8602 8602 8036 0 -1 1077944384 1209 0 0 0 7 5 0 0 20 0 15 0 154156366 14320615424 103018 33554432000 4194304 4196468 140729665167440 140464323271856 140465352522370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12734464 140729665172637 140729665172812 140729665172812 140729665175503 0
Current children cumulated CPU time: 257.46 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 413456 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.02 s]
# the end of solver process 8602 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001065 s, system=0.001065 s
[startup+240.023 s]
# the end of solver process 8604 was just reported to runsolver
# cumulated CPU time of all completed processes: user=256.586 s, system=0.904911 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): 240.023
CPU time (s): 257.491
CPU user time (s): 256.586
CPU system time (s): 0.904911
CPU usage (%): 107.277
Max. virtual memory (cumulated for all children) (KiB): 13997312
Max. memory (cumulated for all children) (KiB): 555768
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 256.586
system time used= 0.904911
maximum resident set size= 558856
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 109242
page faults= 0
swaps= 0
block input operations= 0
block output operations= 392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12028
involuntary context switches= 680
# summary of solver processes directly reported to runsolver:
# pid: 8602,8604
# total CPU time (s): 257.491
# total CPU user time (s): 256.586
# total CPU system time (s): 0.904911
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.44228 second user time and 2.45187 second system time
The end