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 (5213 MiB free)
memory of node 1: 16384 MiB (12134 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284635-1503215512/watcher-4284635-1503215512 -o /tmp/evaluation-result-4284635-1503215512/solver-4284635-1503215512 -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 1042188484 HOME/instance-4284635-1503215512.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=8219, runsolver pid=8216
[startup+0.100157 s]*
/proc/loadavg: 2.20 2.06 1.88 3/217 8235
/proc/meminfo: memFree=17747012/32770624 swapFree=67108860/67108860
[pid=8219] ppid=8216 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/8219/stat : 8219 (xcsp3-exec) S 8216 8219 3809 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154638931 9740288 346 33554432000 4194304 5098028 140731567663632 140731567661736 140274725941884 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30498816 140731567666292 140731567666496 140731567666496 140731567669227 0
/proc/8219/statm: 2378 346 289 221 0 87 0
[pid=8221] ppid=8219 vsize=13978596 memory=28624 CPUtime=0.12 cores=1,3,5,7
/proc/8221/stat : 8221 (java) S 8219 8219 3809 0 -1 1077944320 5456 0 0 0 11 1 0 0 20 0 15 0 154638931 14314082304 7156 33554432000 4194304 4196468 140732612202400 140732612184944 139837371674359 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
/proc/8221/statm: 3494649 7156 2899 1 0 3482966 0
[pid=8221/tid=8222] ppid=8219 vsize=13978596 memory=7826876405883573083 CPUtime=0.09 cores=1,3,5,7
/proc/8221/task/8222/stat : 8222 (java) R 8219 8219 3809 0 -1 4202560 3461 0 0 0 9 0 0 0 20 0 15 0 154638932 14314082304 7156 33554432000 4194304 4196468 140732612202400 139837375900896 139837353236697 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
[pid=8221/tid=8223] ppid=8219 vsize=13978596 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/8221/task/8223/stat : 8223 (java) S 8219 8219 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154638933 14314082304 7156 33554432000 4194304 4196468 140732612202400 139837301762576 139837371684565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
[pid=8221/tid=8224] ppid=8219 vsize=13978596 memory=140708657669760 CPUtime=0 cores=1,3,5,7
/proc/8221/task/8224/stat : 8224 (java) S 8219 8219 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154638933 14314082304 7156 33554432000 4194304 4196468 140732612202400 139837300710032 139837371684565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
[pid=8221/tid=8225] ppid=8219 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8221/task/8225/stat : 8225 (java) S 8219 8219 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154638933 14314082304 7156 33554432000 4194304 4196468 140732612202400 139837299656976 139837371684565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
[pid=8221/tid=8226] ppid=8219 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8221/task/8226/stat : 8226 (java) S 8219 8219 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154638933 14314082304 7156 33554432000 4194304 4196468 140732612202400 139837298604432 139837371684565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
[pid=8221/tid=8227] ppid=8219 vsize=13978596 memory=140708657669760 CPUtime=0 cores=1,3,5,7
/proc/8221/task/8227/stat : 8227 (java) S 8219 8219 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154638934 14314082304 7156 33554432000 4194304 4196468 140732612202400 139836283415280 139837371685506 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
[pid=8221/tid=8228] ppid=8219 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8221/task/8228/stat : 8228 (java) S 8219 8219 3809 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154638934 14314082304 7156 33554432000 4194304 4196468 140732612202400 139836282361504 139837371684565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
[pid=8221/tid=8229] ppid=8219 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8221/task/8229/stat : 8229 (java) S 8219 8219 3809 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154638935 14314082304 7222 33554432000 4194304 4196468 140732612202400 139836281308400 139837371684565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
[pid=8221/tid=8230] ppid=8219 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8221/task/8230/stat : 8230 (java) S 8219 8219 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154638937 14314082304 7222 33554432000 4194304 4196468 140732612202400 139836280256976 139837371692955 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
[pid=8221/tid=8231] ppid=8219 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8221/task/8231/stat : 8231 (java) S 8219 8219 3809 0 -1 1077944384 420 0 0 0 0 0 0 0 20 0 15 0 154638937 14314082304 7222 33554432000 4194304 4196468 140732612202400 139836279204080 139837371685506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
[pid=8221/tid=8232] ppid=8219 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8221/task/8232/stat : 8232 (java) S 8219 8219 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154638937 14314082304 7222 33554432000 4194304 4196468 140732612202400 139836278151536 139837371685506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
[pid=8221/tid=8233] ppid=8219 vsize=13978596 memory=140708657669760 CPUtime=0.01 cores=1,3,5,7
/proc/8221/task/8233/stat : 8233 (java) R 8219 8219 3809 0 -1 4202560 335 0 0 0 1 0 0 0 20 0 15 0 154638937 14314082304 7222 33554432000 4194304 4196468 140732612202400 139836277098480 139837350630697 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
[pid=8221/tid=8234] ppid=8219 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8221/task/8234/stat : 8234 (java) S 8219 8219 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154638937 14314082304 7222 33554432000 4194304 4196468 140732612202400 139836276046176 139837371684565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
[pid=8221/tid=8235] ppid=8219 vsize=13978596 memory=140708657669760 CPUtime=0 cores=1,3,5,7
/proc/8221/task/8235/stat : 8235 (java) S 8219 8219 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154638937 14314082304 7222 33554432000 4194304 4196468 140732612202400 139836274994224 139837371685506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 30008 KiB
[startup+0.213132 s]*
/proc/loadavg: 2.20 2.06 1.88 3/217 8235
/proc/meminfo: memFree=17735848/32770624 swapFree=67108860/67108860
[pid=8219] ppid=8216 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/8219/stat : 8219 (xcsp3-exec) S 8216 8219 3809 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154638931 9740288 346 33554432000 4194304 5098028 140731567663632 140731567661736 140274725941884 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30498816 140731567666292 140731567666496 140731567666496 140731567669227 0
/proc/8219/statm: 2378 346 289 221 0 87 0
[pid=8221] ppid=8219 vsize=13982852 memory=40700 CPUtime=0.34 cores=1,3,5,7
/proc/8221/stat : 8221 (java) S 8219 8219 3809 0 -1 1077944320 8284 0 0 0 32 2 0 0 20 0 15 0 154638931 14318440448 10175 33554432000 4194304 4196468 140732612202400 140732612184944 139837371674359 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
/proc/8221/statm: 3495713 10175 3066 1 0 3482966 0
[pid=8221/tid=8222] ppid=8219 vsize=13982852 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/8221/task/8222/stat : 8222 (java) R 8219 8219 3809 0 -1 4202560 5405 0 0 0 18 1 0 0 20 0 15 0 154638932 14318440448 10175 33554432000 4194304 4196468 140732612202400 139837375885264 139837355754846 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
[pid=8221/tid=8223] ppid=8219 vsize=13982852 memory=8944 CPUtime=0 cores=1,3,5,7
/proc/8221/task/8223/stat : 8223 (java) S 8219 8219 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154638933 14318440448 10175 33554432000 4194304 4196468 140732612202400 139837301762576 139837371684565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
[pid=8221/tid=8224] ppid=8219 vsize=13982852 memory=140708657779189 CPUtime=0 cores=1,3,5,7
/proc/8221/task/8224/stat : 8224 (java) S 8219 8219 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154638933 14318440448 10175 33554432000 4194304 4196468 140732612202400 139837300710032 139837371684565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
[pid=8221/tid=8225] ppid=8219 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8221/task/8225/stat : 8225 (java) S 8219 8219 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154638933 14318440448 10175 33554432000 4194304 4196468 140732612202400 139837299656976 139837371684565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
[pid=8221/tid=8226] ppid=8219 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8221/task/8226/stat : 8226 (java) S 8219 8219 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154638933 14318440448 10175 33554432000 4194304 4196468 140732612202400 139837298604432 139837371684565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
[pid=8221/tid=8227] ppid=8219 vsize=13982852 memory=140708657669760 CPUtime=0 cores=1,3,5,7
/proc/8221/task/8227/stat : 8227 (java) S 8219 8219 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154638934 14318440448 10175 33554432000 4194304 4196468 140732612202400 139836283415280 139837371685506 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
[pid=8221/tid=8228] ppid=8219 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8221/task/8228/stat : 8228 (java) S 8219 8219 3809 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154638934 14318440448 10175 33554432000 4194304 4196468 140732612202400 139836282361504 139837371684565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
[pid=8221/tid=8229] ppid=8219 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8221/task/8229/stat : 8229 (java) S 8219 8219 3809 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154638935 14318440448 10175 33554432000 4194304 4196468 140732612202400 139836281308400 139837371684565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
[pid=8221/tid=8230] ppid=8219 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8221/task/8230/stat : 8230 (java) S 8219 8219 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154638937 14318440448 10175 33554432000 4194304 4196468 140732612202400 139836280256976 139837371692955 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
[pid=8221/tid=8231] ppid=8219 vsize=13982852 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/8221/task/8231/stat : 8231 (java) S 8219 8219 3809 0 -1 1077944384 675 0 0 0 2 0 0 0 20 0 15 0 154638937 14318440448 10175 33554432000 4194304 4196468 140732612202400 139836279204080 139837371685506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
[pid=8221/tid=8232] ppid=8219 vsize=13982852 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/8221/task/8232/stat : 8232 (java) S 8219 8219 3809 0 -1 1077944384 165 0 0 0 2 0 0 0 20 0 15 0 154638937 14318440448 10175 33554432000 4194304 4196468 140732612202400 139836278151536 139837371685506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
[pid=8221/tid=8233] ppid=8219 vsize=13982852 memory=140708657669760 CPUtime=0.08 cores=1,3,5,7
/proc/8221/task/8233/stat : 8233 (java) S 8219 8219 3809 0 -1 1077944384 739 0 0 0 8 0 0 0 20 0 15 0 154638937 14318440448 10175 33554432000 4194304 4196468 140732612202400 139836277098480 139837371685506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
[pid=8221/tid=8234] ppid=8219 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8221/task/8234/stat : 8234 (java) S 8219 8219 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154638937 14318440448 10175 33554432000 4194304 4196468 140732612202400 139836276046176 139837371684565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
[pid=8221/tid=8235] ppid=8219 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8221/task/8235/stat : 8235 (java) S 8219 8219 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154638937 14318440448 10175 33554432000 4194304 4196468 140732612202400 139836274994224 139837371685506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 42084 KiB
[startup+0.311031 s]*
/proc/loadavg: 2.20 2.06 1.88 4/217 8235
/proc/meminfo: memFree=17729024/32770624 swapFree=67108860/67108860
[pid=8219] ppid=8216 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/8219/stat : 8219 (xcsp3-exec) S 8216 8219 3809 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154638931 9740288 346 33554432000 4194304 5098028 140731567663632 140731567661736 140274725941884 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30498816 140731567666292 140731567666496 140731567666496 140731567669227 0
/proc/8219/statm: 2378 346 289 221 0 87 0
[pid=8221] ppid=8219 vsize=13982852 memory=47324 CPUtime=0.52 cores=1,3,5,7
/proc/8221/stat : 8221 (java) S 8219 8219 3809 0 -1 1077944320 8978 0 0 0 49 3 0 0 20 0 15 0 154638931 14318440448 11831 33554432000 4194304 4196468 140732612202400 140732612184944 139837371674359 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
/proc/8221/statm: 3495713 11831 3106 1 0 3482966 0
[pid=8221/tid=8222] ppid=8219 vsize=13982852 memory=8112282956445269571 CPUtime=0.29 cores=1,3,5,7
/proc/8221/task/8222/stat : 8222 (java) R 8219 8219 3809 0 -1 4202560 5935 0 0 0 27 2 0 0 20 0 15 0 154638932 14318440448 11831 33554432000 4194304 4196468 140732612202400 139837375912928 139836972771423 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
[pid=8221/tid=8223] ppid=8219 vsize=13982852 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/8221/task/8223/stat : 8223 (java) S 8219 8219 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154638933 14318440448 11831 33554432000 4194304 4196468 140732612202400 139837301762576 139837371684565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
[pid=8221/tid=8224] ppid=8219 vsize=13982852 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/8221/task/8224/stat : 8224 (java) S 8219 8219 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154638933 14318440448 11831 33554432000 4194304 4196468 140732612202400 139837300710032 139837371684565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
[pid=8221/tid=8225] ppid=8219 vsize=13982852 memory=-5587046532246807594 CPUtime=0 cores=1,3,5,7
/proc/8221/task/8225/stat : 8225 (java) S 8219 8219 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154638933 14318440448 11831 33554432000 4194304 4196468 140732612202400 139837299656976 139837371684565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
[pid=8221/tid=8226] ppid=8219 vsize=13982852 memory=7307460116655545206 CPUtime=0 cores=1,3,5,7
/proc/8221/task/8226/stat : 8226 (java) S 8219 8219 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154638933 14318440448 11831 33554432000 4194304 4196468 140732612202400 139837298604432 139837371684565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
[pid=8221/tid=8227] ppid=8219 vsize=13982852 memory=7016714186490735262 CPUtime=0 cores=1,3,5,7
/proc/8221/task/8227/stat : 8227 (java) S 8219 8219 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154638934 14318440448 11831 33554432000 4194304 4196468 140732612202400 139836283415280 139837371685506 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
[pid=8221/tid=8228] ppid=8219 vsize=13982852 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/8221/task/8228/stat : 8228 (java) S 8219 8219 3809 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154638934 14318440448 11831 33554432000 4194304 4196468 140732612202400 139836282361504 139837371684565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
[pid=8221/tid=8229] ppid=8219 vsize=13982852 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/8221/task/8229/stat : 8229 (java) S 8219 8219 3809 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154638935 14318440448 11831 33554432000 4194304 4196468 140732612202400 139836281308400 139837371684565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
[pid=8221/tid=8230] ppid=8219 vsize=13982852 memory=8693815914432465728 CPUtime=0 cores=1,3,5,7
/proc/8221/task/8230/stat : 8230 (java) S 8219 8219 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154638937 14318440448 11831 33554432000 4194304 4196468 140732612202400 139836280256976 139837371692955 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
[pid=8221/tid=8231] ppid=8219 vsize=13982852 memory=7100839887185294217 CPUtime=0.04 cores=1,3,5,7
/proc/8221/task/8231/stat : 8231 (java) R 8219 8219 3809 0 -1 4202560 691 0 0 0 4 0 0 0 20 0 15 0 154638937 14318440448 11831 33554432000 4194304 4196468 140732612202400 139836279185096 139837355059820 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
[pid=8221/tid=8232] ppid=8219 vsize=13982852 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/8221/task/8232/stat : 8232 (java) R 8219 8219 3809 0 -1 1077944384 207 0 0 0 4 0 0 0 20 0 15 0 154638937 14318440448 11831 33554432000 4194304 4196468 140732612202400 139836278151536 139837371685506 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
[pid=8221/tid=8233] ppid=8219 vsize=13982852 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/8221/task/8233/stat : 8233 (java) R 8219 8219 3809 0 -1 4202560 843 0 0 0 13 0 0 0 20 0 15 0 154638937 14318440448 11831 33554432000 4194304 4196468 140732612202400 139836277094160 139837364774206 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
[pid=8221/tid=8234] ppid=8219 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8221/task/8234/stat : 8234 (java) S 8219 8219 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154638937 14318440448 11831 33554432000 4194304 4196468 140732612202400 139836276046176 139837371684565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
[pid=8221/tid=8235] ppid=8219 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8221/task/8235/stat : 8235 (java) S 8219 8219 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154638937 14318440448 11831 33554432000 4194304 4196468 140732612202400 139836274994224 139837371685506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48708 KiB
[startup+0.70478 s]
/proc/loadavg: 2.20 2.06 1.88 5/217 8235
/proc/meminfo: memFree=17711392/32770624 swapFree=67108860/67108860
[pid=8219] ppid=8216 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/8219/stat : 8219 (xcsp3-exec) S 8216 8219 3809 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154638931 9740288 346 33554432000 4194304 5098028 140731567663632 140731567661736 140274725941884 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30498816 140731567666292 140731567666496 140731567666496 140731567669227 0
/proc/8219/statm: 2378 346 289 221 0 87 0
[pid=8221] ppid=8219 vsize=13984976 memory=96132 CPUtime=1.65 cores=1,3,5,7
/proc/8221/stat : 8221 (java) S 8219 8219 3809 0 -1 1077944320 12054 0 0 0 161 4 0 0 20 0 15 0 154638931 14320615424 24033 33554432000 4194304 4196468 140732612202400 140732612184944 139837371674359 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
/proc/8221/statm: 3496244 24033 3202 1 0 3483478 0
[pid=8221/tid=8222] ppid=8219 vsize=13984976 memory=1728 CPUtime=0.68 cores=1,3,5,7
/proc/8221/task/8222/stat : 8222 (java) R 8219 8219 3809 0 -1 4202560 6748 0 0 0 65 3 0 0 20 0 15 0 154638932 14320615424 24033 33554432000 4194304 4196468 140732612202400 139837375913216 139836971429181 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
[pid=8221/tid=8223] ppid=8219 vsize=13984976 memory=1716 CPUtime=0 cores=1,3,5,7
/proc/8221/task/8223/stat : 8223 (java) S 8219 8219 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154638933 14320615424 24033 33554432000 4194304 4196468 140732612202400 139837301762576 139837371684565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
[pid=8221/tid=8224] ppid=8219 vsize=13984976 memory=796 CPUtime=0 cores=1,3,5,7
/proc/8221/task/8224/stat : 8224 (java) S 8219 8219 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154638933 14320615424 24033 33554432000 4194304 4196468 140732612202400 139837300710032 139837371684565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
[pid=8221/tid=8225] ppid=8219 vsize=13984976 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/8221/task/8225/stat : 8225 (java) S 8219 8219 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154638933 14320615424 24033 33554432000 4194304 4196468 140732612202400 139837299656976 139837371684565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
[pid=8221/tid=8226] ppid=8219 vsize=13984976 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/8221/task/8226/stat : 8226 (java) S 8219 8219 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154638933 14320615424 24033 33554432000 4194304 4196468 140732612202400 139837298604432 139837371684565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
[pid=8221/tid=8227] ppid=8219 vsize=13984976 memory=8612 CPUtime=0 cores=1,3,5,7
/proc/8221/task/8227/stat : 8227 (java) S 8219 8219 3809 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154638934 14320615424 24033 33554432000 4194304 4196468 140732612202400 139836283415280 139837371685506 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
[pid=8221/tid=8228] ppid=8219 vsize=13984976 memory=5784 CPUtime=0 cores=1,3,5,7
/proc/8221/task/8228/stat : 8228 (java) S 8219 8219 3809 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154638934 14320615424 24033 33554432000 4194304 4196468 140732612202400 139836282361504 139837371684565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
[pid=8221/tid=8229] ppid=8219 vsize=13984976 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/8221/task/8229/stat : 8229 (java) S 8219 8219 3809 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154638935 14320615424 24033 33554432000 4194304 4196468 140732612202400 139836281308400 139837371684565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
[pid=8221/tid=8230] ppid=8219 vsize=13984976 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/8221/task/8230/stat : 8230 (java) S 8219 8219 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154638937 14320615424 24033 33554432000 4194304 4196468 140732612202400 139836280256976 139837371692955 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
[pid=8221/tid=8231] ppid=8219 vsize=13984976 memory=11112 CPUtime=0.28 cores=1,3,5,7
/proc/8221/task/8231/stat : 8231 (java) S 8219 8219 3809 0 -1 1077944384 1445 0 0 0 28 0 0 0 20 0 15 0 154638937 14320615424 24033 33554432000 4194304 4196468 140732612202400 139836279204080 139837371685506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
[pid=8221/tid=8232] ppid=8219 vsize=13984976 memory=1228 CPUtime=0.25 cores=1,3,5,7
/proc/8221/task/8232/stat : 8232 (java) R 8219 8219 3809 0 -1 4202560 826 0 0 0 25 0 0 0 20 0 15 0 154638937 14320615424 24033 33554432000 4194304 4196468 140732612202400 139836278151536 139837356573892 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
[pid=8221/tid=8233] ppid=8219 vsize=13984976 memory=1420 CPUtime=0.42 cores=1,3,5,7
/proc/8221/task/8233/stat : 8233 (java) R 8219 8219 3809 0 -1 4202560 1728 0 0 0 42 0 0 0 20 0 15 0 154638937 14320615424 24033 33554432000 4194304 4196468 140732612202400 139836277098480 139837355754846 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
[pid=8221/tid=8234] ppid=8219 vsize=13984976 memory=15876 CPUtime=0 cores=1,3,5,7
/proc/8221/task/8234/stat : 8234 (java) S 8219 8219 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154638937 14320615424 24033 33554432000 4194304 4196468 140732612202400 139836276046176 139837371684565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
[pid=8221/tid=8235] ppid=8219 vsize=13984976 memory=16448 CPUtime=0 cores=1,3,5,7
/proc/8221/task/8235/stat : 8235 (java) S 8219 8219 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154638937 14320615424 24033 33554432000 4194304 4196468 140732612202400 139836274994224 139837371685506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
Current children cumulated CPU time: 1.65 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 97516 KiB
[startup+1.5011 s]
/proc/loadavg: 2.20 2.06 1.88 3/217 8235
/proc/meminfo: memFree=17648780/32770624 swapFree=67108860/67108860
[pid=8219] ppid=8216 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/8219/stat : 8219 (xcsp3-exec) S 8216 8219 3809 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154638931 9740288 346 33554432000 4194304 5098028 140731567663632 140731567661736 140274725941884 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30498816 140731567666292 140731567666496 140731567666496 140731567669227 0
/proc/8219/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/8219/stat : 8219 (xcsp3-exec) S 8216 8219 3809 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154638931 9740288 346 33554432000 4194304 5098028 140731567663632 140731567661736 140274725941884 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30498816 140731567666292 140731567666496 140731567666496 140731567669227 0
/proc/8219/statm: 2378 346 289 221 0 87 0
[pid=8221] ppid=8219 vsize=13984976 memory=233752 CPUtime=20.97 cores=1,3,5,7
/proc/8221/stat : 8221 (java) S 8219 8219 3809 0 -1 1077944320 46440 0 0 0 2084 13 0 0 20 0 15 0 154638931 14320615424 58438 33554432000 4194304 4196468 140732612202400 140732612184944 139837371674359 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
/proc/8221/statm: 3496244 58438 3268 1 0 3483478 0
[pid=8221/tid=8222] ppid=8219 vsize=13984976 memory=8112282956445269571 CPUtime=12.76 cores=1,3,5,7
/proc/8221/task/8222/stat : 8222 (java) R 8219 8219 3809 0 -1 4202560 9821 0 0 0 1271 5 0 0 20 0 15 0 154638932 14320615424 58438 33554432000 4194304 4196468 140732612202400 139837375911344 139836977087616 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
[pid=8221/tid=8223] ppid=8219 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/8221/task/8223/stat : 8223 (java) S 8219 8219 3809 0 -1 1077944384 97 0 0 0 0 0 0 0 20 0 15 0 154638933 14320615424 58438 33554432000 4194304 4196468 140732612202400 139837301762576 139837371684565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
[pid=8221/tid=8224] ppid=8219 vsize=13984976 memory=233372 CPUtime=0 cores=1,3,5,7
/proc/8221/task/8224/stat : 8224 (java) S 8219 8219 3809 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 154638933 14320615424 58438 33554432000 4194304 4196468 140732612202400 139837300710032 139837371684565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
[pid=8221/tid=8225] ppid=8219 vsize=13984976 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/8221/task/8225/stat : 8225 (java) S 8219 8219 3809 0 -1 1077944384 529 0 0 0 0 0 0 0 20 0 15 0 154638933 14320615424 58438 33554432000 4194304 4196468 140732612202400 139837299656976 139837371684565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
[pid=8221/tid=8226] ppid=8219 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/8221/task/8226/stat : 8226 (java) S 8219 8219 3809 0 -1 1077944384 334 0 0 0 0 0 0 0 20 0 15 0 154638933 14320615424 58438 33554432000 4194304 4196468 140732612202400 139837298604432 139837371684565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
[pid=8221/tid=8227] ppid=8219 vsize=13984976 memory=233576 CPUtime=0 cores=1,3,5,7
/proc/8221/task/8227/stat : 8227 (java) S 8219 8219 3809 0 -1 1077944384 224 0 0 0 0 0 0 0 20 0 15 0 154638934 14320615424 58438 33554432000 4194304 4196468 140732612202400 139836283415280 139837371685506 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
[pid=8221/tid=8228] ppid=8219 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8221/task/8228/stat : 8228 (java) S 8219 8219 3809 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 154638934 14320615424 58438 33554432000 4194304 4196468 140732612202400 139836282361504 139837371684565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
[pid=8221/tid=8229] ppid=8219 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8221/task/8229/stat : 8229 (java) S 8219 8219 3809 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 154638935 14320615424 58438 33554432000 4194304 4196468 140732612202400 139836281308400 139837371684565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
[pid=8221/tid=8230] ppid=8219 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8221/task/8230/stat : 8230 (java) S 8219 8219 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154638937 14320615424 58438 33554432000 4194304 4196468 140732612202400 139836280256976 139837371692955 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
[pid=8221/tid=8231] ppid=8219 vsize=13984976 memory=306 CPUtime=3.35 cores=1,3,5,7
/proc/8221/task/8231/stat : 8231 (java) S 8219 8219 3809 0 -1 1077944384 12922 0 0 0 333 2 0 0 20 0 15 0 154638937 14320615424 58438 33554432000 4194304 4196468 140732612202400 139836279204080 139837371685506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
[pid=8221/tid=8232] ppid=8219 vsize=13984976 memory=343 CPUtime=4.02 cores=1,3,5,7
/proc/8221/task/8232/stat : 8232 (java) R 8219 8219 3809 0 -1 4202560 16249 0 0 0 400 2 0 0 20 0 15 0 154638937 14320615424 58438 33554432000 4194304 4196468 140732612202400 139836278151536 139837356602688 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
[pid=8221/tid=8233] ppid=8219 vsize=13984976 memory=75 CPUtime=0.76 cores=1,3,5,7
/proc/8221/task/8233/stat : 8233 (java) S 8219 8219 3809 0 -1 1077944384 4785 0 0 0 75 1 0 0 20 0 15 0 154638937 14320615424 58438 33554432000 4194304 4196468 140732612202400 139836277098480 139837371685506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
[pid=8221/tid=8234] ppid=8219 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8221/task/8234/stat : 8234 (java) S 8219 8219 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154638937 14320615424 58438 33554432000 4194304 4196468 140732612202400 139836276046176 139837371684565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
[pid=8221/tid=8235] ppid=8219 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8221/task/8235/stat : 8235 (java) S 8219 8219 3809 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 154638937 14320615424 58438 33554432000 4194304 4196468 140732612202400 139836274994224 139837371685506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
Current children cumulated CPU time: 20.97 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 235136 KiB
[startup+14.4009 s]
/proc/loadavg: 2.17 2.06 1.89 5/217 8235
/proc/meminfo: memFree=17530012/32770624 swapFree=67108860/67108860
[pid=8219] ppid=8216 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/8219/stat : 8219 (xcsp3-exec) S 8216 8219 3809 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154638931 9740288 346 33554432000 4194304 5098028 140731567663632 140731567661736 140274725941884 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30498816 140731567666292 140731567666496 140731567666496 140731567669227 0
/proc/8219/statm: 2378 346 289 221 0 87 0
[pid=8221] ppid=8219 vsize=13984976 memory=246996 CPUtime=24.11 cores=1,3,5,7
/proc/8221/stat : 8221 (java) S 8219 8219 3809 0 -1 1077944320 53523 0 0 0 2396 15 0 0 20 0 15 0 154638931 14320615424 61749 33554432000 4194304 4196468 140732612202400 140732612184944 139837371674359 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
/proc/8221/statm: 3496244 61749 3273 1 0 3483478 0
[pid=8221/tid=8222] ppid=8219 vsize=13984976 memory=140708497869400 CPUtime=14.34 cores=1,3,5,7
/proc/8221/task/8222/stat : 8222 (java) R 8219 8219 3809 0 -1 4202560 10477 0 0 0 1429 5 0 0 20 0 15 0 154638932 14320615424 61749 33554432000 4194304 4196468 140732612202400 139837375913664 139836979648308 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
[pid=8221/tid=8223] ppid=8219 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8221/task/8223/stat : 8223 (java) S 8219 8219 3809 0 -1 1077944384 99 0 0 0 0 0 0 0 20 0 15 0 154638933 14320615424 61749 33554432000 4194304 4196468 140732612202400 139837301762576 139837371684565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
[pid=8221/tid=8224] ppid=8219 vsize=13984976 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/8221/task/8224/stat : 8224 (java) S 8219 8219 3809 0 -1 1077944384 1025 0 0 0 1 0 0 0 20 0 15 0 154638933 14320615424 61749 33554432000 4194304 4196468 140732612202400 139837300710032 139837371684565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
[pid=8221/tid=8225] ppid=8219 vsize=13984976 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/8221/task/8225/stat : 8225 (java) S 8219 8219 3809 0 -1 1077944384 537 0 0 0 0 0 0 0 20 0 15 0 154638933 14320615424 61749 33554432000 4194304 4196468 140732612202400 139837299656976 139837371684565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
[pid=8221/tid=8226] ppid=8219 vsize=13984976 memory=4126316290023845779 CPUtime=0.01 cores=1,3,5,7
/proc/8221/task/8226/stat : 8226 (java) S 8219 8219 3809 0 -1 1077944384 375 0 0 0 1 0 0 0 20 0 15 0 154638933 14320615424 61749 33554432000 4194304 4196468 140732612202400 139837298604432 139837371684565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
[pid=8221/tid=8227] ppid=8219 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8221/task/8227/stat : 8227 (java) S 8219 8219 3809 0 -1 1077944384 351 0 0 0 0 0 0 0 20 0 15 0 154638934 14320615424 61749 33554432000 4194304 4196468 140732612202400 139836283415280 139837371685506 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
[pid=8221/tid=8228] ppid=8219 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8221/task/8228/stat : 8228 (java) S 8219 8219 3809 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 154638934 14320615424 61749 33554432000 4194304 4196468 140732612202400 139836282361568 139837371684565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
[pid=8221/tid=8229] ppid=8219 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8221/task/8229/stat : 8229 (java) S 8219 8219 3809 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 154638935 14320615424 61749 33554432000 4194304 4196468 140732612202400 139836281308416 139837371684565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
[pid=8221/tid=8230] ppid=8219 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8221/task/8230/stat : 8230 (java) S 8219 8219 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154638937 14320615424 61749 33554432000 4194304 4196468 140732612202400 139836280256976 139837371692955 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
[pid=8221/tid=8231] ppid=8219 vsize=13984976 memory=1716 CPUtime=4.05 cores=1,3,5,7
/proc/8221/task/8231/stat : 8231 (java) R 8219 8219 3809 0 -1 4202560 16336 0 0 0 403 2 0 0 20 0 15 0 154638937 14320615424 61749 33554432000 4194304 4196468 140732612202400 139836279191312 139837349691338 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
[pid=8221/tid=8232] ppid=8219 vsize=13984976 memory=796 CPUtime=4.79 cores=1,3,5,7
/proc/8221/task/8232/stat : 8232 (java) R 8219 8219 3809 0 -1 4202560 17795 0 0 0 476 3 0 0 20 0 15 0 154638937 14320615424 61749 33554432000 4194304 4196468 140732612202400 139836278151536 139837357698208 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
[pid=8221/tid=8233] ppid=8219 vsize=13984976 memory=1952 CPUtime=0.82 cores=1,3,5,7
/proc/8221/task/8233/stat : 8233 (java) S 8219 8219 3809 0 -1 1077944384 5083 0 0 0 81 1 0 0 20 0 15 0 154638937 14320615424 61749 33554432000 4194304 4196468 140732612202400 139836277098480 139837371685506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
[pid=8221/tid=8234] ppid=8219 vsize=13984976 memory=15876 CPUtime=0 cores=1,3,5,7
/proc/8221/task/8234/stat : 8234 (java) S 8219 8219 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154638937 14320615424 61749 33554432000 4194304 4196468 140732612202400 139836276046176 139837371684565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
[pid=8221/tid=8235] ppid=8219 vsize=13984976 memory=16448 CPUtime=0 cores=1,3,5,7
/proc/8221/task/8235/stat : 8235 (java) S 8219 8219 3809 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 154638937 14320615424 61749 33554432000 4194304 4196468 140732612202400 139836274994224 139837371685506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
Current children cumulated CPU time: 24.11 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 248380 KiB
[startup+14.8008 s]
/proc/loadavg: 2.17 2.06 1.89 5/217 8235
/proc/meminfo: memFree=17530012/32770624 swapFree=67108860/67108860
[pid=8219] ppid=8216 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/8219/stat : 8219 (xcsp3-exec) S 8216 8219 3809 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154638931 9740288 346 33554432000 4194304 5098028 140731567663632 140731567661736 140274725941884 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30498816 140731567666292 140731567666496 140731567666496 140731567669227 0
/proc/8219/statm: 2378 346 289 221 0 87 0
[pid=8221] ppid=8219 vsize=13984976 memory=253056 CPUtime=25.32 cores=1,3,5,7
/proc/8221/stat : 8221 (java) S 8219 8219 3809 0 -1 1077944320 57789 0 0 0 2516 16 0 0 20 0 15 0 154638931 14320615424 63264 33554432000 4194304 4196468 140732612202400 140732612184944 139837371674359 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
/proc/8221/statm: 3496244 63264 3273 1 0 3483478 0
[pid=8221/tid=8222] ppid=8219 vsize=13984976 memory=8112282956445269571 CPUtime=14.74 cores=1,3,5,7
/proc/8221/task/8222/stat : 8222 (java) R 8219 8219 3809 0 -1 4202560 10482 0 0 0 1469 5 0 0 20 0 15 0 154638932 14320615424 63264 33554432000 4194304 4196468 140732612202400 139837375910656 139836980328094 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
[pid=8221/tid=8223] ppid=8219 vsize=13984976 memory=5784 CPUtime=0 cores=1,3,5,7
/proc/8221/task/8223/stat : 8223 (java) S 8219 8219 3809 0 -1 1077944384 99 0 0 0 0 0 0 0 20 0 15 0 154638933 14320615424 63264 33554432000 4194304 4196468 140732612202400 139837301762576 139837371684565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
[pid=8221/tid=8224] ppid=8219 vsize=13984976 memory=4616 CPUtime=0.01 cores=1,3,5,7
/proc/8221/task/8224/stat : 8224 (java) S 8219 8219 3809 0 -1 1077944384 1025 0 0 0 1 0 0 0 20 0 15 0 154638933 14320615424 63264 33554432000 4194304 4196468 140732612202400 139837300710032 139837371684565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
[pid=8221/tid=8225] ppid=8219 vsize=13984976 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/8221/task/8225/stat : 8225 (java) S 8219 8219 3809 0 -1 1077944384 537 0 0 0 0 0 0 0 20 0 15 0 154638933 14320615424 63264 33554432000 4194304 4196468 140732612202400 139837299656976 139837371684565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
[pid=8221/tid=8226] ppid=8219 vsize=13984976 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/8221/task/8226/stat : 8226 (java) S 8219 8219 3809 0 -1 1077944384 375 0 0 0 1 0 0 0 20 0 15 0 154638933 14320615424 63264 33554432000 4194304 4196468 140732612202400 139837298604432 139837371684565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
[pid=8221/tid=8227] ppid=8219 vsize=13984976 memory=4420 CPUtime=0 cores=1,3,5,7
/proc/8221/task/8227/stat : 8227 (java) S 8219 8219 3809 0 -1 1077944384 351 0 0 0 0 0 0 0 20 0 15 0 154638934 14320615424 63264 33554432000 4194304 4196468 140732612202400 139836283415280 139837371685506 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
[pid=8221/tid=8228] ppid=8219 vsize=13984976 memory=6628 CPUtime=0 cores=1,3,5,7
/proc/8221/task/8228/stat : 8228 (java) S 8219 8219 3809 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 154638934 14320615424 63264 33554432000 4194304 4196468 140732612202400 139836282361568 139837371684565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
[pid=8221/tid=8229] ppid=8219 vsize=13984976 memory=8836 CPUtime=0 cores=1,3,5,7
/proc/8221/task/8229/stat : 8229 (java) S 8219 8219 3809 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 154638935 14320615424 63264 33554432000 4194304 4196468 140732612202400 139836281308416 139837371684565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
[pid=8221/tid=8230] ppid=8219 vsize=13984976 memory=11044 CPUtime=0 cores=1,3,5,7
/proc/8221/task/8230/stat : 8230 (java) S 8219 8219 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154638937 14320615424 63264 33554432000 4194304 4196468 140732612202400 139836280256976 139837371692955 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
[pid=8221/tid=8231] ppid=8219 vsize=13984976 memory=22081 CPUtime=4.45 cores=1,3,5,7
/proc/8221/task/8231/stat : 8231 (java) R 8219 8219 3809 0 -1 4202560 18525 0 0 0 443 2 0 0 20 0 15 0 154638937 14320615424 63264 33554432000 4194304 4196468 140732612202400 139836279190048 139837355174565 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
[pid=8221/tid=8232] ppid=8219 vsize=13984976 memory=4420 CPUtime=5.19 cores=1,3,5,7
/proc/8221/task/8232/stat : 8232 (java) R 8219 8219 3809 0 -1 4202560 19696 0 0 0 516 3 0 0 20 0 15 0 154638937 14320615424 63264 33554432000 4194304 4196468 140732612202400 139836278132432 139837357689888 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
[pid=8221/tid=8233] ppid=8219 vsize=13984976 memory=6628 CPUtime=0.82 cores=1,3,5,7
/proc/8221/task/8233/stat : 8233 (java) S 8219 8219 3809 0 -1 1077944384 5254 0 0 0 81 1 0 0 20 0 15 0 154638937 14320615424 63264 33554432000 4194304 4196468 140732612202400 139836277098480 139837371685506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
[pid=8221/tid=8234] ppid=8219 vsize=13984976 memory=8836 CPUtime=0 cores=1,3,5,7
/proc/8221/task/8234/stat : 8234 (java) S 8219 8219 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154638937 14320615424 63264 33554432000 4194304 4196468 140732612202400 139836276046176 139837371684565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
[pid=8221/tid=8235] ppid=8219 vsize=13984976 memory=11044 CPUtime=0 cores=1,3,5,7
/proc/8221/task/8235/stat : 8235 (java) S 8219 8219 3809 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 154638937 14320615424 63264 33554432000 4194304 4196468 140732612202400 139836274994224 139837371685506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
Current children cumulated CPU time: 25.32 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 254440 KiB
[startup+15.0009 s]*
/proc/loadavg: 2.15 2.06 1.89 5/217 8235
/proc/meminfo: memFree=17523688/32770624 swapFree=67108860/67108860
[pid=8219] ppid=8216 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/8219/stat : 8219 (xcsp3-exec) S 8216 8219 3809 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154638931 9740288 346 33554432000 4194304 5098028 140731567663632 140731567661736 140274725941884 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30498816 140731567666292 140731567666496 140731567666496 140731567669227 0
/proc/8219/statm: 2378 346 289 221 0 87 0
[pid=8221] ppid=8219 vsize=13984976 memory=253260 CPUtime=25.95 cores=1,3,5,7
/proc/8221/stat : 8221 (java) S 8219 8219 3809 0 -1 1077944320 57840 0 0 0 2579 16 0 0 20 0 15 0 154638931 14320615424 63315 33554432000 4194304 4196468 140732612202400 140732612184944 139837371674359 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
/proc/8221/statm: 3496244 63315 3273 1 0 3483478 0
[pid=8221/tid=8222] ppid=8219 vsize=13984976 memory=11982958758007 CPUtime=14.95 cores=1,3,5,7
/proc/8221/task/8222/stat : 8222 (java) R 8219 8219 3809 0 -1 4202560 10485 0 0 0 1490 5 0 0 20 0 15 0 154638932 14320615424 63315 33554432000 4194304 4196468 140732612202400 139837375910656 139836978803936 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
[pid=8221/tid=8223] ppid=8219 vsize=13984976 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/8221/task/8223/stat : 8223 (java) S 8219 8219 3809 0 -1 1077944384 99 0 0 0 0 0 0 0 20 0 15 0 154638933 14320615424 63315 33554432000 4194304 4196468 140732612202400 139837301762576 139837371684565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
[pid=8221/tid=8224] ppid=8219 vsize=13984976 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/8221/task/8224/stat : 8224 (java) S 8219 8219 3809 0 -1 1077944384 1025 0 0 0 1 0 0 0 20 0 15 0 154638933 14320615424 63315 33554432000 4194304 4196468 140732612202400 139837300710032 139837371684565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
[pid=8221/tid=8225] ppid=8219 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8221/task/8225/stat : 8225 (java) S 8219 8219 3809 0 -1 1077944384 537 0 0 0 0 0 0 0 20 0 15 0 154638933 14320615424 63315 33554432000 4194304 4196468 140732612202400 139837299656976 139837371684565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
[pid=8221/tid=8226] ppid=8219 vsize=13984976 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/8221/task/8226/stat : 8226 (java) S 8219 8219 3809 0 -1 1077944384 375 0 0 0 1 0 0 0 20 0 15 0 154638933 14320615424 63315 33554432000 4194304 4196468 140732612202400 139837298604432 139837371684565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
[pid=8221/tid=8227] ppid=8219 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8221/task/8227/stat : 8227 (java) S 8219 8219 3809 0 -1 1077944384 351 0 0 0 0 0 0 0 20 0 15 0 154638934 14320615424 63315 33554432000 4194304 4196468 140732612202400 139836283415280 139837371685506 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
[pid=8221/tid=8228] ppid=8219 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8221/task/8228/stat : 8228 (java) S 8219 8219 3809 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 154638934 14320615424 63315 33554432000 4194304 4196468 140732612202400 139836282361568 139837371684565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
[pid=8221/tid=8229] ppid=8219 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8221/task/8229/stat : 8229 (java) S 8219 8219 3809 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 154638935 14320615424 63315 33554432000 4194304 4196468 140732612202400 139836281308416 139837371684565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
[pid=8221/tid=8230] ppid=8219 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8221/task/8230/stat : 8230 (java) S 8219 8219 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154638937 14320615424 63315 33554432000 4194304 4196468 140732612202400 139836280256976 139837371692955 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
[pid=8221/tid=8231] ppid=8219 vsize=13984976 memory=0 CPUtime=4.66 cores=1,3,5,7
/proc/8221/task/8231/stat : 8231 (java) R 8219 8219 3809 0 -1 4202560 18545 0 0 0 464 2 0 0 20 0 15 0 154638937 14320615424 63315 33554432000 4194304 4196468 140732612202400 139836279204080 139837356596341 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
[pid=8221/tid=8232] ppid=8219 vsize=13984976 memory=0 CPUtime=5.4 cores=1,3,5,7
/proc/8221/task/8232/stat : 8232 (java) R 8219 8219 3809 0 -1 4202560 19724 0 0 0 537 3 0 0 20 0 15 0 154638937 14320615424 63315 33554432000 4194304 4196468 140732612202400 139836278132432 139837354886043 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
[pid=8221/tid=8233] ppid=8219 vsize=13984976 memory=0 CPUtime=0.82 cores=1,3,5,7
/proc/8221/task/8233/stat : 8233 (java) S 8219 8219 3809 0 -1 1077944384 5254 0 0 0 81 1 0 0 20 0 15 0 154638937 14320615424 63315 33554432000 4194304 4196468 140732612202400 139836277098480 139837371685506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
[pid=8221/tid=8234] ppid=8219 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8221/task/8234/stat : 8234 (java) S 8219 8219 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154638937 14320615424 63315 33554432000 4194304 4196468 140732612202400 139836276046176 139837371684565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
[pid=8221/tid=8235] ppid=8219 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8221/task/8235/stat : 8235 (java) S 8219 8219 3809 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 154638937 14320615424 63315 33554432000 4194304 4196468 140732612202400 139836274994224 139837371685506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 24977408 140732612207773 140732612207948 140732612207948 140732612210639 0
Current children cumulated CPU time: 25.95 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 254644 KiB
Child status: 0
Real time (s): 15.094
CPU time (s): 26.1279
CPU user time (s): 25.9553
CPU system time (s): 0.172646
CPU usage (%): 173.101
Max. virtual memory (cumulated for all children) (KiB): 13996940
Max. memory (cumulated for all children) (KiB): 254644
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 25.9553
system time used= 0.172646
maximum resident set size= 253476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58513
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3586
involuntary context switches= 56
# summary of solver processes directly reported to runsolver:
# pid: 8219
# total CPU time (s): 26.1279
# total CPU user time (s): 25.9553
# total CPU system time (s): 0.172646
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.116883 second user time and 0.197818 second system time
The end