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 (15181 MiB free)
  memory of node 1: 16384 MiB (15642 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270644-1502773631/watcher-4270644-1502773631 -o /tmp/evaluation-result-4270644-1502773631/solver-4270644-1502773631 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node112-1502765077-10156 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1100588425 HOME/instance-4270644-1502773631.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog threadsolver pid=11244, runsolver pid=11241
Current StackSize limit: 8192 KiB



[startup+0.100434 s]*
/proc/loadavg: 7.57 8.08 7.78 2/200 11265
/proc/meminfo: memFree=31546660/32770624 swapFree=67108860/67108860
[pid=11244] ppid=11241 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/11244/stat : 11244 (xcsp3-exec) S 11241 11244 10129 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 110450914 9740288 345 33554432000 4194304 5098028 140721032220720 140721032218824 140673093067388 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35250176 140721032221796 140721032222007 140721032222007 140721032224747 0
/proc/11244/statm: 2378 345 289 221 0 87 0
[pid=11246] ppid=11244 vsize=25999808 memory=26580 CPUtime=0.11 cores=0-7
/proc/11246/stat : 11246 (java) S 11244 11244 10129 0 -1 1077944320 5589 0 0 0 10 1 0 0 20 0 20 0 110450914 26623803392 6645 33554432000 4194304 4196468 140721824079296 140721824061840 140387554283255 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
/proc/11246/statm: 6499952 6645 2845 1 0 6488269 0
[pid=11246/tid=11247] ppid=11244 vsize=25999808 memory=7824329735742070683 CPUtime=0.09 cores=0-7
/proc/11246/task/11247/stat : 11247 (java) R 11244 11244 10129 0 -1 4202560 3585 0 0 0 8 1 0 0 20 0 20 0 110450914 26623803392 6645 33554432000 4194304 4196468 140721824079296 140387558516528 140387554304602 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11248] ppid=11244 vsize=25999808 memory=732369768642509797 CPUtime=0 cores=0-7
/proc/11246/task/11248/stat : 11248 (java) S 11244 11244 10129 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110450915 26623803392 6645 33554432000 4194304 4196468 140721824079296 140387517389200 140387554293461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11249] ppid=11244 vsize=25999808 memory=139630305056384 CPUtime=0 cores=0-7
/proc/11246/task/11249/stat : 11249 (java) S 11244 11244 10129 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110450915 26623803392 6645 33554432000 4194304 4196468 140721824079296 140387111270672 140387554293461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11250] ppid=11244 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11246/task/11250/stat : 11250 (java) S 11244 11244 10129 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 110450915 26623803392 6645 33554432000 4194304 4196468 140721824079296 140387110218384 140387554293461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11251] ppid=11244 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11246/task/11251/stat : 11251 (java) S 11244 11244 10129 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110450915 26623803392 6645 33554432000 4194304 4196468 140721824079296 140387109165584 140387554293461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11252] ppid=11244 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11246/task/11252/stat : 11252 (java) S 11244 11244 10129 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110450915 26623803392 6645 33554432000 4194304 4196468 140721824079296 140387108113296 140387554293461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11253] ppid=11244 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/11246/task/11253/stat : 11253 (java) S 11244 11244 10129 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110450915 26623803392 6645 33554432000 4194304 4196468 140721824079296 140387107060496 140387554293461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11254] ppid=11244 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11246/task/11254/stat : 11254 (java) S 11244 11244 10129 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110450915 26623803392 6645 33554432000 4194304 4196468 140721824079296 140387106008208 140387554293461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11255] ppid=11244 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11246/task/11255/stat : 11255 (java) S 11244 11244 10129 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110450915 26623803392 6645 33554432000 4194304 4196468 140721824079296 140387104955408 140387554293461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11256] ppid=11244 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11246/task/11256/stat : 11256 (java) S 11244 11244 10129 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110450917 26623803392 6645 33554432000 4194304 4196468 140721824079296 140386950060144 140387554294402 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11257] ppid=11244 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11246/task/11257/stat : 11257 (java) S 11244 11244 10129 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 110450917 26623803392 6645 33554432000 4194304 4196468 140721824079296 140386949006112 140387554293461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11258] ppid=11244 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11246/task/11258/stat : 11258 (java) S 11244 11244 10129 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 110450917 26623803392 6645 33554432000 4194304 4196468 140721824079296 140386947953776 140387554293461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11259] ppid=11244 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11246/task/11259/stat : 11259 (java) S 11244 11244 10129 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110450920 26623803392 6645 33554432000 4194304 4196468 140721824079296 140386946902096 140387554301851 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11260] ppid=11244 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11246/task/11260/stat : 11260 (java) S 11244 11244 10129 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 20 0 110450920 26623803392 6645 33554432000 4194304 4196468 140721824079296 140386945849968 140387554294402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11261] ppid=11244 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11246/task/11261/stat : 11261 (java) R 11244 11244 10129 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110450920 26623803392 6645 33554432000 4194304 4196468 140721824079296 140386944797168 140387554294402 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11262] ppid=11244 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11246/task/11262/stat : 11262 (java) S 11244 11244 10129 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 110450920 26623803392 6645 33554432000 4194304 4196468 140721824079296 140386943744880 140387554294402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11263] ppid=11244 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/11246/task/11263/stat : 11263 (java) R 11244 11244 10129 0 -1 4202560 263 0 0 0 1 0 0 0 20 0 20 0 110450920 26623803392 6645 33554432000 4194304 4196468 140721824079296 140386942692080 140387534600112 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11264] ppid=11244 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11246/task/11264/stat : 11264 (java) S 11244 11244 10129 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 110450920 26623803392 6645 33554432000 4194304 4196468 140721824079296 140386941639008 140387554293461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11265] ppid=11244 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/11246/task/11265/stat : 11265 (java) S 11244 11244 10129 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110450920 26623803392 6645 33554432000 4194304 4196468 140721824079296 140386940586288 140387554294402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27960 KiB

