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 (10992 MiB free)
memory of node 1: 16384 MiB (9388 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284424-1503213074/watcher-4284424-1503213074 -o /tmp/evaluation-result-4284424-1503213074/solver-4284424-1503213074 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node114-1503208995-20020 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 577327451 HOME/instance-4284424-1503213074.xml
running on 4 cores: 1,3,5,7
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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=22807, runsolver pid=22804
Current StackSize limit: 8192 KiB
[startup+0.100267 s]*
/proc/loadavg: 2.06 1.98 1.85 3/217 22823
/proc/meminfo: memFree=20853884/32770624 swapFree=67108860/67108860
[pid=22807] ppid=22804 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/22807/stat : 22807 (xcsp3-exec) S 22804 22807 19988 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154395024 9740288 346 33554432000 4194304 5098028 140728242397648 140728242395752 140026349634172 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8589312 140728242406517 140728242406720 140728242406720 140728242409451 0
/proc/22807/statm: 2378 346 289 221 0 87 0
[pid=22809] ppid=22807 vsize=13978596 memory=27868 CPUtime=0.11 cores=1,3,5,7
/proc/22809/stat : 22809 (java) S 22807 22807 19988 0 -1 1077944320 5327 0 0 0 10 1 0 0 20 0 15 0 154395024 14314082304 6967 33554432000 4194304 4196468 140726335773856 140726335756400 140327793184503 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
/proc/22809/statm: 3494649 6967 2874 1 0 3482966 0
[pid=22809/tid=22810] ppid=22807 vsize=13978596 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/22809/task/22810/stat : 22810 (java) R 22807 22807 19988 0 -1 4202560 3325 0 0 0 8 1 0 0 20 0 15 0 154395025 14314082304 6967 33554432000 4194304 4196468 140726335773856 140327797404560 140327793196438 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
[pid=22809/tid=22811] ppid=22807 vsize=13978596 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/22809/task/22811/stat : 22811 (java) S 22807 22807 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154395025 14314082304 6967 33554432000 4194304 4196468 140726335773856 140327723273232 140327793194709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
[pid=22809/tid=22812] ppid=22807 vsize=13978596 memory=139870813128320 CPUtime=0 cores=1,3,5,7
/proc/22809/task/22812/stat : 22812 (java) S 22807 22807 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154395025 14314082304 6967 33554432000 4194304 4196468 140726335773856 140327387839632 140327793194709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
[pid=22809/tid=22813] ppid=22807 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22809/task/22813/stat : 22813 (java) S 22807 22807 19988 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154395026 14314082304 6967 33554432000 4194304 4196468 140726335773856 140327386786576 140327793194709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
[pid=22809/tid=22814] ppid=22807 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22809/task/22814/stat : 22814 (java) S 22807 22807 19988 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154395026 14314082304 6967 33554432000 4194304 4196468 140726335773856 140327385734032 140327793194709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
[pid=22809/tid=22815] ppid=22807 vsize=13978596 memory=139870813128320 CPUtime=0 cores=1,3,5,7
/proc/22809/task/22815/stat : 22815 (java) S 22807 22807 19988 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154395027 14314082304 6967 33554432000 4194304 4196468 140726335773856 140327334553840 140327793195650 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
[pid=22809/tid=22816] ppid=22807 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22809/task/22816/stat : 22816 (java) S 22807 22807 19988 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154395027 14314082304 6967 33554432000 4194304 4196468 140726335773856 140327333500064 140327793194709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
[pid=22809/tid=22817] ppid=22807 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22809/task/22817/stat : 22817 (java) S 22807 22807 19988 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154395028 14314082304 6967 33554432000 4194304 4196468 140726335773856 140327332446960 140327793194709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
[pid=22809/tid=22818] ppid=22807 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22809/task/22818/stat : 22818 (java) S 22807 22807 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154395030 14314082304 6967 33554432000 4194304 4196468 140726335773856 140327331395536 140327793203099 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
[pid=22809/tid=22819] ppid=22807 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22809/task/22819/stat : 22819 (java) S 22807 22807 19988 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 15 0 154395030 14314082304 6967 33554432000 4194304 4196468 140726335773856 140327330343664 140327793195650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
[pid=22809/tid=22820] ppid=22807 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22809/task/22820/stat : 22820 (java) S 22807 22807 19988 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 15 0 154395030 14314082304 6967 33554432000 4194304 4196468 140726335773856 140327329291120 140327793195650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
[pid=22809/tid=22821] ppid=22807 vsize=13978596 memory=139870813128320 CPUtime=0.01 cores=1,3,5,7
/proc/22809/task/22821/stat : 22821 (java) R 22807 22807 19988 0 -1 4202560 296 0 0 0 1 0 0 0 20 0 15 0 154395030 14314082304 6967 33554432000 4194304 4196468 140726335773856 140327328238064 140327772125409 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
[pid=22809/tid=22822] ppid=22807 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22809/task/22822/stat : 22822 (java) S 22807 22807 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154395030 14314082304 6967 33554432000 4194304 4196468 140726335773856 140327327185760 140327793194709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
[pid=22809/tid=22823] ppid=22807 vsize=13978596 memory=139870813128320 CPUtime=0 cores=1,3,5,7
/proc/22809/task/22823/stat : 22823 (java) S 22807 22807 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154395030 14314082304 6967 33554432000 4194304 4196468 140726335773856 140327326132784 140327793195650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29252 KiB
[startup+0.219162 s]*
/proc/loadavg: 2.06 1.98 1.85 2/217 22823
/proc/meminfo: memFree=20841976/32770624 swapFree=67108860/67108860
[pid=22807] ppid=22804 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/22807/stat : 22807 (xcsp3-exec) S 22804 22807 19988 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154395024 9740288 346 33554432000 4194304 5098028 140728242397648 140728242395752 140026349634172 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8589312 140728242406517 140728242406720 140728242406720 140728242409451 0
/proc/22807/statm: 2378 346 289 221 0 87 0
[pid=22809] ppid=22807 vsize=13982852 memory=40324 CPUtime=0.34 cores=1,3,5,7
/proc/22809/stat : 22809 (java) S 22807 22807 19988 0 -1 1077944320 8272 0 0 0 31 3 0 0 20 0 15 0 154395024 14318440448 10081 33554432000 4194304 4196468 140726335773856 140726335756400 140327793184503 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
/proc/22809/statm: 3495713 10081 3067 1 0 3482966 0
[pid=22809/tid=22810] ppid=22807 vsize=13982852 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/22809/task/22810/stat : 22810 (java) R 22807 22807 19988 0 -1 4202560 5390 0 0 0 18 2 0 0 20 0 15 0 154395025 14318440448 10081 33554432000 4194304 4196468 140726335773856 140327797395408 140327777264990 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
[pid=22809/tid=22811] ppid=22807 vsize=13982852 memory=9107 CPUtime=0 cores=1,3,5,7
/proc/22809/task/22811/stat : 22811 (java) S 22807 22807 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154395025 14318440448 10081 33554432000 4194304 4196468 140726335773856 140327723273232 140327793194709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
[pid=22809/tid=22812] ppid=22807 vsize=13982852 memory=139870813149733 CPUtime=0 cores=1,3,5,7
/proc/22809/task/22812/stat : 22812 (java) S 22807 22807 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154395025 14318440448 10081 33554432000 4194304 4196468 140726335773856 140327387839632 140327793194709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
[pid=22809/tid=22813] ppid=22807 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22809/task/22813/stat : 22813 (java) S 22807 22807 19988 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154395026 14318440448 10081 33554432000 4194304 4196468 140726335773856 140327386786576 140327793194709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
[pid=22809/tid=22814] ppid=22807 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22809/task/22814/stat : 22814 (java) S 22807 22807 19988 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154395026 14318440448 10081 33554432000 4194304 4196468 140726335773856 140327385734032 140327793194709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
[pid=22809/tid=22815] ppid=22807 vsize=13982852 memory=139870813128320 CPUtime=0 cores=1,3,5,7
/proc/22809/task/22815/stat : 22815 (java) S 22807 22807 19988 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154395027 14318440448 10081 33554432000 4194304 4196468 140726335773856 140327334553840 140327793195650 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
[pid=22809/tid=22816] ppid=22807 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22809/task/22816/stat : 22816 (java) S 22807 22807 19988 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154395027 14318440448 10081 33554432000 4194304 4196468 140726335773856 140327333500064 140327793194709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
[pid=22809/tid=22817] ppid=22807 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22809/task/22817/stat : 22817 (java) S 22807 22807 19988 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154395028 14318440448 10081 33554432000 4194304 4196468 140726335773856 140327332446960 140327793194709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
[pid=22809/tid=22818] ppid=22807 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22809/task/22818/stat : 22818 (java) S 22807 22807 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154395030 14318440448 10081 33554432000 4194304 4196468 140726335773856 140327331395536 140327793203099 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
[pid=22809/tid=22819] ppid=22807 vsize=13982852 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/22809/task/22819/stat : 22819 (java) S 22807 22807 19988 0 -1 1077944384 630 0 0 0 3 0 0 0 20 0 15 0 154395030 14318440448 10081 33554432000 4194304 4196468 140726335773856 140327330343664 140327793195650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
[pid=22809/tid=22820] ppid=22807 vsize=13982852 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/22809/task/22820/stat : 22820 (java) S 22807 22807 19988 0 -1 1077944384 175 0 0 0 1 0 0 0 20 0 15 0 154395030 14318440448 10081 33554432000 4194304 4196468 140726335773856 140327329291120 140327793195650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
[pid=22809/tid=22821] ppid=22807 vsize=13982852 memory=139870813128320 CPUtime=0.08 cores=1,3,5,7
/proc/22809/task/22821/stat : 22821 (java) S 22807 22807 19988 0 -1 1077944384 774 0 0 0 8 0 0 0 20 0 15 0 154395030 14318440448 10081 33554432000 4194304 4196468 140726335773856 140327328238064 140327793195650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
[pid=22809/tid=22822] ppid=22807 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22809/task/22822/stat : 22822 (java) S 22807 22807 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154395030 14318440448 10081 33554432000 4194304 4196468 140726335773856 140327327185760 140327793194709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
[pid=22809/tid=22823] ppid=22807 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22809/task/22823/stat : 22823 (java) S 22807 22807 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154395030 14318440448 10081 33554432000 4194304 4196468 140726335773856 140327326132784 140327793195650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41708 KiB
[startup+0.310663 s]*
/proc/loadavg: 2.06 1.98 1.85 4/217 22823
/proc/meminfo: memFree=20834780/32770624 swapFree=67108860/67108860
[pid=22807] ppid=22804 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/22807/stat : 22807 (xcsp3-exec) S 22804 22807 19988 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154395024 9740288 346 33554432000 4194304 5098028 140728242397648 140728242395752 140026349634172 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8589312 140728242406517 140728242406720 140728242406720 140728242409451 0
/proc/22807/statm: 2378 346 289 221 0 87 0
[pid=22809] ppid=22807 vsize=13982852 memory=47440 CPUtime=0.5 cores=1,3,5,7
/proc/22809/stat : 22809 (java) S 22807 22807 19988 0 -1 1077944320 9032 0 0 0 47 3 0 0 20 0 15 0 154395024 14318440448 11860 33554432000 4194304 4196468 140726335773856 140726335756400 140327793184503 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
/proc/22809/statm: 3495713 11860 3093 1 0 3482966 0
[pid=22809/tid=22810] ppid=22807 vsize=13982852 memory=7883960649037381690 CPUtime=0.29 cores=1,3,5,7
/proc/22809/task/22810/stat : 22810 (java) R 22807 22807 19988 0 -1 4202560 5974 0 0 0 27 2 0 0 20 0 15 0 154395025 14318440448 11871 33554432000 4194304 4196468 140726335773856 140327797412144 140327777264990 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
[pid=22809/tid=22811] ppid=22807 vsize=13982852 memory=9469 CPUtime=0 cores=1,3,5,7
/proc/22809/task/22811/stat : 22811 (java) S 22807 22807 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154395025 14318440448 11871 33554432000 4194304 4196468 140726335773856 140327723273232 140327793194709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
[pid=22809/tid=22812] ppid=22807 vsize=13982852 memory=4051050782618046287 CPUtime=0 cores=1,3,5,7
/proc/22809/task/22812/stat : 22812 (java) S 22807 22807 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154395025 14318440448 11871 33554432000 4194304 4196468 140726335773856 140327387839632 140327793194709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
[pid=22809/tid=22813] ppid=22807 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22809/task/22813/stat : 22813 (java) S 22807 22807 19988 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154395026 14318440448 11871 33554432000 4194304 4196468 140726335773856 140327386786576 140327793194709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
[pid=22809/tid=22814] ppid=22807 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22809/task/22814/stat : 22814 (java) S 22807 22807 19988 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154395026 14318440448 11871 33554432000 4194304 4196468 140726335773856 140327385734032 140327793194709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
[pid=22809/tid=22815] ppid=22807 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22809/task/22815/stat : 22815 (java) S 22807 22807 19988 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154395027 14318440448 11871 33554432000 4194304 4196468 140726335773856 140327334553840 140327793195650 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
[pid=22809/tid=22816] ppid=22807 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22809/task/22816/stat : 22816 (java) S 22807 22807 19988 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154395027 14318440448 11871 33554432000 4194304 4196468 140726335773856 140327333500064 140327793194709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
[pid=22809/tid=22817] ppid=22807 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22809/task/22817/stat : 22817 (java) S 22807 22807 19988 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154395028 14318440448 11871 33554432000 4194304 4196468 140726335773856 140327332446960 140327793194709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
[pid=22809/tid=22818] ppid=22807 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22809/task/22818/stat : 22818 (java) S 22807 22807 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154395030 14318440448 11871 33554432000 4194304 4196468 140726335773856 140327331395536 140327793203099 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
[pid=22809/tid=22819] ppid=22807 vsize=13982852 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/22809/task/22819/stat : 22819 (java) S 22807 22807 19988 0 -1 1077944384 641 0 0 0 4 0 0 0 20 0 15 0 154395030 14318440448 11871 33554432000 4194304 4196468 140726335773856 140327330343664 140327793195650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
[pid=22809/tid=22820] ppid=22807 vsize=13982852 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/22809/task/22820/stat : 22820 (java) S 22807 22807 19988 0 -1 1077944384 238 0 0 0 2 0 0 0 20 0 15 0 154395030 14318440448 11871 33554432000 4194304 4196468 140726335773856 140327329291120 140327793195650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
[pid=22809/tid=22821] ppid=22807 vsize=13982852 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/22809/task/22821/stat : 22821 (java) S 22807 22807 19988 0 -1 1077944384 884 0 0 0 12 0 0 0 20 0 15 0 154395030 14318440448 11871 33554432000 4194304 4196468 140726335773856 140327328238064 140327793195650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
[pid=22809/tid=22822] ppid=22807 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22809/task/22822/stat : 22822 (java) S 22807 22807 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154395030 14318440448 11871 33554432000 4194304 4196468 140726335773856 140327327185760 140327793194709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
[pid=22809/tid=22823] ppid=22807 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22809/task/22823/stat : 22823 (java) S 22807 22807 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154395030 14318440448 11871 33554432000 4194304 4196468 140726335773856 140327326132784 140327793195650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48824 KiB
[startup+0.700866 s]
/proc/loadavg: 2.06 1.98 1.85 5/217 22823
/proc/meminfo: memFree=20820320/32770624 swapFree=67108860/67108860
[pid=22807] ppid=22804 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/22807/stat : 22807 (xcsp3-exec) S 22804 22807 19988 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154395024 9740288 346 33554432000 4194304 5098028 140728242397648 140728242395752 140026349634172 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8589312 140728242406517 140728242406720 140728242406720 140728242409451 0
/proc/22807/statm: 2378 346 289 221 0 87 0
[pid=22809] ppid=22807 vsize=13984976 memory=98856 CPUtime=1.58 cores=1,3,5,7
/proc/22809/stat : 22809 (java) S 22807 22807 19988 0 -1 1077944320 20470 0 0 0 153 5 0 0 20 0 15 0 154395024 14320615424 24714 33554432000 4194304 4196468 140726335773856 140726335756400 140327793184503 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
/proc/22809/statm: 3496244 24714 3200 1 0 3483478 0
[pid=22809/tid=22810] ppid=22807 vsize=13984976 memory=23616 CPUtime=0.67 cores=1,3,5,7
/proc/22809/task/22810/stat : 22810 (java) R 22807 22807 19988 0 -1 4202560 6521 0 0 0 64 3 0 0 20 0 15 0 154395025 14320615424 24714 33554432000 4194304 4196468 140726335773856 140327797419976 140327405784512 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
[pid=22809/tid=22811] ppid=22807 vsize=13984976 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/22809/task/22811/stat : 22811 (java) S 22807 22807 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154395025 14320615424 24714 33554432000 4194304 4196468 140726335773856 140327723273232 140327793194709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
[pid=22809/tid=22812] ppid=22807 vsize=13984976 memory=1792 CPUtime=0 cores=1,3,5,7
/proc/22809/task/22812/stat : 22812 (java) S 22807 22807 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154395025 14320615424 24714 33554432000 4194304 4196468 140726335773856 140327387839632 140327793194709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
[pid=22809/tid=22813] ppid=22807 vsize=13984976 memory=640 CPUtime=0 cores=1,3,5,7
/proc/22809/task/22813/stat : 22813 (java) S 22807 22807 19988 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154395026 14320615424 24714 33554432000 4194304 4196468 140726335773856 140327386786576 140327793194709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
[pid=22809/tid=22814] ppid=22807 vsize=13984976 memory=956 CPUtime=0 cores=1,3,5,7
/proc/22809/task/22814/stat : 22814 (java) S 22807 22807 19988 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154395026 14320615424 24714 33554432000 4194304 4196468 140726335773856 140327385734032 140327793194709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
[pid=22809/tid=22815] ppid=22807 vsize=13984976 memory=2468 CPUtime=0 cores=1,3,5,7
/proc/22809/task/22815/stat : 22815 (java) S 22807 22807 19988 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154395027 14320615424 24714 33554432000 4194304 4196468 140726335773856 140327334553840 140327793195650 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
[pid=22809/tid=22816] ppid=22807 vsize=13984976 memory=1576 CPUtime=0 cores=1,3,5,7
/proc/22809/task/22816/stat : 22816 (java) S 22807 22807 19988 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154395027 14320615424 24714 33554432000 4194304 4196468 140726335773856 140327333500064 140327793194709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
[pid=22809/tid=22817] ppid=22807 vsize=13984976 memory=932 CPUtime=0 cores=1,3,5,7
/proc/22809/task/22817/stat : 22817 (java) S 22807 22807 19988 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154395028 14320615424 24714 33554432000 4194304 4196468 140726335773856 140327332446960 140327793194709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
[pid=22809/tid=22818] ppid=22807 vsize=13984976 memory=2236 CPUtime=0 cores=1,3,5,7
/proc/22809/task/22818/stat : 22818 (java) S 22807 22807 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154395030 14320615424 24714 33554432000 4194304 4196468 140726335773856 140327331395536 140327793203099 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
[pid=22809/tid=22819] ppid=22807 vsize=13984976 memory=4124 CPUtime=0.33 cores=1,3,5,7
/proc/22809/task/22819/stat : 22819 (java) R 22807 22807 19988 0 -1 4202560 6054 0 0 0 33 0 0 0 20 0 15 0 154395030 14320615424 24714 33554432000 4194304 4196468 140726335773856 140327330328328 140327771047664 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
[pid=22809/tid=22820] ppid=22807 vsize=13984976 memory=2200 CPUtime=0.31 cores=1,3,5,7
/proc/22809/task/22820/stat : 22820 (java) R 22807 22807 19988 0 -1 4202560 4916 0 0 0 31 0 0 0 20 0 15 0 154395030 14320615424 24714 33554432000 4194304 4196468 140726335773856 140327329275592 140327774732077 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
[pid=22809/tid=22821] ppid=22807 vsize=13984976 memory=7528 CPUtime=0.23 cores=1,3,5,7
/proc/22809/task/22821/stat : 22821 (java) S 22807 22807 19988 0 -1 1077944384 1671 0 0 0 23 0 0 0 20 0 15 0 154395030 14320615424 24714 33554432000 4194304 4196468 140726335773856 140327328238064 140327793195650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
[pid=22809/tid=22822] ppid=22807 vsize=13984976 memory=840 CPUtime=0 cores=1,3,5,7
/proc/22809/task/22822/stat : 22822 (java) S 22807 22807 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154395030 14320615424 24714 33554432000 4194304 4196468 140726335773856 140327327185760 140327793194709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
[pid=22809/tid=22823] ppid=22807 vsize=13984976 memory=1696 CPUtime=0 cores=1,3,5,7
/proc/22809/task/22823/stat : 22823 (java) S 22807 22807 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154395030 14320615424 24714 33554432000 4194304 4196468 140726335773856 140327326132784 140327793195650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
Current children cumulated CPU time: 1.58 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 100240 KiB
[startup+1.50083 s]
/proc/loadavg: 2.06 1.98 1.85 3/217 22823
/proc/meminfo: memFree=20770948/32770624 swapFree=67108860/67108860
[pid=22807] ppid=22804 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/22807/stat : 22807 (xcsp3-exec) S 22804 22807 19988 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154395024 9740288 346 33554432000 4194304 5098028 140728242397648 140728242395752 140026349634172 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8589312 140728242406517 140728242406720 140728242406720 140728242409451 0
/proc/22807/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/22809/task/22817/stat : 22817 (java) S 22807 22807 19988 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 154395028 14320615424 224300 33554432000 4194304 4196468 140726335773856 140327332446960 140327793194709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
[pid=22809/tid=22818] ppid=22807 vsize=13984976 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/22809/task/22818/stat : 22818 (java) S 22807 22807 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154395030 14320615424 224300 33554432000 4194304 4196468 140726335773856 140327331395536 140327793203099 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
[pid=22809/tid=22819] ppid=22807 vsize=13984976 memory=42812 CPUtime=4.9 cores=1,3,5,7
/proc/22809/task/22819/stat : 22819 (java) S 22807 22807 19988 0 -1 1077944384 27830 0 0 0 488 2 0 0 20 0 15 0 154395030 14320615424 224300 33554432000 4194304 4196468 140726335773856 140327330343664 140327793195650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
[pid=22809/tid=22820] ppid=22807 vsize=13984976 memory=1384 CPUtime=4.91 cores=1,3,5,7
/proc/22809/task/22820/stat : 22820 (java) S 22807 22807 19988 0 -1 1077944384 23094 0 0 0 489 2 0 0 20 0 15 0 154395030 14320615424 224300 33554432000 4194304 4196468 140726335773856 140327329291120 140327793195650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
[pid=22809/tid=22821] ppid=22807 vsize=13984976 memory=778800 CPUtime=0.89 cores=1,3,5,7
/proc/22809/task/22821/stat : 22821 (java) S 22807 22807 19988 0 -1 1077944384 8630 0 0 0 87 2 0 0 20 0 15 0 154395030 14320615424 224300 33554432000 4194304 4196468 140726335773856 140327328238064 140327793195650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
[pid=22809/tid=22822] ppid=22807 vsize=13984976 memory=33 CPUtime=0 cores=1,3,5,7
/proc/22809/task/22822/stat : 22822 (java) S 22807 22807 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154395030 14320615424 224300 33554432000 4194304 4196468 140726335773856 140327327185760 140327793194709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
[pid=22809/tid=22823] ppid=22807 vsize=13984976 memory=279741421539632 CPUtime=0.04 cores=1,3,5,7
/proc/22809/task/22823/stat : 22823 (java) S 22807 22807 19988 0 -1 1077944384 990 0 0 0 2 2 0 0 20 0 15 0 154395030 14320615424 224300 33554432000 4194304 4196468 140726335773856 140327326132784 140327793195650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
Current children cumulated CPU time: 114.87 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 898584 KiB
[startup+162.301 s]
/proc/loadavg: 1.62 1.88 1.84 4/217 22904
/proc/meminfo: memFree=20262932/32770624 swapFree=67108860/67108860
[pid=22807] ppid=22804 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/22807/stat : 22807 (xcsp3-exec) S 22804 22807 19988 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154395024 9740288 346 33554432000 4194304 5098028 140728242397648 140728242395752 140026349634172 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8589312 140728242406517 140728242406720 140728242406720 140728242409451 0
/proc/22807/statm: 2378 346 289 221 0 87 0
[pid=22809] ppid=22807 vsize=13984976 memory=704228 CPUtime=176.65 cores=1,3,5,7
/proc/22809/stat : 22809 (java) S 22807 22807 19988 0 -1 1077944320 96667 0 0 0 17541 124 0 0 20 0 15 0 154395024 14320615424 176057 33554432000 4194304 4196468 140726335773856 140726335756400 140327793184503 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
/proc/22809/statm: 3496244 176057 3290 1 0 3483478 0
[pid=22809/tid=22810] ppid=22807 vsize=13984976 memory=763768 CPUtime=161.05 cores=1,3,5,7
/proc/22809/task/22810/stat : 22810 (java) R 22807 22807 19988 0 -1 4202560 18479 0 0 0 16093 12 0 0 20 0 15 0 154395025 14320615424 176057 33554432000 4194304 4196468 140726335773856 140327797424048 140327410250928 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
[pid=22809/tid=22811] ppid=22807 vsize=13984976 memory=1384 CPUtime=1.11 cores=1,3,5,7
/proc/22809/task/22811/stat : 22811 (java) S 22807 22807 19988 0 -1 1077944384 2129 0 0 0 86 25 0 0 20 0 15 0 154395025 14320615424 176057 33554432000 4194304 4196468 140726335773856 140327723273232 140327793194709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
[pid=22809/tid=22812] ppid=22807 vsize=13984976 memory=721496 CPUtime=1.1 cores=1,3,5,7
/proc/22809/task/22812/stat : 22812 (java) S 22807 22807 19988 0 -1 1077944384 2145 0 0 0 86 24 0 0 20 0 15 0 154395025 14320615424 176057 33554432000 4194304 4196468 140726335773856 140327387839632 140327793194709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
[pid=22809/tid=22813] ppid=22807 vsize=13984976 memory=704228 CPUtime=1.13 cores=1,3,5,7
/proc/22809/task/22813/stat : 22813 (java) S 22807 22807 19988 0 -1 1077944384 2471 0 0 0 88 25 0 0 20 0 15 0 154395026 14320615424 176057 33554432000 4194304 4196468 140726335773856 140327386786576 140327793194709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
[pid=22809/tid=22814] ppid=22807 vsize=13984976 memory=1384 CPUtime=1.13 cores=1,3,5,7
/proc/22809/task/22814/stat : 22814 (java) S 22807 22807 19988 0 -1 1077944384 1848 0 0 0 89 24 0 0 20 0 15 0 154395026 14320615424 176057 33554432000 4194304 4196468 140726335773856 140327385734032 140327793194709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
[pid=22809/tid=22815] ppid=22807 vsize=13984976 memory=1384 CPUtime=0.07 cores=1,3,5,7
/proc/22809/task/22815/stat : 22815 (java) S 22807 22807 19988 0 -1 1077944384 3333 0 0 0 6 1 0 0 20 0 15 0 154395027 14320615424 176057 33554432000 4194304 4196468 140726335773856 140327334553840 140327793195650 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
[pid=22809/tid=22816] ppid=22807 vsize=13984976 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/22809/task/22816/stat : 22816 (java) S 22807 22807 19988 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 154395027 14320615424 176057 33554432000 4194304 4196468 140726335773856 140327333500128 140327793194709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
[pid=22809/tid=22817] ppid=22807 vsize=13984976 memory=1792 CPUtime=0 cores=1,3,5,7
/proc/22809/task/22817/stat : 22817 (java) S 22807 22807 19988 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 154395028 14320615424 176057 33554432000 4194304 4196468 140726335773856 140327332446976 140327793194709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
[pid=22809/tid=22818] ppid=22807 vsize=13984976 memory=721496 CPUtime=0 cores=1,3,5,7
/proc/22809/task/22818/stat : 22818 (java) S 22807 22807 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154395030 14320615424 176057 33554432000 4194304 4196468 140726335773856 140327331395536 140327793203099 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
[pid=22809/tid=22819] ppid=22807 vsize=13984976 memory=1384 CPUtime=4.95 cores=1,3,5,7
/proc/22809/task/22819/stat : 22819 (java) S 22807 22807 19988 0 -1 1077944384 28470 0 0 0 493 2 0 0 20 0 15 0 154395030 14320615424 176057 33554432000 4194304 4196468 140726335773856 140327330343664 140327793195650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
[pid=22809/tid=22820] ppid=22807 vsize=13984976 memory=733504 CPUtime=5.04 cores=1,3,5,7
/proc/22809/task/22820/stat : 22820 (java) S 22807 22807 19988 0 -1 1077944384 25508 0 0 0 502 2 0 0 20 0 15 0 154395030 14320615424 176057 33554432000 4194304 4196468 140726335773856 140327329291120 140327793195650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
[pid=22809/tid=22821] ppid=22807 vsize=13984976 memory=1384 CPUtime=0.9 cores=1,3,5,7
/proc/22809/task/22821/stat : 22821 (java) S 22807 22807 19988 0 -1 1077944384 9899 0 0 0 88 2 0 0 20 0 15 0 154395030 14320615424 176057 33554432000 4194304 4196468 140726335773856 140327328238064 140327793195650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
[pid=22809/tid=22822] ppid=22807 vsize=13984976 memory=721496 CPUtime=0 cores=1,3,5,7
/proc/22809/task/22822/stat : 22822 (java) S 22807 22807 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154395030 14320615424 176057 33554432000 4194304 4196468 140726335773856 140327327185760 140327793194709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
[pid=22809/tid=22823] ppid=22807 vsize=13984976 memory=1384 CPUtime=0.07 cores=1,3,5,7
/proc/22809/task/22823/stat : 22823 (java) S 22807 22807 19988 0 -1 1077944384 1020 0 0 0 3 4 0 0 20 0 15 0 154395030 14320615424 176057 33554432000 4194304 4196468 140726335773856 140327326132784 140327793195650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
Current children cumulated CPU time: 176.65 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 705612 KiB
[startup+222.301 s]
/proc/loadavg: 1.32 1.73 1.79 3/218 22913
/proc/meminfo: memFree=20423040/32770624 swapFree=67108860/67108860
[pid=22807] ppid=22804 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/22807/stat : 22807 (xcsp3-exec) S 22804 22807 19988 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154395024 9740288 346 33554432000 4194304 5098028 140728242397648 140728242395752 140026349634172 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8589312 140728242406517 140728242406720 140728242406720 140728242409451 0
/proc/22807/statm: 2378 346 289 221 0 87 0
[pid=22809] ppid=22807 vsize=13984976 memory=524556 CPUtime=238.77 cores=1,3,5,7
/proc/22809/stat : 22809 (java) S 22807 22807 19988 0 -1 1077944320 106143 0 0 0 23747 130 0 0 20 0 15 0 154395024 14320615424 131139 33554432000 4194304 4196468 140726335773856 140726335756400 140327793184503 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
/proc/22809/statm: 3496244 131139 3291 1 0 3483478 0
[pid=22809/tid=22810] ppid=22807 vsize=13984976 memory=506096 CPUtime=220.32 cores=1,3,5,7
/proc/22809/task/22810/stat : 22810 (java) R 22807 22807 19988 0 -1 4202560 19342 0 0 0 22020 12 0 0 20 0 15 0 154395025 14320615424 131139 33554432000 4194304 4196468 140726335773856 140327797423472 140327412332064 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
[pid=22809/tid=22811] ppid=22807 vsize=13984976 memory=493588 CPUtime=1.75 cores=1,3,5,7
/proc/22809/task/22811/stat : 22811 (java) S 22807 22807 19988 0 -1 1077944384 2746 0 0 0 149 26 0 0 20 0 15 0 154395025 14320615424 131139 33554432000 4194304 4196468 140726335773856 140327723273232 140327793194709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
[pid=22809/tid=22812] ppid=22807 vsize=13984976 memory=495136 CPUtime=1.73 cores=1,3,5,7
/proc/22809/task/22812/stat : 22812 (java) S 22807 22807 19988 0 -1 1077944384 2423 0 0 0 149 24 0 0 20 0 15 0 154395025 14320615424 131139 33554432000 4194304 4196468 140726335773856 140327387839632 140327793194709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
[pid=22809/tid=22813] ppid=22807 vsize=13984976 memory=499920 CPUtime=1.77 cores=1,3,5,7
/proc/22809/task/22813/stat : 22813 (java) S 22807 22807 19988 0 -1 1077944384 3032 0 0 0 151 26 0 0 20 0 15 0 154395026 14320615424 131139 33554432000 4194304 4196468 140726335773856 140327386786576 140327793194709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
[pid=22809/tid=22814] ppid=22807 vsize=13984976 memory=499920 CPUtime=1.77 cores=1,3,5,7
/proc/22809/task/22814/stat : 22814 (java) S 22807 22807 19988 0 -1 1077944384 2223 0 0 0 152 25 0 0 20 0 15 0 154395026 14320615424 131139 33554432000 4194304 4196468 140726335773856 140327385734032 140327793194709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
[pid=22809/tid=22815] ppid=22807 vsize=13984976 memory=512268 CPUtime=0.15 cores=1,3,5,7
/proc/22809/task/22815/stat : 22815 (java) S 22807 22807 19988 0 -1 1077944384 5849 0 0 0 12 3 0 0 20 0 15 0 154395027 14320615424 131139 33554432000 4194304 4196468 140726335773856 140327334553840 140327793195650 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
[pid=22809/tid=22816] ppid=22807 vsize=13984976 memory=512268 CPUtime=0 cores=1,3,5,7
/proc/22809/task/22816/stat : 22816 (java) S 22807 22807 19988 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 154395027 14320615424 131139 33554432000 4194304 4196468 140726335773856 140327333500128 140327793194709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
[pid=22809/tid=22817] ppid=22807 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/22809/task/22817/stat : 22817 (java) S 22807 22807 19988 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 154395028 14320615424 131139 33554432000 4194304 4196468 140726335773856 140327332446976 140327793194709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
[pid=22809/tid=22818] ppid=22807 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/22809/task/22818/stat : 22818 (java) S 22807 22807 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154395030 14320615424 131139 33554432000 4194304 4196468 140726335773856 140327331395536 140327793203099 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
[pid=22809/tid=22819] ppid=22807 vsize=13984976 memory=1384 CPUtime=5.03 cores=1,3,5,7
/proc/22809/task/22819/stat : 22819 (java) S 22807 22807 19988 0 -1 1077944384 30269 0 0 0 501 2 0 0 20 0 15 0 154395030 14320615424 131139 33554432000 4194304 4196468 140726335773856 140327330343664 140327793195650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
[pid=22809/tid=22820] ppid=22807 vsize=13984976 memory=506096 CPUtime=5.14 cores=1,3,5,7
/proc/22809/task/22820/stat : 22820 (java) S 22807 22807 19988 0 -1 1077944384 27273 0 0 0 512 2 0 0 20 0 15 0 154395030 14320615424 131139 33554432000 4194304 4196468 140726335773856 140327329291120 140327793195650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
[pid=22809/tid=22821] ppid=22807 vsize=13984976 memory=1384 CPUtime=0.91 cores=1,3,5,7
/proc/22809/task/22821/stat : 22821 (java) S 22807 22807 19988 0 -1 1077944384 10574 0 0 0 89 2 0 0 20 0 15 0 154395030 14320615424 131139 33554432000 4194304 4196468 140726335773856 140327328238064 140327793195650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
[pid=22809/tid=22822] ppid=22807 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/22809/task/22822/stat : 22822 (java) S 22807 22807 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154395030 14320615424 131139 33554432000 4194304 4196468 140726335773856 140327327185760 140327793194709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
[pid=22809/tid=22823] ppid=22807 vsize=13984976 memory=1384 CPUtime=0.1 cores=1,3,5,7
/proc/22809/task/22823/stat : 22823 (java) S 22807 22807 19988 0 -1 1077944384 1047 0 0 0 4 6 0 0 20 0 15 0 154395030 14320615424 131139 33554432000 4194304 4196468 140726335773856 140327326132784 140327793195650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
Current children cumulated CPU time: 238.77 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 525940 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 1.23 1.68 1.77 3/218 22913
/proc/meminfo: memFree=20314840/32770624 swapFree=67108860/67108860
[pid=22807] ppid=22804 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/22807/stat : 22807 (xcsp3-exec) S 22804 22807 19988 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154395024 9740288 346 33554432000 4194304 5098028 140728242397648 140728242395752 140026349634172 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8589312 140728242406517 140728242406720 140728242406720 140728242409451 0
/proc/22807/statm: 2378 346 289 221 0 87 0
[pid=22809] ppid=22807 vsize=13984976 memory=611256 CPUtime=256.85 cores=1,3,5,7
/proc/22809/stat : 22809 (java) S 22807 22807 19988 0 -1 1077944320 107895 0 0 0 25545 140 0 0 20 0 15 0 154395024 14320615424 152814 33554432000 4194304 4196468 140726335773856 140726335756400 140327793184503 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
/proc/22809/statm: 3496244 152814 3291 1 0 3483478 0
[pid=22809/tid=22810] ppid=22807 vsize=13984976 memory=15876 CPUtime=237.89 cores=1,3,5,7
/proc/22809/task/22810/stat : 22810 (java) R 22807 22807 19988 0 -1 4202560 20134 0 0 0 23777 12 0 0 20 0 15 0 154395025 14320615424 152814 33554432000 4194304 4196468 140726335773856 140327797423472 140327408294359 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
[pid=22809/tid=22811] ppid=22807 vsize=13984976 memory=4872558044660077418 CPUtime=1.87 cores=1,3,5,7
/proc/22809/task/22811/stat : 22811 (java) S 22807 22807 19988 0 -1 1077944384 2872 0 0 0 159 28 0 0 20 0 15 0 154395025 14320615424 152814 33554432000 4194304 4196468 140726335773856 140327723273232 140327793194709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
[pid=22809/tid=22812] ppid=22807 vsize=13984976 memory=2468 CPUtime=1.85 cores=1,3,5,7
/proc/22809/task/22812/stat : 22812 (java) S 22807 22807 19988 0 -1 1077944384 2560 0 0 0 158 27 0 0 20 0 15 0 154395025 14320615424 152814 33554432000 4194304 4196468 140726335773856 140327387839632 140327793194709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
[pid=22809/tid=22813] ppid=22807 vsize=13984976 memory=1576 CPUtime=1.89 cores=1,3,5,7
/proc/22809/task/22813/stat : 22813 (java) S 22807 22807 19988 0 -1 1077944384 3153 0 0 0 161 28 0 0 20 0 15 0 154395026 14320615424 152814 33554432000 4194304 4196468 140726335773856 140327386786576 140327793194709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
[pid=22809/tid=22814] ppid=22807 vsize=13984976 memory=932 CPUtime=1.88 cores=1,3,5,7
/proc/22809/task/22814/stat : 22814 (java) S 22807 22807 19988 0 -1 1077944384 2563 0 0 0 161 27 0 0 20 0 15 0 154395026 14320615424 152814 33554432000 4194304 4196468 140726335773856 140327385734032 140327793194709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
[pid=22809/tid=22815] ppid=22807 vsize=13984976 memory=2236 CPUtime=0.16 cores=1,3,5,7
/proc/22809/task/22815/stat : 22815 (java) S 22807 22807 19988 0 -1 1077944384 5922 0 0 0 13 3 0 0 20 0 15 0 154395027 14320615424 152814 33554432000 4194304 4196468 140726335773856 140327334553840 140327793195650 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
[pid=22809/tid=22816] ppid=22807 vsize=13984976 memory=4124 CPUtime=0 cores=1,3,5,7
/proc/22809/task/22816/stat : 22816 (java) S 22807 22807 19988 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 154395027 14320615424 152814 33554432000 4194304 4196468 140726335773856 140327333500128 140327793194709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
[pid=22809/tid=22817] ppid=22807 vsize=13984976 memory=2200 CPUtime=0 cores=1,3,5,7
/proc/22809/task/22817/stat : 22817 (java) S 22807 22807 19988 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 154395028 14320615424 152814 33554432000 4194304 4196468 140726335773856 140327332446976 140327793194709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
[pid=22809/tid=22818] ppid=22807 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/22809/task/22818/stat : 22818 (java) S 22807 22807 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154395030 14320615424 152814 33554432000 4194304 4196468 140726335773856 140327331395536 140327793203099 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
[pid=22809/tid=22819] ppid=22807 vsize=13984976 memory=611256 CPUtime=5.05 cores=1,3,5,7
/proc/22809/task/22819/stat : 22819 (java) S 22807 22807 19988 0 -1 1077944384 30432 0 0 0 503 2 0 0 20 0 15 0 154395030 14320615424 152814 33554432000 4194304 4196468 140726335773856 140327330343664 140327793195650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
[pid=22809/tid=22820] ppid=22807 vsize=13984976 memory=3832619564966098494 CPUtime=5.14 cores=1,3,5,7
/proc/22809/task/22820/stat : 22820 (java) S 22807 22807 19988 0 -1 1077944384 27273 0 0 0 512 2 0 0 20 0 15 0 154395030 14320615424 152814 33554432000 4194304 4196468 140726335773856 140327329291120 140327793195650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
[pid=22809/tid=22821] ppid=22807 vsize=13984976 memory=2428 CPUtime=0.91 cores=1,3,5,7
/proc/22809/task/22821/stat : 22821 (java) S 22807 22807 19988 0 -1 1077944384 10574 0 0 0 89 2 0 0 20 0 15 0 154395030 14320615424 152814 33554432000 4194304 4196468 140726335773856 140327328238064 140327793195650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
[pid=22809/tid=22822] ppid=22807 vsize=13984976 memory=603048 CPUtime=0 cores=1,3,5,7
/proc/22809/task/22822/stat : 22822 (java) S 22807 22807 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154395030 14320615424 152814 33554432000 4194304 4196468 140726335773856 140327327185760 140327793194709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
[pid=22809/tid=22823] ppid=22807 vsize=13984976 memory=4124 CPUtime=0.11 cores=1,3,5,7
/proc/22809/task/22823/stat : 22823 (java) S 22807 22807 19988 0 -1 1077944384 1047 0 0 0 4 7 0 0 20 0 15 0 154395030 14320615424 152814 33554432000 4194304 4196468 140726335773856 140327326132784 140327793195650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7901184 140726335775901 140726335776076 140726335776076 140726335778767 0
Current children cumulated CPU time: 256.85 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 612640 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.02 s]
# the end of solver process 22807 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001908 s, system=0 s
[startup+240.026 s]
# the end of solver process 22809 was just reported to runsolver
# cumulated CPU time of all completed processes: user=255.471 s, system=1.41652 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.026
CPU time (s): 256.888
CPU user time (s): 255.471
CPU system time (s): 1.41652
CPU usage (%): 107.025
Max. virtual memory (cumulated for all children) (KiB): 13999336
Max. memory (cumulated for all children) (KiB): 935532
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 255.471
system time used= 1.41652
maximum resident set size= 947640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 108567
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= 10644
involuntary context switches= 365
# summary of solver processes directly reported to runsolver:
# pid: 22807,22809
# total CPU time (s): 256.888
# total CPU user time (s): 255.471
# total CPU system time (s): 1.41652
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.54021 second user time and 2.35557 second system time
The end