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 (10707 MiB free)
memory of node 1: 16384 MiB (12136 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284351-1503212835/watcher-4284351-1503212835 -o /tmp/evaluation-result-4284351-1503212835/solver-4284351-1503212835 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node104-1503208966-3841 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 311276478 HOME/instance-4284351-1503212835.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
Current StackSize limit: 8192 KiB
solver pid=6091, runsolver pid=6088
[startup+0.100059 s]*
/proc/loadavg: 1.93 2.03 1.92 3/217 6107
/proc/meminfo: memFree=23377096/32770624 swapFree=67108860/67108860
[pid=6091] ppid=6088 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/6091/stat : 6091 (xcsp3-exec) S 6088 6091 3809 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154371248 9740288 346 33554432000 4194304 5098028 140737039331120 140737039329224 140094680748668 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27582464 140737039336565 140737039336768 140737039336768 140737039339499 0
/proc/6091/statm: 2378 346 289 221 0 87 0
[pid=6093] ppid=6091 vsize=13978596 memory=26076 CPUtime=0.12 cores=1,3,5,7
/proc/6093/stat : 6093 (java) S 6091 6091 3809 0 -1 1077944320 5417 0 0 0 11 1 0 0 20 0 15 0 154371248 14314082304 6519 33554432000 4194304 4196468 140720699165040 140720699147584 139890537295607 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
/proc/6093/statm: 3494649 6519 2861 1 0 3482966 0
[pid=6093/tid=6094] ppid=6091 vsize=13978596 memory=7900619551246881627 CPUtime=0.08 cores=1,3,5,7
/proc/6093/task/6094/stat : 6094 (java) R 6091 6091 3809 0 -1 4202560 3396 0 0 0 8 0 0 0 20 0 15 0 154371249 14314082304 6519 33554432000 4194304 4196468 140720699165040 139890541527968 139890537307542 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
[pid=6093/tid=6095] ppid=6091 vsize=13978596 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/6093/task/6095/stat : 6095 (java) S 6091 6091 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154371249 14314082304 6519 33554432000 4194304 4196468 140720699165040 139890509138448 139890537305813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
[pid=6093/tid=6096] ppid=6091 vsize=13978596 memory=140457936578176 CPUtime=0 cores=1,3,5,7
/proc/6093/task/6096/stat : 6096 (java) S 6091 6091 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154371249 14314082304 6519 33554432000 4194304 4196468 140720699165040 139890131835536 139890537305813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
[pid=6093/tid=6097] ppid=6091 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6093/task/6097/stat : 6097 (java) S 6091 6091 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154371249 14314082304 6519 33554432000 4194304 4196468 140720699165040 139890130782480 139890537305813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
[pid=6093/tid=6098] ppid=6091 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6093/task/6098/stat : 6098 (java) S 6091 6091 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154371249 14314082304 6519 33554432000 4194304 4196468 140720699165040 139890129729936 139890537305813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
[pid=6093/tid=6099] ppid=6091 vsize=13978596 memory=140457936578176 CPUtime=0 cores=1,3,5,7
/proc/6093/task/6099/stat : 6099 (java) S 6091 6091 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154371251 14314082304 6519 33554432000 4194304 4196468 140720699165040 139889718237936 139890537306754 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
[pid=6093/tid=6100] ppid=6091 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6093/task/6100/stat : 6100 (java) S 6091 6091 3809 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154371251 14314082304 6519 33554432000 4194304 4196468 140720699165040 139889717184160 139890537305813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
[pid=6093/tid=6101] ppid=6091 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6093/task/6101/stat : 6101 (java) S 6091 6091 3809 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154371251 14314082304 6519 33554432000 4194304 4196468 140720699165040 139889716131056 139890537305813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
[pid=6093/tid=6102] ppid=6091 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6093/task/6102/stat : 6102 (java) S 6091 6091 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154371254 14314082304 6519 33554432000 4194304 4196468 140720699165040 139889715079632 139890537314203 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
[pid=6093/tid=6103] ppid=6091 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6093/task/6103/stat : 6103 (java) S 6091 6091 3809 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 15 0 154371254 14314082304 6519 33554432000 4194304 4196468 140720699165040 139889714026736 139890537306754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
[pid=6093/tid=6104] ppid=6091 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6093/task/6104/stat : 6104 (java) S 6091 6091 3809 0 -1 1077944384 131 0 0 0 0 0 0 0 20 0 15 0 154371254 14314082304 6519 33554432000 4194304 4196468 140720699165040 139889712974192 139890537306754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
[pid=6093/tid=6105] ppid=6091 vsize=13978596 memory=140457936578176 CPUtime=0.01 cores=1,3,5,7
/proc/6093/task/6105/stat : 6105 (java) R 6091 6091 3809 0 -1 4202560 296 0 0 0 1 0 0 0 20 0 15 0 154371254 14314082304 6519 33554432000 4194304 4196468 140720699165040 139889711921136 139890515664463 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
[pid=6093/tid=6106] ppid=6091 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6093/task/6106/stat : 6106 (java) S 6091 6091 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154371254 14314082304 6519 33554432000 4194304 4196468 140720699165040 139889710868832 139890537305813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
[pid=6093/tid=6107] ppid=6091 vsize=13978596 memory=140457936578176 CPUtime=0 cores=1,3,5,7
/proc/6093/task/6107/stat : 6107 (java) S 6091 6091 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154371254 14314082304 6519 33554432000 4194304 4196468 140720699165040 139889709816880 139890537306754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 27460 KiB
[startup+0.21036 s]*
/proc/loadavg: 1.93 2.03 1.92 4/217 6107
/proc/meminfo: memFree=23364600/32770624 swapFree=67108860/67108860
[pid=6091] ppid=6088 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/6091/stat : 6091 (xcsp3-exec) S 6088 6091 3809 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154371248 9740288 346 33554432000 4194304 5098028 140737039331120 140737039329224 140094680748668 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27582464 140737039336565 140737039336768 140737039336768 140737039339499 0
/proc/6091/statm: 2378 346 289 221 0 87 0
[pid=6093] ppid=6091 vsize=13982852 memory=39284 CPUtime=0.34 cores=1,3,5,7
/proc/6093/stat : 6093 (java) S 6091 6091 3809 0 -1 1077944320 8369 0 0 0 32 2 0 0 20 0 15 0 154371248 14318440448 9821 33554432000 4194304 4196468 140720699165040 140720699147584 139890537295607 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
/proc/6093/statm: 3495713 9821 3070 1 0 3482966 0
[pid=6093/tid=6094] ppid=6091 vsize=13982852 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/6093/task/6094/stat : 6094 (java) R 6091 6091 3809 0 -1 4202560 5318 0 0 0 18 1 0 0 20 0 15 0 154371249 14318440448 9821 33554432000 4194304 4196468 140720699165040 139890541512448 139890521376094 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
[pid=6093/tid=6095] ppid=6091 vsize=13982852 memory=8944 CPUtime=0 cores=1,3,5,7
/proc/6093/task/6095/stat : 6095 (java) S 6091 6091 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154371249 14318440448 9821 33554432000 4194304 4196468 140720699165040 139890509138448 139890537305813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
[pid=6093/tid=6096] ppid=6091 vsize=13982852 memory=140457937112029 CPUtime=0 cores=1,3,5,7
/proc/6093/task/6096/stat : 6096 (java) S 6091 6091 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154371249 14318440448 9821 33554432000 4194304 4196468 140720699165040 139890131835536 139890537305813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
[pid=6093/tid=6097] ppid=6091 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6093/task/6097/stat : 6097 (java) S 6091 6091 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154371249 14318440448 9821 33554432000 4194304 4196468 140720699165040 139890130782480 139890537305813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
[pid=6093/tid=6098] ppid=6091 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6093/task/6098/stat : 6098 (java) S 6091 6091 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154371249 14318440448 9821 33554432000 4194304 4196468 140720699165040 139890129729936 139890537305813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
[pid=6093/tid=6099] ppid=6091 vsize=13982852 memory=140457936578176 CPUtime=0 cores=1,3,5,7
/proc/6093/task/6099/stat : 6099 (java) S 6091 6091 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154371251 14318440448 9821 33554432000 4194304 4196468 140720699165040 139889718237936 139890537306754 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
[pid=6093/tid=6100] ppid=6091 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6093/task/6100/stat : 6100 (java) S 6091 6091 3809 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154371251 14318440448 9821 33554432000 4194304 4196468 140720699165040 139889717184160 139890537305813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
[pid=6093/tid=6101] ppid=6091 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6093/task/6101/stat : 6101 (java) S 6091 6091 3809 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154371251 14318440448 9821 33554432000 4194304 4196468 140720699165040 139889716131056 139890537305813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
[pid=6093/tid=6102] ppid=6091 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6093/task/6102/stat : 6102 (java) S 6091 6091 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154371254 14318440448 9821 33554432000 4194304 4196468 140720699165040 139889715079632 139890537314203 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
[pid=6093/tid=6103] ppid=6091 vsize=13982852 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/6093/task/6103/stat : 6103 (java) S 6091 6091 3809 0 -1 1077944384 564 0 0 0 2 0 0 0 20 0 15 0 154371254 14318440448 9821 33554432000 4194304 4196468 140720699165040 139889714026736 139890537306754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
[pid=6093/tid=6104] ppid=6091 vsize=13982852 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/6093/task/6104/stat : 6104 (java) S 6091 6091 3809 0 -1 1077944384 280 0 0 0 2 0 0 0 20 0 15 0 154371254 14318440448 9821 33554432000 4194304 4196468 140720699165040 139889712974192 139890537306754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
[pid=6093/tid=6105] ppid=6091 vsize=13982852 memory=140457936578176 CPUtime=0.08 cores=1,3,5,7
/proc/6093/task/6105/stat : 6105 (java) S 6091 6091 3809 0 -1 1077944384 910 0 0 0 8 0 0 0 20 0 15 0 154371254 14318440448 9821 33554432000 4194304 4196468 140720699165040 139889711921136 139890537306754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
[pid=6093/tid=6106] ppid=6091 vsize=13982884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6093/task/6106/stat : 6106 (java) S 6091 6091 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154371254 14318473216 9821 33554432000 4194304 4196468 140720699165040 139889710868832 139890537305813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
[pid=6093/tid=6107] ppid=6091 vsize=13982884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6093/task/6107/stat : 6107 (java) S 6091 6091 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154371254 14318473216 9821 33554432000 4194304 4196468 140720699165040 139889709816880 139890537306754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 40668 KiB
[startup+0.310536 s]*
/proc/loadavg: 1.93 2.03 1.92 4/217 6107
/proc/meminfo: memFree=23357748/32770624 swapFree=67108860/67108860
[pid=6091] ppid=6088 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/6091/stat : 6091 (xcsp3-exec) S 6088 6091 3809 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154371248 9740288 346 33554432000 4194304 5098028 140737039331120 140737039329224 140094680748668 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27582464 140737039336565 140737039336768 140737039336768 140737039339499 0
/proc/6091/statm: 2378 346 289 221 0 87 0
[pid=6093] ppid=6091 vsize=13982852 memory=46792 CPUtime=0.51 cores=1,3,5,7
/proc/6093/stat : 6093 (java) S 6091 6091 3809 0 -1 1077944320 9380 0 0 0 48 3 0 0 20 0 15 0 154371248 14318440448 11698 33554432000 4194304 4196468 140720699165040 140720699147584 139890537295607 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
/proc/6093/statm: 3495713 11698 3106 1 0 3482966 0
[pid=6093/tid=6094] ppid=6091 vsize=13982852 memory=8112282956445269571 CPUtime=0.29 cores=1,3,5,7
/proc/6093/task/6094/stat : 6094 (java) R 6091 6091 3809 0 -1 4202560 6012 0 0 0 27 2 0 0 20 0 15 0 154371249 14318440448 11698 33554432000 4194304 4196468 140720699165040 139890541521840 139890521376094 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
[pid=6093/tid=6095] ppid=6091 vsize=13982852 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/6093/task/6095/stat : 6095 (java) S 6091 6091 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154371249 14318440448 11698 33554432000 4194304 4196468 140720699165040 139890509138448 139890537305813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
[pid=6093/tid=6096] ppid=6091 vsize=13982852 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/6093/task/6096/stat : 6096 (java) S 6091 6091 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154371249 14318440448 11698 33554432000 4194304 4196468 140720699165040 139890131835536 139890537305813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
[pid=6093/tid=6097] ppid=6091 vsize=13982852 memory=-5587046532246807594 CPUtime=0 cores=1,3,5,7
/proc/6093/task/6097/stat : 6097 (java) S 6091 6091 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154371249 14318440448 11698 33554432000 4194304 4196468 140720699165040 139890130782480 139890537305813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
[pid=6093/tid=6098] ppid=6091 vsize=13982852 memory=7307460116655545206 CPUtime=0 cores=1,3,5,7
/proc/6093/task/6098/stat : 6098 (java) S 6091 6091 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154371249 14318440448 11698 33554432000 4194304 4196468 140720699165040 139890129729936 139890537305813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
[pid=6093/tid=6099] ppid=6091 vsize=13982852 memory=7016714186490735262 CPUtime=0 cores=1,3,5,7
/proc/6093/task/6099/stat : 6099 (java) S 6091 6091 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154371251 14318440448 11698 33554432000 4194304 4196468 140720699165040 139889718237936 139890537306754 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
[pid=6093/tid=6100] ppid=6091 vsize=13982852 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/6093/task/6100/stat : 6100 (java) S 6091 6091 3809 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154371251 14318440448 11698 33554432000 4194304 4196468 140720699165040 139889717184160 139890537305813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
[pid=6093/tid=6101] ppid=6091 vsize=13982852 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/6093/task/6101/stat : 6101 (java) S 6091 6091 3809 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154371251 14318440448 11698 33554432000 4194304 4196468 140720699165040 139889716131056 139890537305813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
[pid=6093/tid=6102] ppid=6091 vsize=13982852 memory=8693815914432465728 CPUtime=0 cores=1,3,5,7
/proc/6093/task/6102/stat : 6102 (java) S 6091 6091 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154371254 14318440448 11698 33554432000 4194304 4196468 140720699165040 139889715079632 139890537314203 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
[pid=6093/tid=6103] ppid=6091 vsize=13982852 memory=7100839887185294217 CPUtime=0.04 cores=1,3,5,7
/proc/6093/task/6103/stat : 6103 (java) R 6091 6091 3809 0 -1 1077944384 678 0 0 0 4 0 0 0 20 0 15 0 154371254 14318440448 11698 33554432000 4194304 4196468 140720699165040 139889714026832 139890537305813 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
[pid=6093/tid=6104] ppid=6091 vsize=13982852 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/6093/task/6104/stat : 6104 (java) S 6091 6091 3809 0 -1 1077944384 289 0 0 0 3 0 0 0 20 0 15 0 154371254 14318440448 11698 33554432000 4194304 4196468 140720699165040 139889712974192 139890537306754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
[pid=6093/tid=6105] ppid=6091 vsize=13982852 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/6093/task/6105/stat : 6105 (java) R 6091 6091 3809 0 -1 4202560 1098 0 0 0 13 0 0 0 20 0 15 0 154371254 14318440448 11698 33554432000 4194304 4196468 140720699165040 139889711917088 139890515423553 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
[pid=6093/tid=6106] ppid=6091 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6093/task/6106/stat : 6106 (java) S 6091 6091 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154371254 14318440448 11698 33554432000 4194304 4196468 140720699165040 139889710868832 139890537305813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
[pid=6093/tid=6107] ppid=6091 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6093/task/6107/stat : 6107 (java) S 6091 6091 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154371254 14318440448 11698 33554432000 4194304 4196468 140720699165040 139889709816880 139890537306754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48176 KiB
[startup+0.704553 s]
/proc/loadavg: 1.93 2.03 1.92 6/217 6107
/proc/meminfo: memFree=23341744/32770624 swapFree=67108860/67108860
[pid=6091] ppid=6088 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/6091/stat : 6091 (xcsp3-exec) S 6088 6091 3809 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154371248 9740288 346 33554432000 4194304 5098028 140737039331120 140737039329224 140094680748668 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27582464 140737039336565 140737039336768 140737039336768 140737039339499 0
/proc/6091/statm: 2378 346 289 221 0 87 0
[pid=6093] ppid=6091 vsize=13984976 memory=72052 CPUtime=1.56 cores=1,3,5,7
/proc/6093/stat : 6093 (java) S 6091 6091 3809 0 -1 1077944320 12257 0 0 0 151 5 0 0 20 0 15 0 154371248 14320615424 18013 33554432000 4194304 4196468 140720699165040 140720699147584 139890537295607 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
/proc/6093/statm: 3496244 18013 3208 1 0 3483478 0
[pid=6093/tid=6094] ppid=6091 vsize=13984976 memory=1728 CPUtime=0.67 cores=1,3,5,7
/proc/6093/task/6094/stat : 6094 (java) R 6091 6091 3809 0 -1 4202560 6975 0 0 0 64 3 0 0 20 0 15 0 154371249 14320615424 18013 33554432000 4194304 4196468 140720699165040 139890541534224 139890173474162 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
[pid=6093/tid=6095] ppid=6091 vsize=13984976 memory=1716 CPUtime=0 cores=1,3,5,7
/proc/6093/task/6095/stat : 6095 (java) S 6091 6091 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154371249 14320615424 18013 33554432000 4194304 4196468 140720699165040 139890509138448 139890537305813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
[pid=6093/tid=6096] ppid=6091 vsize=13984976 memory=796 CPUtime=0 cores=1,3,5,7
/proc/6093/task/6096/stat : 6096 (java) S 6091 6091 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154371249 14320615424 18013 33554432000 4194304 4196468 140720699165040 139890131835536 139890537305813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
[pid=6093/tid=6097] ppid=6091 vsize=13984976 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/6093/task/6097/stat : 6097 (java) S 6091 6091 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154371249 14320615424 18013 33554432000 4194304 4196468 140720699165040 139890130782480 139890537305813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
[pid=6093/tid=6098] ppid=6091 vsize=13984976 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/6093/task/6098/stat : 6098 (java) S 6091 6091 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154371249 14320615424 18013 33554432000 4194304 4196468 140720699165040 139890129729936 139890537305813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
[pid=6093/tid=6099] ppid=6091 vsize=13984976 memory=8612 CPUtime=0 cores=1,3,5,7
/proc/6093/task/6099/stat : 6099 (java) S 6091 6091 3809 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154371251 14320615424 18013 33554432000 4194304 4196468 140720699165040 139889718237936 139890537306754 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
[pid=6093/tid=6100] ppid=6091 vsize=13984976 memory=5784 CPUtime=0 cores=1,3,5,7
/proc/6093/task/6100/stat : 6100 (java) S 6091 6091 3809 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154371251 14320615424 18013 33554432000 4194304 4196468 140720699165040 139889717184160 139890537305813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
[pid=6093/tid=6101] ppid=6091 vsize=13984976 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/6093/task/6101/stat : 6101 (java) S 6091 6091 3809 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154371251 14320615424 18013 33554432000 4194304 4196468 140720699165040 139889716131056 139890537305813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
[pid=6093/tid=6102] ppid=6091 vsize=13984976 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/6093/task/6102/stat : 6102 (java) S 6091 6091 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154371254 14320615424 18013 33554432000 4194304 4196468 140720699165040 139889715079632 139890537314203 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
[pid=6093/tid=6103] ppid=6091 vsize=13984976 memory=11112 CPUtime=0.22 cores=1,3,5,7
/proc/6093/task/6103/stat : 6103 (java) R 6091 6091 3809 0 -1 4202560 1244 0 0 0 22 0 0 0 20 0 15 0 154371254 14320615424 18013 33554432000 4194304 4196468 140720699165040 139889714026736 139890516512896 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
[pid=6093/tid=6104] ppid=6091 vsize=13984976 memory=1228 CPUtime=0.22 cores=1,3,5,7
/proc/6093/task/6104/stat : 6104 (java) R 6091 6091 3809 0 -1 4202560 777 0 0 0 22 0 0 0 20 0 15 0 154371254 14320615424 18013 33554432000 4194304 4196468 140720699165040 139889712965024 139890521688931 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
[pid=6093/tid=6105] ppid=6091 vsize=13984976 memory=1420 CPUtime=0.41 cores=1,3,5,7
/proc/6093/task/6105/stat : 6105 (java) R 6091 6091 3809 0 -1 1077944384 1953 0 0 0 41 0 0 0 20 0 15 0 154371254 14320615424 18013 33554432000 4194304 4196468 140720699165040 139889711921136 139890537306754 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
[pid=6093/tid=6106] ppid=6091 vsize=13984976 memory=15876 CPUtime=0 cores=1,3,5,7
/proc/6093/task/6106/stat : 6106 (java) S 6091 6091 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154371254 14320615424 18013 33554432000 4194304 4196468 140720699165040 139889710868832 139890537305813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
[pid=6093/tid=6107] ppid=6091 vsize=13984976 memory=16448 CPUtime=0 cores=1,3,5,7
/proc/6093/task/6107/stat : 6107 (java) S 6091 6091 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154371254 14320615424 18013 33554432000 4194304 4196468 140720699165040 139889709816880 139890537306754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
Current children cumulated CPU time: 1.56 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 73436 KiB
[startup+1.50087 s]
/proc/loadavg: 1.93 2.03 1.92 5/217 6107
/proc/meminfo: memFree=23308684/32770624 swapFree=67108860/67108860
[pid=6091] ppid=6088 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/6091/stat : 6091 (xcsp3-exec) S 6088 6091 3809 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154371248 9740288 346 33554432000 4194304 5098028 140737039331120 140737039329224 140094680748668 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27582464 140737039336565 140737039336768 140737039336768 140737039339499 0
/proc/6091/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/6093/task/6101/stat : 6101 (java) S 6091 6091 3809 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 154371251 14320615424 80389 33554432000 4194304 4196468 140720699165040 139889716131056 139890537305813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
[pid=6093/tid=6102] ppid=6091 vsize=13984976 memory=302000 CPUtime=0 cores=1,3,5,7
/proc/6093/task/6102/stat : 6102 (java) S 6091 6091 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154371254 14320615424 80389 33554432000 4194304 4196468 140720699165040 139889715079632 139890537314203 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
[pid=6093/tid=6103] ppid=6091 vsize=13984976 memory=2548 CPUtime=4.19 cores=1,3,5,7
/proc/6093/task/6103/stat : 6103 (java) S 6091 6091 3809 0 -1 1077944384 19983 0 0 0 417 2 0 0 20 0 15 0 154371254 14320615424 80389 33554432000 4194304 4196468 140720699165040 139889714026736 139890537306754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
[pid=6093/tid=6104] ppid=6091 vsize=13984976 memory=42876 CPUtime=4.11 cores=1,3,5,7
/proc/6093/task/6104/stat : 6104 (java) S 6091 6091 3809 0 -1 1077944384 20987 0 0 0 409 2 0 0 20 0 15 0 154371254 14320615424 80389 33554432000 4194304 4196468 140720699165040 139889712974192 139890537306754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
[pid=6093/tid=6105] ppid=6091 vsize=13984976 memory=1296 CPUtime=0.77 cores=1,3,5,7
/proc/6093/task/6105/stat : 6105 (java) S 6091 6091 3809 0 -1 1077944384 7884 0 0 0 75 2 0 0 20 0 15 0 154371254 14320615424 80389 33554432000 4194304 4196468 140720699165040 139889711921136 139890537306754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
[pid=6093/tid=6106] ppid=6091 vsize=13984976 memory=2428 CPUtime=0 cores=1,3,5,7
/proc/6093/task/6106/stat : 6106 (java) S 6091 6091 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154371254 14320615424 80389 33554432000 4194304 4196468 140720699165040 139889710868832 139890537305813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
[pid=6093/tid=6107] ppid=6091 vsize=13984976 memory=1384 CPUtime=0.03 cores=1,3,5,7
/proc/6093/task/6107/stat : 6107 (java) S 6091 6091 3809 0 -1 1077944384 489 0 0 0 1 2 0 0 20 0 15 0 154371254 14320615424 80389 33554432000 4194304 4196468 140720699165040 139889709816880 139890537306754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
Current children cumulated CPU time: 113.33 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 322940 KiB
[startup+162.301 s]
/proc/loadavg: 1.90 1.95 1.91 3/217 6264
/proc/meminfo: memFree=23054408/32770624 swapFree=67108860/67108860
[pid=6091] ppid=6088 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/6091/stat : 6091 (xcsp3-exec) S 6088 6091 3809 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154371248 9740288 346 33554432000 4194304 5098028 140737039331120 140737039329224 140094680748668 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27582464 140737039336565 140737039336768 140737039336768 140737039339499 0
/proc/6091/statm: 2378 346 289 221 0 87 0
[pid=6093] ppid=6091 vsize=13984976 memory=477168 CPUtime=175.06 cores=1,3,5,7
/proc/6093/stat : 6093 (java) S 6091 6091 3809 0 -1 1077944320 83783 0 0 0 17440 66 0 0 20 0 15 0 154371248 14320615424 119292 33554432000 4194304 4196468 140720699165040 140720699147584 139890537295607 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
/proc/6093/statm: 3496244 119292 3266 1 0 3483478 0
[pid=6093/tid=6094] ppid=6091 vsize=13984976 memory=477168 CPUtime=160.91 cores=1,3,5,7
/proc/6093/task/6094/stat : 6094 (java) R 6091 6091 3809 0 -1 4202560 16964 0 0 0 16085 6 0 0 20 0 15 0 154371249 14320615424 119292 33554432000 4194304 4196468 140720699165040 139890541535024 139890178635608 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
[pid=6093/tid=6095] ppid=6091 vsize=13984976 memory=1384 CPUtime=1.18 cores=1,3,5,7
/proc/6093/task/6095/stat : 6095 (java) S 6091 6091 3809 0 -1 1077944384 2707 0 0 0 107 11 0 0 20 0 15 0 154371249 14320615424 119292 33554432000 4194304 4196468 140720699165040 139890509138448 139890537305813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
[pid=6093/tid=6096] ppid=6091 vsize=13984976 memory=477168 CPUtime=1.16 cores=1,3,5,7
/proc/6093/task/6096/stat : 6096 (java) S 6091 6091 3809 0 -1 1077944384 2103 0 0 0 104 12 0 0 20 0 15 0 154371249 14320615424 119292 33554432000 4194304 4196468 140720699165040 139890131835536 139890537305813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
[pid=6093/tid=6097] ppid=6091 vsize=13984976 memory=1384 CPUtime=1.17 cores=1,3,5,7
/proc/6093/task/6097/stat : 6097 (java) S 6091 6091 3809 0 -1 1077944384 2666 0 0 0 106 11 0 0 20 0 15 0 154371249 14320615424 119292 33554432000 4194304 4196468 140720699165040 139890130782480 139890537305813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
[pid=6093/tid=6098] ppid=6091 vsize=13984976 memory=464624 CPUtime=1.15 cores=1,3,5,7
/proc/6093/task/6098/stat : 6098 (java) S 6091 6091 3809 0 -1 1077944384 2653 0 0 0 105 10 0 0 20 0 15 0 154371249 14320615424 119292 33554432000 4194304 4196468 140720699165040 139890129729936 139890537305813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
[pid=6093/tid=6099] ppid=6091 vsize=13984976 memory=464624 CPUtime=0.09 cores=1,3,5,7
/proc/6093/task/6099/stat : 6099 (java) S 6091 6091 3809 0 -1 1077944384 1674 0 0 0 8 1 0 0 20 0 15 0 154371251 14320615424 119292 33554432000 4194304 4196468 140720699165040 139889718237936 139890537306754 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
[pid=6093/tid=6100] ppid=6091 vsize=13984976 memory=477168 CPUtime=0 cores=1,3,5,7
/proc/6093/task/6100/stat : 6100 (java) S 6091 6091 3809 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 154371251 14320615424 119292 33554432000 4194304 4196468 140720699165040 139889717184160 139890537305813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
[pid=6093/tid=6101] ppid=6091 vsize=13984976 memory=477168 CPUtime=0 cores=1,3,5,7
/proc/6093/task/6101/stat : 6101 (java) S 6091 6091 3809 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 154371251 14320615424 119292 33554432000 4194304 4196468 140720699165040 139889716131056 139890537305813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
[pid=6093/tid=6102] ppid=6091 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/6093/task/6102/stat : 6102 (java) S 6091 6091 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154371254 14320615424 119292 33554432000 4194304 4196468 140720699165040 139889715079632 139890537314203 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
[pid=6093/tid=6103] ppid=6091 vsize=13984976 memory=1384 CPUtime=4.21 cores=1,3,5,7
/proc/6093/task/6103/stat : 6103 (java) S 6091 6091 3809 0 -1 1077944384 21067 0 0 0 419 2 0 0 20 0 15 0 154371254 14320615424 119292 33554432000 4194304 4196468 140720699165040 139889714026736 139890537306754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
[pid=6093/tid=6104] ppid=6091 vsize=13984976 memory=452132 CPUtime=4.24 cores=1,3,5,7
/proc/6093/task/6104/stat : 6104 (java) S 6091 6091 3809 0 -1 1077944384 23297 0 0 0 422 2 0 0 20 0 15 0 154371254 14320615424 119292 33554432000 4194304 4196468 140720699165040 139889712974192 139890537306754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
[pid=6093/tid=6105] ppid=6091 vsize=13984976 memory=1384 CPUtime=0.78 cores=1,3,5,7
/proc/6093/task/6105/stat : 6105 (java) S 6091 6091 3809 0 -1 1077944384 8787 0 0 0 76 2 0 0 20 0 15 0 154371254 14320615424 119292 33554432000 4194304 4196468 140720699165040 139889711921136 139890537306754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
[pid=6093/tid=6106] ppid=6091 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/6093/task/6106/stat : 6106 (java) S 6091 6091 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154371254 14320615424 119292 33554432000 4194304 4196468 140720699165040 139889710868832 139890537305813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
[pid=6093/tid=6107] ppid=6091 vsize=13984976 memory=1384 CPUtime=0.06 cores=1,3,5,7
/proc/6093/task/6107/stat : 6107 (java) S 6091 6091 3809 0 -1 1077944384 519 0 0 0 2 4 0 0 20 0 15 0 154371254 14320615424 119292 33554432000 4194304 4196468 140720699165040 139889709816880 139890537306754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
Current children cumulated CPU time: 175.06 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 478552 KiB
[startup+222.301 s]
/proc/loadavg: 1.45 1.82 1.87 3/217 6265
/proc/meminfo: memFree=23187596/32770624 swapFree=67108860/67108860
[pid=6091] ppid=6088 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/6091/stat : 6091 (xcsp3-exec) S 6088 6091 3809 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154371248 9740288 346 33554432000 4194304 5098028 140737039331120 140737039329224 140094680748668 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27582464 140737039336565 140737039336768 140737039336768 140737039339499 0
/proc/6091/statm: 2378 346 289 221 0 87 0
[pid=6093] ppid=6091 vsize=13984976 memory=368672 CPUtime=236.64 cores=1,3,5,7
/proc/6093/stat : 6093 (java) S 6091 6091 3809 0 -1 1077944320 92368 0 0 0 23586 78 0 0 20 0 15 0 154371248 14320615424 92168 33554432000 4194304 4196468 140720699165040 140720699147584 139890537295607 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
/proc/6093/statm: 3496244 92168 3281 1 0 3483478 0
[pid=6093/tid=6094] ppid=6091 vsize=13984976 memory=370528 CPUtime=220.3 cores=1,3,5,7
/proc/6093/task/6094/stat : 6094 (java) R 6091 6091 3809 0 -1 4202560 18197 0 0 0 22024 6 0 0 20 0 15 0 154371249 14320615424 92168 33554432000 4194304 4196468 140720699165040 139890541535040 139890178339609 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
[pid=6093/tid=6095] ppid=6091 vsize=13984976 memory=368672 CPUtime=1.68 cores=1,3,5,7
/proc/6093/task/6095/stat : 6095 (java) S 6091 6091 3809 0 -1 1077944384 3453 0 0 0 155 13 0 0 20 0 15 0 154371249 14320615424 92168 33554432000 4194304 4196468 140720699165040 139890509138448 139890537305813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
[pid=6093/tid=6096] ppid=6091 vsize=13984976 memory=1384 CPUtime=1.69 cores=1,3,5,7
/proc/6093/task/6096/stat : 6096 (java) S 6091 6091 3809 0 -1 1077944384 3042 0 0 0 154 15 0 0 20 0 15 0 154371249 14320615424 92168 33554432000 4194304 4196468 140720699165040 139890131835536 139890537305813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
[pid=6093/tid=6097] ppid=6091 vsize=13984976 memory=1384 CPUtime=1.69 cores=1,3,5,7
/proc/6093/task/6097/stat : 6097 (java) S 6091 6091 3809 0 -1 1077944384 3374 0 0 0 155 14 0 0 20 0 15 0 154371249 14320615424 92168 33554432000 4194304 4196468 140720699165040 139890130782480 139890537305813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
[pid=6093/tid=6098] ppid=6091 vsize=13984976 memory=1008 CPUtime=1.67 cores=1,3,5,7
/proc/6093/task/6098/stat : 6098 (java) S 6091 6091 3809 0 -1 1077944384 3365 0 0 0 154 13 0 0 20 0 15 0 154371249 14320615424 92168 33554432000 4194304 4196468 140720699165040 139890129729936 139890537305813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
[pid=6093/tid=6099] ppid=6091 vsize=13984976 memory=372552 CPUtime=0.13 cores=1,3,5,7
/proc/6093/task/6099/stat : 6099 (java) S 6091 6091 3809 0 -1 1077944384 4379 0 0 0 11 2 0 0 20 0 15 0 154371251 14320615424 92168 33554432000 4194304 4196468 140720699165040 139889718237936 139890537306754 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
[pid=6093/tid=6100] ppid=6091 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/6093/task/6100/stat : 6100 (java) S 6091 6091 3809 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 154371251 14320615424 92168 33554432000 4194304 4196468 140720699165040 139889717184160 139890537305813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
[pid=6093/tid=6101] ppid=6091 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/6093/task/6101/stat : 6101 (java) S 6091 6091 3809 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 154371251 14320615424 92168 33554432000 4194304 4196468 140720699165040 139889716131056 139890537305813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
[pid=6093/tid=6102] ppid=6091 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/6093/task/6102/stat : 6102 (java) S 6091 6091 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154371254 14320615424 92168 33554432000 4194304 4196468 140720699165040 139889715079632 139890537314203 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
[pid=6093/tid=6103] ppid=6091 vsize=13984976 memory=370724 CPUtime=4.26 cores=1,3,5,7
/proc/6093/task/6103/stat : 6103 (java) S 6091 6091 3809 0 -1 1077944384 22344 0 0 0 424 2 0 0 20 0 15 0 154371254 14320615424 92168 33554432000 4194304 4196468 140720699165040 139889714026736 139890537306754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
[pid=6093/tid=6104] ppid=6091 vsize=13984976 memory=1384 CPUtime=4.24 cores=1,3,5,7
/proc/6093/task/6104/stat : 6104 (java) S 6091 6091 3809 0 -1 1077944384 23299 0 0 0 422 2 0 0 20 0 15 0 154371254 14320615424 92168 33554432000 4194304 4196468 140720699165040 139889712974192 139890537306754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
[pid=6093/tid=6105] ppid=6091 vsize=13984976 memory=373576 CPUtime=0.78 cores=1,3,5,7
/proc/6093/task/6105/stat : 6105 (java) S 6091 6091 3809 0 -1 1077944384 9034 0 0 0 76 2 0 0 20 0 15 0 154371254 14320615424 92168 33554432000 4194304 4196468 140720699165040 139889711921136 139890537306754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
[pid=6093/tid=6106] ppid=6091 vsize=13984976 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/6093/task/6106/stat : 6106 (java) S 6091 6091 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154371254 14320615424 92168 33554432000 4194304 4196468 140720699165040 139889710868832 139890537305813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
[pid=6093/tid=6107] ppid=6091 vsize=13984976 memory=1728 CPUtime=0.09 cores=1,3,5,7
/proc/6093/task/6107/stat : 6107 (java) S 6091 6091 3809 0 -1 1077944384 535 0 0 0 4 5 0 0 20 0 15 0 154371254 14320615424 92168 33554432000 4194304 4196468 140720699165040 139889709816880 139890537306754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
Current children cumulated CPU time: 236.64 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 370056 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 1.42 1.80 1.86 3/217 6265
/proc/meminfo: memFree=23199572/32770624 swapFree=67108860/67108860
[pid=6091] ppid=6088 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/6091/stat : 6091 (xcsp3-exec) S 6088 6091 3809 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154371248 9740288 346 33554432000 4194304 5098028 140737039331120 140737039329224 140094680748668 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27582464 140737039336565 140737039336768 140737039336768 140737039339499 0
/proc/6091/statm: 2378 346 289 221 0 87 0
[pid=6093] ppid=6091 vsize=13984976 memory=349288 CPUtime=254.89 cores=1,3,5,7
/proc/6093/stat : 6093 (java) S 6091 6091 3809 0 -1 1077944320 94473 0 0 0 25410 79 0 0 20 0 15 0 154371248 14320615424 87322 33554432000 4194304 4196468 140720699165040 140720699147584 139890537295607 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
/proc/6093/statm: 3496244 87322 3282 1 0 3483478 0
[pid=6093/tid=6094] ppid=6091 vsize=13984976 memory=8112282956445269571 CPUtime=237.81 cores=1,3,5,7
/proc/6093/task/6094/stat : 6094 (java) R 6091 6091 3809 0 -1 4202560 18221 0 0 0 23775 6 0 0 20 0 15 0 154371249 14320615424 87322 33554432000 4194304 4196468 140720699165040 139890541535040 139890182122651 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
[pid=6093/tid=6095] ppid=6091 vsize=13984976 memory=4126316290023845779 CPUtime=1.87 cores=1,3,5,7
/proc/6093/task/6095/stat : 6095 (java) S 6091 6091 3809 0 -1 1077944384 3495 0 0 0 173 14 0 0 20 0 15 0 154371249 14320615424 87322 33554432000 4194304 4196468 140720699165040 139890509138448 139890537305813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
[pid=6093/tid=6096] ppid=6091 vsize=13984976 memory=16448 CPUtime=1.86 cores=1,3,5,7
/proc/6093/task/6096/stat : 6096 (java) S 6091 6091 3809 0 -1 1077944384 3140 0 0 0 171 15 0 0 20 0 15 0 154371249 14320615424 87322 33554432000 4194304 4196468 140720699165040 139890131835536 139890537305813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
[pid=6093/tid=6097] ppid=6091 vsize=13984976 memory=23752 CPUtime=1.87 cores=1,3,5,7
/proc/6093/task/6097/stat : 6097 (java) S 6091 6091 3809 0 -1 1077944384 3425 0 0 0 173 14 0 0 20 0 15 0 154371249 14320615424 87322 33554432000 4194304 4196468 140720699165040 139890130782480 139890537305813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
[pid=6093/tid=6098] ppid=6091 vsize=13984976 memory=4048 CPUtime=1.85 cores=1,3,5,7
/proc/6093/task/6098/stat : 6098 (java) S 6091 6091 3809 0 -1 1077944384 3422 0 0 0 172 13 0 0 20 0 15 0 154371249 14320615424 87322 33554432000 4194304 4196468 140720699165040 139890129729936 139890537305813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
[pid=6093/tid=6099] ppid=6091 vsize=13984976 memory=1236 CPUtime=0.16 cores=1,3,5,7
/proc/6093/task/6099/stat : 6099 (java) S 6091 6091 3809 0 -1 1077944384 6046 0 0 0 13 3 0 0 20 0 15 0 154371251 14320615424 87322 33554432000 4194304 4196468 140720699165040 139889718237936 139890537306754 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
[pid=6093/tid=6100] ppid=6091 vsize=13984976 memory=644 CPUtime=0 cores=1,3,5,7
/proc/6093/task/6100/stat : 6100 (java) S 6091 6091 3809 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 154371251 14320615424 87322 33554432000 4194304 4196468 140720699165040 139889717184160 139890537305813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
[pid=6093/tid=6101] ppid=6091 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/6093/task/6101/stat : 6101 (java) S 6091 6091 3809 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 154371251 14320615424 87322 33554432000 4194304 4196468 140720699165040 139889716131056 139890537305813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
[pid=6093/tid=6102] ppid=6091 vsize=13984976 memory=349800 CPUtime=0 cores=1,3,5,7
/proc/6093/task/6102/stat : 6102 (java) S 6091 6091 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154371254 14320615424 87322 33554432000 4194304 4196468 140720699165040 139889715079632 139890537314203 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
[pid=6093/tid=6103] ppid=6091 vsize=13984976 memory=1384 CPUtime=4.26 cores=1,3,5,7
/proc/6093/task/6103/stat : 6103 (java) S 6091 6091 3809 0 -1 1077944384 22344 0 0 0 424 2 0 0 20 0 15 0 154371254 14320615424 87322 33554432000 4194304 4196468 140720699165040 139889714026736 139890537306754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
[pid=6093/tid=6104] ppid=6091 vsize=13984976 memory=350828 CPUtime=4.24 cores=1,3,5,7
/proc/6093/task/6104/stat : 6104 (java) S 6091 6091 3809 0 -1 1077944384 23299 0 0 0 422 2 0 0 20 0 15 0 154371254 14320615424 87322 33554432000 4194304 4196468 140720699165040 139889712974192 139890537306754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
[pid=6093/tid=6105] ppid=6091 vsize=13984976 memory=28346247285226 CPUtime=0.79 cores=1,3,5,7
/proc/6093/task/6105/stat : 6105 (java) S 6091 6091 3809 0 -1 1077944384 9200 0 0 0 77 2 0 0 20 0 15 0 154371254 14320615424 87322 33554432000 4194304 4196468 140720699165040 139889711921136 139890537306754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
[pid=6093/tid=6106] ppid=6091 vsize=13984976 memory=28346247284970 CPUtime=0 cores=1,3,5,7
/proc/6093/task/6106/stat : 6106 (java) S 6091 6091 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154371254 14320615424 87322 33554432000 4194304 4196468 140720699165040 139889710868832 139890537305813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
[pid=6093/tid=6107] ppid=6091 vsize=13984976 memory=280915557470200 CPUtime=0.09 cores=1,3,5,7
/proc/6093/task/6107/stat : 6107 (java) S 6091 6091 3809 0 -1 1077944384 535 0 0 0 4 5 0 0 20 0 15 0 154371254 14320615424 87322 33554432000 4194304 4196468 140720699165040 139889709816880 139890537306754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29130752 140720699167901 140720699168076 140720699168076 140720699170767 0
Current children cumulated CPU time: 254.89 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 350672 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.02 s]
# the end of solver process 6091 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0 s, system=0.002006 s
[startup+240.025 s]
# the end of solver process 6093 was just reported to runsolver
# cumulated CPU time of all completed processes: user=254.114 s, system=0.803578 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.025
CPU time (s): 254.917
CPU user time (s): 254.114
CPU system time (s): 0.803578
CPU usage (%): 106.204
Max. virtual memory (cumulated for all children) (KiB): 13998212
Max. memory (cumulated for all children) (KiB): 546948
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 254.114
system time used= 0.803578
maximum resident set size= 549896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 95195
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= 11368
involuntary context switches= 515
# summary of solver processes directly reported to runsolver:
# pid: 6091,6093
# total CPU time (s): 254.917
# total CPU user time (s): 254.114
# total CPU system time (s): 0.803578
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.79468 second user time and 2.08775 second system time
The end