[startup+0.210554 s]*
/proc/loadavg: 7.57 8.08 7.78 2/200 11265
/proc/meminfo: memFree=31535000/32770624 swapFree=67108860/67108860
[pid=11244] ppid=11241 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/11244/stat : 11244 (xcsp3-exec) S 11241 11244 10129 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 110450914 9740288 345 33554432000 4194304 5098028 140721032220720 140721032218824 140673093067388 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35250176 140721032221796 140721032222007 140721032222007 140721032224747 0
/proc/11244/statm: 2378 345 289 221 0 87 0
[pid=11246] ppid=11244 vsize=26004064 memory=38924 CPUtime=0.33 cores=0-7
/proc/11246/stat : 11246 (java) S 11244 11244 10129 0 -1 1077944320 8295 0 0 0 31 2 0 0 20 0 20 0 110450914 26628161536 9731 33554432000 4194304 4196468 140721824079296 140721824061840 140387554283255 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
/proc/11246/statm: 6501016 9731 3034 1 0 6488269 0
[pid=11246/tid=11247] ppid=11244 vsize=26004064 memory=0 CPUtime=0.19 cores=0-7
/proc/11246/task/11247/stat : 11247 (java) R 11244 11244 10129 0 -1 4202560 5450 0 0 0 18 1 0 0 20 0 20 0 110450914 26628161536 9731 33554432000 4194304 4196468 140721824079296 140387558504064 140387554305181 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11248] ppid=11244 vsize=26004064 memory=279260497155832 CPUtime=0 cores=0-7
/proc/11246/task/11248/stat : 11248 (java) S 11244 11244 10129 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110450915 26628161536 9731 33554432000 4194304 4196468 140721824079296 140387517389200 140387554293461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11249] ppid=11244 vsize=26004064 memory=139630305056384 CPUtime=0 cores=0-7
/proc/11246/task/11249/stat : 11249 (java) S 11244 11244 10129 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110450915 26628161536 9731 33554432000 4194304 4196468 140721824079296 140387111270672 140387554293461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11250] ppid=11244 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11246/task/11250/stat : 11250 (java) S 11244 11244 10129 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 110450915 26628161536 9731 33554432000 4194304 4196468 140721824079296 140387110218384 140387554293461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11251] ppid=11244 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11246/task/11251/stat : 11251 (java) S 11244 11244 10129 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110450915 26628161536 9731 33554432000 4194304 4196468 140721824079296 140387109165584 140387554293461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11252] ppid=11244 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11246/task/11252/stat : 11252 (java) S 11244 11244 10129 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110450915 26628161536 9731 33554432000 4194304 4196468 140721824079296 140387108113296 140387554293461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11253] ppid=11244 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/11246/task/11253/stat : 11253 (java) S 11244 11244 10129 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110450915 26628161536 9731 33554432000 4194304 4196468 140721824079296 140387107060496 140387554293461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11254] ppid=11244 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11246/task/11254/stat : 11254 (java) S 11244 11244 10129 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110450915 26628161536 9731 33554432000 4194304 4196468 140721824079296 140387106008208 140387554293461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11255] ppid=11244 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11246/task/11255/stat : 11255 (java) S 11244 11244 10129 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110450915 26628161536 9731 33554432000 4194304 4196468 140721824079296 140387104955408 140387554293461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11256] ppid=11244 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11246/task/11256/stat : 11256 (java) S 11244 11244 10129 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 110450917 26628161536 9731 33554432000 4194304 4196468 140721824079296 140386950060144 140387554294402 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11257] ppid=11244 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11246/task/11257/stat : 11257 (java) S 11244 11244 10129 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 110450917 26628161536 9731 33554432000 4194304 4196468 140721824079296 140386949006112 140387554293461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11258] ppid=11244 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11246/task/11258/stat : 11258 (java) S 11244 11244 10129 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 110450917 26628161536 9731 33554432000 4194304 4196468 140721824079296 140386947953776 140387554293461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11259] ppid=11244 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11246/task/11259/stat : 11259 (java) S 11244 11244 10129 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110450920 26628161536 9731 33554432000 4194304 4196468 140721824079296 140386946902096 140387554301851 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11260] ppid=11244 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/11246/task/11260/stat : 11260 (java) S 11244 11244 10129 0 -1 1077944384 522 0 0 0 1 0 0 0 20 0 20 0 110450920 26628161536 9731 33554432000 4194304 4196468 140721824079296 140386945849968 140387554294402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11261] ppid=11244 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11246/task/11261/stat : 11261 (java) S 11244 11244 10129 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 110450920 26628161536 9731 33554432000 4194304 4196468 140721824079296 140386944797168 140387554294402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11262] ppid=11244 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/11246/task/11262/stat : 11262 (java) S 11244 11244 10129 0 -1 1077944384 240 0 0 0 2 0 0 0 20 0 20 0 110450920 26628161536 9731 33554432000 4194304 4196468 140721824079296 140386943744880 140387554294402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11263] ppid=11244 vsize=26004064 memory=0 CPUtime=0.08 cores=0-7
/proc/11246/task/11263/stat : 11263 (java) R 11244 11244 10129 0 -1 4202560 764 0 0 0 8 0 0 0 20 0 20 0 110450920 26628161536 9731 33554432000 4194304 4196468 140721824079296 140386942692080 140387533243329 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11264] ppid=11244 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11246/task/11264/stat : 11264 (java) S 11244 11244 10129 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 110450920 26628161536 9731 33554432000 4194304 4196468 140721824079296 140386941639008 140387554293461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11265] ppid=11244 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/11246/task/11265/stat : 11265 (java) S 11244 11244 10129 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110450920 26628161536 9731 33554432000 4194304 4196468 140721824079296 140386940586288 140387554294402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40304 KiB

[startup+0.310394 s]*
/proc/loadavg: 7.57 8.08 7.78 4/200 11265
/proc/meminfo: memFree=31530596/32770624 swapFree=67108860/67108860
[pid=11244] ppid=11241 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/11244/stat : 11244 (xcsp3-exec) S 11241 11244 10129 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 110450914 9740288 345 33554432000 4194304 5098028 140721032220720 140721032218824 140673093067388 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35250176 140721032221796 140721032222007 140721032222007 140721032224747 0
/proc/11244/statm: 2378 345 289 221 0 87 0
[pid=11246] ppid=11244 vsize=26004064 memory=43844 CPUtime=0.51 cores=0-7
/proc/11246/stat : 11246 (java) S 11244 11244 10129 0 -1 1077944320 9217 0 0 0 48 3 0 0 20 0 20 0 110450914 26628161536 10961 33554432000 4194304 4196468 140721824079296 140721824061840 140387554283255 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
/proc/11246/statm: 6501016 10961 3048 1 0 6488269 0
[pid=11246/tid=11247] ppid=11244 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/11246/task/11247/stat : 11247 (java) R 11244 11244 10129 0 -1 4202560 6156 0 0 0 27 2 0 0 20 0 20 0 110450914 26628161536 10961 33554432000 4194304 4196468 140721824079296 140387558522480 140387554305181 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11248] ppid=11244 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11246/task/11248/stat : 11248 (java) S 11244 11244 10129 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110450915 26628161536 10961 33554432000 4194304 4196468 140721824079296 140387517389200 140387554293461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11249] ppid=11244 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11246/task/11249/stat : 11249 (java) S 11244 11244 10129 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110450915 26628161536 10961 33554432000 4194304 4196468 140721824079296 140387111270672 140387554293461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11250] ppid=11244 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11246/task/11250/stat : 11250 (java) S 11244 11244 10129 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 110450915 26628161536 10961 33554432000 4194304 4196468 140721824079296 140387110218384 140387554293461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11251] ppid=11244 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11246/task/11251/stat : 11251 (java) S 11244 11244 10129 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110450915 26628161536 10961 33554432000 4194304 4196468 140721824079296 140387109165584 140387554293461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11252] ppid=11244 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/11246/task/11252/stat : 11252 (java) S 11244 11244 10129 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110450915 26628161536 10961 33554432000 4194304 4196468 140721824079296 140387108113296 140387554293461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11253] ppid=11244 vsize=26004064 memory=139630192194479 CPUtime=0 cores=0-7
/proc/11246/task/11253/stat : 11253 (java) S 11244 11244 10129 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110450915 26628161536 10961 33554432000 4194304 4196468 140721824079296 140387107060496 140387554293461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11254] ppid=11244 vsize=26004064 memory=139630192196784 CPUtime=0 cores=0-7
/proc/11246/task/11254/stat : 11254 (java) S 11244 11244 10129 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110450915 26628161536 10961 33554432000 4194304 4196468 140721824079296 140387106008208 140387554293461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11255] ppid=11244 vsize=26004064 memory=139630192199088 CPUtime=0 cores=0-7
/proc/11246/task/11255/stat : 11255 (java) S 11244 11244 10129 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110450915 26628161536 10961 33554432000 4194304 4196468 140721824079296 140387104955408 140387554293461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11256] ppid=11244 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11246/task/11256/stat : 11256 (java) S 11244 11244 10129 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 110450917 26628161536 10961 33554432000 4194304 4196468 140721824079296 140386950060144 140387554294402 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11257] ppid=11244 vsize=26004064 memory=279260384405136 CPUtime=0 cores=0-7
/proc/11246/task/11257/stat : 11257 (java) S 11244 11244 10129 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 110450917 26628161536 10961 33554432000 4194304 4196468 140721824079296 140386949006112 140387554293461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11258] ppid=11244 vsize=26004064 memory=279260384412048 CPUtime=0 cores=0-7
/proc/11246/task/11258/stat : 11258 (java) S 11244 11244 10129 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 110450917 26628161536 10961 33554432000 4194304 4196468 140721824079296 140386947953776 140387554293461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11259] ppid=11244 vsize=26004064 memory=279260384353328 CPUtime=0 cores=0-7
/proc/11246/task/11259/stat : 11259 (java) S 11244 11244 10129 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110450920 26628161536 10961 33554432000 4194304 4196468 140721824079296 140386946902096 140387554301851 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11260] ppid=11244 vsize=26004064 memory=279260384425872 CPUtime=0.02 cores=0-7
/proc/11246/task/11260/stat : 11260 (java) S 11244 11244 10129 0 -1 1077944384 522 0 0 0 2 0 0 0 20 0 20 0 110450920 26628161536 10961 33554432000 4194304 4196468 140721824079296 140386945849968 140387554294402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11261] ppid=11244 vsize=26004064 memory=279260384432784 CPUtime=0.01 cores=0-7
/proc/11246/task/11261/stat : 11261 (java) S 11244 11244 10129 0 -1 1077944384 104 0 0 0 1 0 0 0 20 0 20 0 110450920 26628161536 10961 33554432000 4194304 4196468 140721824079296 140386944797168 140387554294402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11262] ppid=11244 vsize=26004064 memory=279260384430480 CPUtime=0.03 cores=0-7
/proc/11246/task/11262/stat : 11262 (java) S 11244 11244 10129 0 -1 1077944384 248 0 0 0 3 0 0 0 20 0 20 0 110450920 26628161536 10961 33554432000 4194304 4196468 140721824079296 140386943744880 140387554294402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11263] ppid=11244 vsize=26004064 memory=279260384446640 CPUtime=0.12 cores=0-7
/proc/11246/task/11263/stat : 11263 (java) R 11244 11244 10129 0 -1 4202560 873 0 0 0 12 0 0 0 20 0 20 0 110450920 26628161536 10961 33554432000 4194304 4196468 140721824079296 140386942688448 140387532803357 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11264] ppid=11244 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11246/task/11264/stat : 11264 (java) S 11244 11244 10129 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 110450920 26628161536 10961 33554432000 4194304 4196468 140721824079296 140386941639008 140387554293461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11265] ppid=11244 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/11246/task/11265/stat : 11265 (java) S 11244 11244 10129 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 110450920 26628161536 10961 33554432000 4194304 4196468 140721824079296 140386940586288 140387554294402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 45224 KiB

[startup+0.701019 s]
/proc/loadavg: 7.57 8.08 7.78 5/200 11265
/proc/meminfo: memFree=31504728/32770624 swapFree=67108860/67108860
[pid=11244] ppid=11241 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/11244/stat : 11244 (xcsp3-exec) S 11241 11244 10129 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 110450914 9740288 345 33554432000 4194304 5098028 140721032220720 140721032218824 140673093067388 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35250176 140721032221796 140721032222007 140721032222007 140721032224747 0
/proc/11244/statm: 2378 345 289 221 0 87 0
[pid=11246] ppid=11244 vsize=26006188 memory=106964 CPUtime=2 cores=0-7
/proc/11246/stat : 11246 (java) S 11244 11244 10129 0 -1 1077944320 13771 0 0 0 194 6 0 0 20 0 20 0 110450914 26630336512 26741 33554432000 4194304 4196468 140721824079296 140721824061840 140387554283255 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
/proc/11246/statm: 6501547 26741 3202 1 0 6488781 0
[pid=11246/tid=11247] ppid=11244 vsize=26006188 memory=279260384741504 CPUtime=0.67 cores=0-7
/proc/11246/task/11247/stat : 11247 (java) R 11244 11244 10129 0 -1 4202560 6730 0 0 0 64 3 0 0 20 0 20 0 110450914 26630336512 26741 33554432000 4194304 4196468 140721824079296 140387558521216 140387190458694 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11248] ppid=11244 vsize=26006188 memory=5788 CPUtime=0 cores=0-7
/proc/11246/task/11248/stat : 11248 (java) S 11244 11244 10129 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110450915 26630336512 26741 33554432000 4194304 4196468 140721824079296 140387517389200 140387554293461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11249] ppid=11244 vsize=26006188 memory=1228 CPUtime=0 cores=0-7
/proc/11246/task/11249/stat : 11249 (java) S 11244 11244 10129 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 110450915 26630336512 26741 33554432000 4194304 4196468 140721824079296 140387111270672 140387554293461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11250] ppid=11244 vsize=26006188 memory=796 CPUtime=0 cores=0-7
/proc/11246/task/11250/stat : 11250 (java) S 11244 11244 10129 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 110450915 26630336512 26741 33554432000 4194304 4196468 140721824079296 140387110218384 140387554293461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0

################
# More data... #
################

[pid=11246/tid=11409] ppid=11244 vsize=26538700 memory=3614456 CPUtime=2425.12 cores=0-7
/proc/11246/task/11409/stat : 11409 (java) R 11244 11244 10129 0 -1 4202560 13804 0 0 0 242498 14 0 0 20 0 28 0 110451112 27175628800 903614 33554432000 4194304 4196468 140721824079296 140386928364768 140387198444420 0 4 0 16800975 0 0 0 -1 1 0 0 15 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
Current children cumulated CPU time: 19458 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 3615836 KiB

[startup+2502.3 s]
/proc/loadavg: 8.65 8.41 8.35 9/208 11466
/proc/meminfo: memFree=27873180/32770624 swapFree=67108860/67108860
[pid=11244] ppid=11241 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/11244/stat : 11244 (xcsp3-exec) S 11241 11244 10129 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 110450914 9740288 345 33554432000 4194304 5098028 140721032220720 140721032218824 140673093067388 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35250176 140721032221796 140721032222007 140721032222007 140721032224747 0
/proc/11244/statm: 2378 345 289 221 0 87 0
[pid=11246] ppid=11244 vsize=26538700 memory=3696596 CPUtime=19935.1 cores=0-7
/proc/11246/stat : 11246 (java) S 11244 11244 10129 0 -1 1077944320 554490 0 0 0 1992957 554 0 0 20 0 28 0 110450914 27175628800 924149 33554432000 4194304 4196468 140721824079296 140721824061840 140387554283255 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
/proc/11246/statm: 6634675 924149 3305 1 0 6621909 0
[pid=11246/tid=11247] ppid=11244 vsize=26538700 memory=3696596 CPUtime=1.52 cores=0-7
/proc/11246/task/11247/stat : 11247 (java) S 11244 11244 10129 0 -1 1077944384 6992 0 0 0 147 5 0 0 20 0 28 0 110450914 27175628800 924149 33554432000 4194304 4196468 140721824079296 140387558524032 140387554293461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11248] ppid=11244 vsize=26538700 memory=3696596 CPUtime=2.23 cores=0-7
/proc/11246/task/11248/stat : 11248 (java) S 11244 11244 10129 0 -1 1077944384 22277 0 0 0 208 15 0 0 20 0 28 0 110450915 27175628800 924149 33554432000 4194304 4196468 140721824079296 140387517389200 140387554293461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11249] ppid=11244 vsize=26538700 memory=1380 CPUtime=2.22 cores=0-7
/proc/11246/task/11249/stat : 11249 (java) S 11244 11244 10129 0 -1 1077944384 21604 0 0 0 207 15 0 0 20 0 28 0 110450915 27175628800 924149 33554432000 4194304 4196468 140721824079296 140387111270672 140387554293461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11250] ppid=11244 vsize=26538700 memory=164 CPUtime=2.27 cores=0-7
/proc/11246/task/11250/stat : 11250 (java) S 11244 11244 10129 0 -1 1077944384 21498 0 0 0 211 16 0 0 20 0 28 0 110450915 27175628800 924149 33554432000 4194304 4196468 140721824079296 140387110218384 140387554293461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11251] ppid=11244 vsize=26538700 memory=6655300316396806240 CPUtime=2.24 cores=0-7
/proc/11246/task/11251/stat : 11251 (java) S 11244 11244 10129 0 -1 1077944384 20459 0 0 0 210 14 0 0 20 0 28 0 110450915 27175628800 924149 33554432000 4194304 4196468 140721824079296 140387109165584 140387554293461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11252] ppid=11244 vsize=26538700 memory=97968204044568 CPUtime=2.23 cores=0-7
/proc/11246/task/11252/stat : 11252 (java) S 11244 11244 10129 0 -1 1077944384 21621 0 0 0 209 14 0 0 20 0 28 0 110450915 27175628800 924149 33554432000 4194304 4196468 140721824079296 140387108113296 140387554293461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11253] ppid=11244 vsize=26538700 memory=592896258078828012 CPUtime=2.27 cores=0-7
/proc/11246/task/11253/stat : 11253 (java) S 11244 11244 10129 0 -1 1077944384 18460 0 0 0 213 14 0 0 20 0 28 0 110450915 27175628800 924149 33554432000 4194304 4196468 140721824079296 140387107060496 140387554293461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11254] ppid=11244 vsize=26538700 memory=3696596 CPUtime=2.25 cores=0-7
/proc/11246/task/11254/stat : 11254 (java) S 11244 11244 10129 0 -1 1077944384 21072 0 0 0 210 15 0 0 20 0 28 0 110450915 27175628800 924149 33554432000 4194304 4196468 140721824079296 140387106008208 140387554293461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11255] ppid=11244 vsize=26538700 memory=1380 CPUtime=2.24 cores=0-7
/proc/11246/task/11255/stat : 11255 (java) S 11244 11244 10129 0 -1 1077944384 21730 0 0 0 208 16 0 0 20 0 28 0 110450915 27175628800 924149 33554432000 4194304 4196468 140721824079296 140387104955408 140387554293461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11256] ppid=11244 vsize=26538700 memory=187974345302191 CPUtime=1.24 cores=0-7
/proc/11246/task/11256/stat : 11256 (java) S 11244 11244 10129 0 -1 1077944384 74213 0 0 0 103 21 0 0 20 0 28 0 110450917 27175628800 924149 33554432000 4194304 4196468 140721824079296 140386950060144 140387554294402 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11257] ppid=11244 vsize=26538700 memory=-3535470213243961690 CPUtime=0 cores=0-7
/proc/11246/task/11257/stat : 11257 (java) S 11244 11244 10129 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 110450917 27175628800 924149 33554432000 4194304 4196468 140721824079296 140386949006176 140387554293461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11258] ppid=11244 vsize=26538700 memory=1380 CPUtime=0 cores=0-7
/proc/11246/task/11258/stat : 11258 (java) S 11244 11244 10129 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 28 0 110450917 27175628800 924149 33554432000 4194304 4196468 140721824079296 140386947953792 140387554293461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11259] ppid=11244 vsize=26538700 memory=1380 CPUtime=0 cores=0-7
/proc/11246/task/11259/stat : 11259 (java) S 11244 11244 10129 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 110450920 27175628800 924149 33554432000 4194304 4196468 140721824079296 140386946902096 140387554301851 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11260] ppid=11244 vsize=26538700 memory=3696596 CPUtime=2.3 cores=0-7
/proc/11246/task/11260/stat : 11260 (java) S 11244 11244 10129 0 -1 1077944384 9081 0 0 0 229 1 0 0 20 0 28 0 110450920 27175628800 924149 33554432000 4194304 4196468 140721824079296 140386945849968 140387554294402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11261] ppid=11244 vsize=26538700 memory=1380 CPUtime=2.26 cores=0-7
/proc/11246/task/11261/stat : 11261 (java) S 11244 11244 10129 0 -1 1077944384 11306 0 0 0 223 3 0 0 20 0 28 0 110450920 27175628800 924149 33554432000 4194304 4196468 140721824079296 140386944797168 140387554294402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11262] ppid=11244 vsize=26538700 memory=4132 CPUtime=2.42 cores=0-7
/proc/11246/task/11262/stat : 11262 (java) S 11244 11244 10129 0 -1 1077944384 14277 0 0 0 240 2 0 0 20 0 28 0 110450920 27175628800 924149 33554432000 4194304 4196468 140721824079296 140386943744880 140387554294402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11263] ppid=11244 vsize=26538700 memory=4132 CPUtime=0.75 cores=0-7
/proc/11246/task/11263/stat : 11263 (java) S 11244 11244 10129 0 -1 1077944384 4998 0 0 0 74 1 0 0 20 0 28 0 110450920 27175628800 924149 33554432000 4194304 4196468 140721824079296 140386942692080 140387554294402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11264] ppid=11244 vsize=26538700 memory=1380 CPUtime=0 cores=0-7
/proc/11246/task/11264/stat : 11264 (java) S 11244 11244 10129 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 110450920 27175628800 924149 33554432000 4194304 4196468 140721824079296 140386941639008 140387554293461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11265] ppid=11244 vsize=26538700 memory=3696596 CPUtime=0.55 cores=0-7
/proc/11246/task/11265/stat : 11265 (java) S 11244 11244 10129 0 -1 1077944384 7008 0 0 0 19 36 0 0 20 0 28 0 110450920 27175628800 924149 33554432000 4194304 4196468 140721824079296 140386940586288 140387554294402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11402] ppid=11244 vsize=26538700 memory=1380 CPUtime=2490.02 cores=0-7
/proc/11246/task/11402/stat : 11402 (java) R 11244 11244 10129 0 -1 4202560 14678 0 0 0 248987 15 0 0 20 0 28 0 110451110 27175628800 924149 33554432000 4194304 4196468 140721824079296 140386927312472 140387198444734 0 4 0 16800975 0 0 0 -1 7 0 0 16 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11403] ppid=11244 vsize=26538700 memory=1380 CPUtime=2489.74 cores=0-7
/proc/11246/task/11403/stat : 11403 (java) R 11244 11244 10129 0 -1 4202560 13313 0 0 0 248960 14 0 0 20 0 28 0 110451110 27175628800 924149 33554432000 4194304 4196468 140721824079296 140386930471352 140387197471092 0 4 0 16800975 0 0 0 -1 4 0 0 16 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11404] ppid=11244 vsize=26538700 memory=3696596 CPUtime=2483.5 cores=0-7
/proc/11246/task/11404/stat : 11404 (java) R 11244 11244 10129 0 -1 4202560 19617 0 0 0 248335 15 0 0 20 0 28 0 110451111 27175628800 924149 33554432000 4194304 4196468 140721824079296 140386932576680 140387198466176 0 4 0 16800975 0 0 0 -1 1 0 0 14 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11405] ppid=11244 vsize=26538700 memory=1380 CPUtime=2493.02 cores=0-7
/proc/11246/task/11405/stat : 11405 (java) R 11244 11244 10129 0 -1 4202560 47190 0 0 0 249245 57 0 0 20 0 28 0 110451111 27175628800 924149 33554432000 4194304 4196468 140721824079296 140386925207840 140387199246358 0 4 0 16800975 0 0 0 -1 6 0 0 11 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11406] ppid=11244 vsize=26538700 memory=1380 CPUtime=2490.42 cores=0-7
/proc/11246/task/11406/stat : 11406 (java) R 11244 11244 10129 0 -1 4202560 55266 0 0 0 248935 107 0 0 20 0 28 0 110451111 27175628800 924149 33554432000 4194304 4196468 140721824079296 140386929419352 140387198444904 0 4 0 16800975 0 0 0 -1 0 0 0 16 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11407] ppid=11244 vsize=26538700 memory=3696596 CPUtime=2489.87 cores=0-7
/proc/11246/task/11407/stat : 11407 (java) R 11244 11244 10129 0 -1 4202560 18469 0 0 0 248969 18 0 0 20 0 28 0 110451111 27175628800 924149 33554432000 4194304 4196468 140721824079296 140386926261096 140387197960807 0 4 0 16800975 0 0 0 -1 5 0 0 12 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11408] ppid=11244 vsize=26538700 memory=2332 CPUtime=2483.99 cores=0-7
/proc/11246/task/11408/stat : 11408 (java) R 11244 11244 10129 0 -1 4202560 71433 0 0 0 248239 160 0 0 20 0 28 0 110451111 27175628800 924149 33554432000 4194304 4196468 140721824079296 140386931526160 140387198299458 0 4 0 16800975 0 0 0 -1 2 0 0 14 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11409] ppid=11244 vsize=26538700 memory=31472 CPUtime=2483.98 cores=0-7
/proc/11246/task/11409/stat : 11409 (java) R 11244 11244 10129 0 -1 4202560 14070 0 0 0 248383 15 0 0 20 0 28 0 110451112 27175628800 924149 33554432000 4194304 4196468 140721824079296 140386928365752 140387197354494 0 4 0 16800975 0 0 0 -1 3 0 0 15 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
Current children cumulated CPU time: 19935.1 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 3697976 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.53 8.40 8.34 10/208 11466
/proc/meminfo: memFree=27873240/32770624 swapFree=67108860/67108860
[pid=11244] ppid=11241 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/11244/stat : 11244 (xcsp3-exec) S 11241 11244 10129 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 110450914 9740288 345 33554432000 4194304 5098028 140721032220720 140721032218824 140673093067388 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35250176 140721032221796 140721032222007 140721032222007 140721032224747 0
/proc/11244/statm: 2378 345 289 221 0 87 0
[pid=11246] ppid=11244 vsize=26538700 memory=3696696 CPUtime=20076.3 cores=0-7
/proc/11246/stat : 11246 (java) S 11244 11244 10129 0 -1 1077944320 559460 0 0 0 2007076 556 0 0 20 0 28 0 110450914 27175628800 924174 33554432000 4194304 4196468 140721824079296 140721824061840 140387554283255 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
/proc/11246/statm: 6634675 924174 3305 1 0 6621909 0
[pid=11246/tid=11247] ppid=11244 vsize=26538700 memory=1398720917958146503 CPUtime=1.52 cores=0-7
/proc/11246/task/11247/stat : 11247 (java) S 11244 11244 10129 0 -1 1077944384 6992 0 0 0 147 5 0 0 20 0 28 0 110450914 27175628800 924174 33554432000 4194304 4196468 140721824079296 140387558524032 140387554293461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11248] ppid=11244 vsize=26538700 memory=-7003737579269690708 CPUtime=2.23 cores=0-7
/proc/11246/task/11248/stat : 11248 (java) S 11244 11244 10129 0 -1 1077944384 22352 0 0 0 208 15 0 0 20 0 28 0 110450915 27175628800 924174 33554432000 4194304 4196468 140721824079296 140387517389200 140387554293461 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11249] ppid=11244 vsize=26538700 memory=1380 CPUtime=2.22 cores=0-7
/proc/11246/task/11249/stat : 11249 (java) S 11244 11244 10129 0 -1 1077944384 21693 0 0 0 207 15 0 0 20 0 28 0 110450915 27175628800 924174 33554432000 4194304 4196468 140721824079296 140387111270672 140387554293461 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11250] ppid=11244 vsize=26538700 memory=3614380 CPUtime=2.28 cores=0-7
/proc/11246/task/11250/stat : 11250 (java) S 11244 11244 10129 0 -1 1077944384 21730 0 0 0 212 16 0 0 20 0 28 0 110450915 27175628800 924174 33554432000 4194304 4196468 140721824079296 140387110218384 140387554293461 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11251] ppid=11244 vsize=26538700 memory=4100 CPUtime=2.24 cores=0-7
/proc/11246/task/11251/stat : 11251 (java) S 11244 11244 10129 0 -1 1077944384 21031 0 0 0 210 14 0 0 20 0 28 0 110450915 27175628800 924174 33554432000 4194304 4196468 140721824079296 140387109165584 140387554293461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11252] ppid=11244 vsize=26538700 memory=1380 CPUtime=2.23 cores=0-7
/proc/11246/task/11252/stat : 11252 (java) S 11244 11244 10129 0 -1 1077944384 21727 0 0 0 209 14 0 0 20 0 28 0 110450915 27175628800 924174 33554432000 4194304 4196468 140721824079296 140387108113296 140387554293461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11253] ppid=11244 vsize=26538700 memory=1380 CPUtime=2.27 cores=0-7
/proc/11246/task/11253/stat : 11253 (java) S 11244 11244 10129 0 -1 1077944384 18510 0 0 0 213 14 0 0 20 0 28 0 110450915 27175628800 924174 33554432000 4194304 4196468 140721824079296 140387107060496 140387554293461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11254] ppid=11244 vsize=26538700 memory=3696668 CPUtime=2.26 cores=0-7
/proc/11246/task/11254/stat : 11254 (java) S 11244 11244 10129 0 -1 1077944384 21414 0 0 0 211 15 0 0 20 0 28 0 110450915 27175628800 924174 33554432000 4194304 4196468 140721824079296 140387106008208 140387554293461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11255] ppid=11244 vsize=26538700 memory=5788 CPUtime=2.24 cores=0-7
/proc/11246/task/11255/stat : 11255 (java) S 11244 11244 10129 0 -1 1077944384 21806 0 0 0 208 16 0 0 20 0 28 0 110450915 27175628800 924174 33554432000 4194304 4196468 140721824079296 140387104955408 140387554293461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11256] ppid=11244 vsize=26538700 memory=796 CPUtime=1.24 cores=0-7
/proc/11246/task/11256/stat : 11256 (java) S 11244 11244 10129 0 -1 1077944384 74782 0 0 0 103 21 0 0 20 0 28 0 110450917 27175628800 924174 33554432000 4194304 4196468 140721824079296 140386950060144 140387554294402 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11257] ppid=11244 vsize=26538700 memory=10020 CPUtime=0 cores=0-7
/proc/11246/task/11257/stat : 11257 (java) S 11244 11244 10129 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 110450917 27175628800 924174 33554432000 4194304 4196468 140721824079296 140386949006176 140387554293461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11258] ppid=11244 vsize=26538700 memory=1948 CPUtime=0 cores=0-7
/proc/11246/task/11258/stat : 11258 (java) S 11244 11244 10129 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 28 0 110450917 27175628800 924174 33554432000 4194304 4196468 140721824079296 140386947953792 140387554293461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11259] ppid=11244 vsize=26538700 memory=8540 CPUtime=0 cores=0-7
/proc/11246/task/11259/stat : 11259 (java) S 11244 11244 10129 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 110450920 27175628800 924174 33554432000 4194304 4196468 140721824079296 140386946902096 140387554301851 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11260] ppid=11244 vsize=26538700 memory=4616 CPUtime=2.3 cores=0-7
/proc/11246/task/11260/stat : 11260 (java) S 11244 11244 10129 0 -1 1077944384 9086 0 0 0 229 1 0 0 20 0 28 0 110450920 27175628800 924174 33554432000 4194304 4196468 140721824079296 140386945849968 140387554294402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11261] ppid=11244 vsize=26538700 memory=1720 CPUtime=2.26 cores=0-7
/proc/11246/task/11261/stat : 11261 (java) S 11244 11244 10129 0 -1 1077944384 11311 0 0 0 223 3 0 0 20 0 28 0 110450920 27175628800 924174 33554432000 4194304 4196468 140721824079296 140386944797168 140387554294402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11262] ppid=11244 vsize=26538700 memory=1004 CPUtime=2.42 cores=0-7
/proc/11246/task/11262/stat : 11262 (java) S 11244 11244 10129 0 -1 1077944384 14283 0 0 0 240 2 0 0 20 0 28 0 110450920 27175628800 924174 33554432000 4194304 4196468 140721824079296 140386943744880 140387554294402 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11263] ppid=11244 vsize=26538700 memory=1436 CPUtime=0.75 cores=0-7
/proc/11246/task/11263/stat : 11263 (java) S 11244 11244 10129 0 -1 1077944384 5008 0 0 0 74 1 0 0 20 0 28 0 110450920 27175628800 924174 33554432000 4194304 4196468 140721824079296 140386942692080 140387554294402 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11264] ppid=11244 vsize=26538700 memory=1200 CPUtime=0 cores=0-7
/proc/11246/task/11264/stat : 11264 (java) S 11244 11244 10129 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 110450920 27175628800 924174 33554432000 4194304 4196468 140721824079296 140386941639008 140387554293461 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11265] ppid=11244 vsize=26538700 memory=648 CPUtime=0.55 cores=0-7
/proc/11246/task/11265/stat : 11265 (java) S 11244 11244 10129 0 -1 1077944384 7103 0 0 0 19 36 0 0 20 0 28 0 110450920 27175628800 924174 33554432000 4194304 4196468 140721824079296 140386940586288 140387554294402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11402] ppid=11244 vsize=26538700 memory=1236 CPUtime=2507.71 cores=0-7
/proc/11246/task/11402/stat : 11402 (java) R 11244 11244 10129 0 -1 4202560 14948 0 0 0 250756 15 0 0 20 0 28 0 110451110 27175628800 924174 33554432000 4194304 4196468 140721824079296 140386927311592 140387198444116 0 4 0 16800975 0 0 0 -1 5 0 0 16 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11403] ppid=11244 vsize=26538700 memory=960 CPUtime=2507.42 cores=0-7
/proc/11246/task/11403/stat : 11403 (java) R 11244 11244 10129 0 -1 4202560 13518 0 0 0 250728 14 0 0 20 0 28 0 110451110 27175628800 924174 33554432000 4194304 4196468 140721824079296 140386930471352 140387197471096 0 4 0 16800975 0 0 0 -1 2 0 0 16 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11404] ppid=11244 vsize=26538700 memory=2340 CPUtime=2501.2 cores=0-7
/proc/11246/task/11404/stat : 11404 (java) R 11244 11244 10129 0 -1 4202560 19789 0 0 0 250105 15 0 0 20 0 28 0 110451111 27175628800 924174 33554432000 4194304 4196468 140721824079296 140386932576432 140387198122433 0 4 0 16800975 0 0 0 -1 1 0 0 14 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11405] ppid=11244 vsize=26538700 memory=2236 CPUtime=2510.73 cores=0-7
/proc/11246/task/11405/stat : 11405 (java) R 11244 11244 10129 0 -1 4202560 47716 0 0 0 251015 58 0 0 20 0 28 0 110451111 27175628800 924174 33554432000 4194304 4196468 140721824079296 140386925207896 140387198788801 0 4 0 16800975 0 0 0 -1 0 0 0 11 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11406] ppid=11244 vsize=26538700 memory=4084 CPUtime=2507.94 cores=0-7
/proc/11246/task/11406/stat : 11406 (java) R 11244 11244 10129 0 -1 4202560 55968 0 0 0 250686 108 0 0 20 0 28 0 110451111 27175628800 924174 33554432000 4194304 4196468 140721824079296 140386929421552 140387197507089 0 4 0 16800975 0 0 0 -1 3 0 0 17 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11407] ppid=11244 vsize=26538700 memory=932 CPUtime=2507.49 cores=0-7
/proc/11246/task/11407/stat : 11407 (java) R 11244 11244 10129 0 -1 4202560 18706 0 0 0 250731 18 0 0 20 0 28 0 110451111 27175628800 924174 33554432000 4194304 4196468 140721824079296 140386926261096 140387197354632 0 4 0 16800975 0 0 0 -1 4 0 0 12 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11408] ppid=11244 vsize=26538700 memory=1572 CPUtime=2501.68 cores=0-7
/proc/11246/task/11408/stat : 11408 (java) R 11244 11244 10129 0 -1 4202560 71820 0 0 0 250008 160 0 0 20 0 28 0 110451111 27175628800 924174 33554432000 4194304 4196468 140721824079296 140386931523048 140387197470985 0 4 0 16800975 0 0 0 -1 6 0 0 14 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
[pid=11246/tid=11409] ppid=11244 vsize=26538700 memory=2200 CPUtime=2501.58 cores=0-7
/proc/11246/task/11409/stat : 11409 (java) R 11244 11244 10129 0 -1 4202560 14309 0 0 0 250143 15 0 0 20 0 28 0 110451112 27175628800 924174 33554432000 4194304 4196468 140721824079296 140386928365752 140387198465135 0 4 0 16800975 0 0 0 -1 7 0 0 16 0 0 6293624 6294260 35831808 140721824081042 140721824081219 140721824081219 140721824083919 0
Current children cumulated CPU time: 20076.3 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 3698076 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2520.04 s]
# the end of solver process 11244 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.000821 s, system=0.001643 s

[startup+2520.13 s]
# the end of solver process 11246 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=20071.5 s, system=5.59726 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): 2520.13
CPU time (s): 20077.1
CPU user time (s): 20071.5
CPU system time (s): 5.59726
CPU usage (%): 796.668
Max. virtual memory (cumulated for all children) (KiB): 26550020
Max. memory (cumulated for all children) (KiB): 4774028

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20071.5
system time used= 5.59726
maximum resident set size= 4773168
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 560749
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3224
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 146473
involuntary context switches= 208648


# summary of solver processes directly reported to runsolver:
#   pid: 11244,11246
#   total CPU time (s): 20077.1
#   total CPU user time (s): 20071.5
#   total CPU system time (s): 5.59726

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 29.588 second user time and 20.1992 second system time

The end