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 (9038 MiB free)
memory of node 1: 16384 MiB (13006 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387238-1568296501/watcher-4387238-1568296501 -o /tmp/evaluation-result-4387238-1568296501/solver-4387238-1568296501 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node143-1568286551-1787 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1854077964 HOME/instance-4387238-1568296501.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=4929, runsolver pid=4926
Current StackSize limit: 8192 KiB
[startup+0.101859 s]*
/proc/loadavg: 1.46 1.31 1.36 3/220 4986
/proc/meminfo: memFree=22564004/32770624 swapFree=67108848/67108860
[pid=4929] ppid=4926 vsize=9972712 memory=18592 CPUtime=0.08 cores=1,3,5,7
/proc/4929/stat : 4929 (java) S 4926 4929 466 0 -1 1077944320 4353 13368 0 0 1 0 5 2 20 0 6 0 405587488 10212057088 4648 33554432000 4194304 4196468 140734416457056 140734416439600 139675870146295 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
/proc/4929/statm: 2493178 4648 1935 1 0 2481616 0
[pid=4929/tid=4982] ppid=4926 vsize=9972712 memory=8514726395714820750 CPUtime=0.08 cores=1,3,5,7
/proc/4929/task/4982/stat : 4982 (java) R 4926 4929 466 0 -1 4202560 2176 13368 0 0 1 0 5 2 20 0 6 0 405587497 10212057088 4648 33554432000 4194304 4196468 140734416457056 139675841983056 139675855458297 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4983] ppid=4926 vsize=9972712 memory=-7025452035940392864 CPUtime=0.07 cores=1,3,5,7
/proc/4929/task/4983/stat : 4983 (java) S 4926 4929 466 0 -1 1077944384 1 13368 0 0 0 0 5 2 20 0 6 0 405587498 10212057088 4648 33554432000 4194304 4196468 140734416457056 139675874389008 139675870156501 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4984] ppid=4926 vsize=9972712 memory=139694496835200 CPUtime=0.07 cores=1,3,5,7
/proc/4929/task/4984/stat : 4984 (java) S 4926 4929 466 0 -1 1077944384 1 13368 0 0 0 0 5 2 20 0 6 0 405587498 10212057088 4648 33554432000 4194304 4196468 140734416457056 139675762662544 139675870156501 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4985] ppid=4926 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4929/task/4985/stat : 4985 (java) S 4926 4929 466 0 -1 1077944384 1 13368 0 0 0 0 5 2 20 0 6 0 405587498 10212057088 4648 33554432000 4194304 4196468 140734416457056 139675761609488 139675870156501 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4986] ppid=4926 vsize=9972712 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/4929/task/4986/stat : 4986 (java) S 4926 4929 466 0 -1 1077944384 2 13368 0 0 0 0 5 2 20 0 6 0 405587498 10212057088 4648 33554432000 4194304 4196468 140734416457056 139675760556944 139675870156501 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18592 KiB
[startup+0.20998 s]*
/proc/loadavg: 1.46 1.31 1.36 3/229 4995
/proc/meminfo: memFree=22544892/32770624 swapFree=67108848/67108860
[pid=4929] ppid=4926 vsize=10818940 memory=41548 CPUtime=0.25 cores=1,3,5,7
/proc/4929/stat : 4929 (java) S 4926 4929 466 0 -1 1077944320 6747 13368 0 0 17 1 5 2 20 0 15 0 405587488 11078594560 10387 33554432000 4194304 4196468 140734416457056 140734416439600 139675870146295 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
/proc/4929/statm: 2704735 10387 2968 1 0 2667149 0
[pid=4929/tid=4982] ppid=4926 vsize=10818940 memory=7022364594140610616 CPUtime=0.18 cores=1,3,5,7
/proc/4929/task/4982/stat : 4982 (java) R 4926 4929 466 0 -1 4202560 3260 13368 0 0 11 0 5 2 20 0 15 0 405587497 11078594560 10387 33554432000 4194304 4196468 140734416457056 139675841979312 139675854226782 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4983] ppid=4926 vsize=10818940 memory=345 CPUtime=0.07 cores=1,3,5,7
/proc/4929/task/4983/stat : 4983 (java) S 4926 4929 466 0 -1 1077944384 1 13368 0 0 0 0 5 2 20 0 15 0 405587498 11078594560 10387 33554432000 4194304 4196468 140734416457056 139675874389008 139675870156501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4984] ppid=4926 vsize=10818940 memory=139694496841310 CPUtime=0.07 cores=1,3,5,7
/proc/4929/task/4984/stat : 4984 (java) S 4926 4929 466 0 -1 1077944384 1 13368 0 0 0 0 5 2 20 0 15 0 405587498 11078594560 10387 33554432000 4194304 4196468 140734416457056 139675762662544 139675870156501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4985] ppid=4926 vsize=10818940 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4929/task/4985/stat : 4985 (java) S 4926 4929 466 0 -1 1077944384 1 13368 0 0 0 0 5 2 20 0 15 0 405587498 11078594560 10387 33554432000 4194304 4196468 140734416457056 139675761609488 139675870156501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4986] ppid=4926 vsize=10818940 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/4929/task/4986/stat : 4986 (java) S 4926 4929 466 0 -1 1077944384 2 13368 0 0 0 0 5 2 20 0 15 0 405587498 11078594560 10387 33554432000 4194304 4196468 140734416457056 139675760556944 139675870156501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4987] ppid=4926 vsize=10818940 memory=139694496835200 CPUtime=0.07 cores=1,3,5,7
/proc/4929/task/4987/stat : 4987 (java) S 4926 4929 466 0 -1 1077944384 2 13368 0 0 0 0 5 2 20 0 15 0 405587499 11078594560 10387 33554432000 4194304 4196468 140734416457056 139675329566960 139675870157442 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4988] ppid=4926 vsize=10818940 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/4929/task/4988/stat : 4988 (java) S 4926 4929 466 0 -1 1077944384 33 13368 0 0 0 0 5 2 20 0 15 0 405587500 11078594560 10387 33554432000 4194304 4196468 140734416457056 139675328513184 139675870156501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4989] ppid=4926 vsize=10818940 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4929/task/4989/stat : 4989 (java) S 4926 4929 466 0 -1 1077944384 1 13368 0 0 0 0 5 2 20 0 15 0 405587500 11078594560 10387 33554432000 4194304 4196468 140734416457056 139675222139632 139675870156501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4990] ppid=4926 vsize=10818940 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4929/task/4990/stat : 4990 (java) S 4926 4929 466 0 -1 1077944384 2 13368 0 0 0 0 5 2 20 0 15 0 405587503 11078594560 10387 33554432000 4194304 4196468 140734416457056 139674618161104 139675870164891 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4991] ppid=4926 vsize=10818940 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4929/task/4991/stat : 4991 (java) R 4926 4929 466 0 -1 1077944384 434 13368 0 0 1 0 5 2 20 0 15 0 405587503 11078594560 10387 33554432000 4194304 4196468 140734416457056 139675294956272 139675870157442 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4992] ppid=4926 vsize=10818940 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/4929/task/4992/stat : 4992 (java) S 4926 4929 466 0 -1 1077944384 178 13368 0 0 0 0 5 2 20 0 15 0 405587503 11078594560 10387 33554432000 4194304 4196468 140734416457056 139675293903728 139675870157442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4993] ppid=4926 vsize=10818940 memory=139694496835200 CPUtime=0.1 cores=1,3,5,7
/proc/4929/task/4993/stat : 4993 (java) R 4926 4929 466 0 -1 4202560 634 13368 0 0 3 0 5 2 20 0 15 0 405587503 11078594560 10387 33554432000 4194304 4196468 140734416457056 139675292850672 139675848821067 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4994] ppid=4926 vsize=10818940 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/4929/task/4994/stat : 4994 (java) S 4926 4929 466 0 -1 1077944384 3 13368 0 0 0 0 5 2 20 0 15 0 405587503 11078594560 10387 33554432000 4194304 4196468 140734416457056 139674148399968 139675870156501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4995] ppid=4926 vsize=10818940 memory=139694496835200 CPUtime=0.07 cores=1,3,5,7
/proc/4929/task/4995/stat : 4995 (java) S 4926 4929 466 0 -1 1077944384 1 13368 0 0 0 0 5 2 20 0 15 0 405587503 11078594560 10387 33554432000 4194304 4196468 140734416457056 139675291798064 139675870157442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818940 KiB
Current children cumulated memory: 41548 KiB
[startup+0.31061 s]*
/proc/loadavg: 1.46 1.31 1.36 3/229 4995
/proc/meminfo: memFree=22533868/32770624 swapFree=67108848/67108860
[pid=4929] ppid=4926 vsize=10820096 memory=52924 CPUtime=0.39 cores=1,3,5,7
/proc/4929/stat : 4929 (java) S 4926 4929 466 0 -1 1077944320 10502 13368 0 0 29 3 5 2 20 0 15 0 405587488 11079778304 13231 33554432000 4194304 4196468 140734416457056 140734416439600 139675870146295 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
/proc/4929/statm: 2705024 13231 3222 1 0 2667149 0
[pid=4929/tid=4982] ppid=4926 vsize=10820096 memory=1398722017469774279 CPUtime=0.28 cores=1,3,5,7
/proc/4929/task/4982/stat : 4982 (java) R 4926 4929 466 0 -1 4202560 6992 13368 0 0 19 2 5 2 20 0 15 0 405587497 11079778304 13231 33554432000 4194304 4196468 140734416457056 139675841964400 139675440388029 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4983] ppid=4926 vsize=10820096 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4929/task/4983/stat : 4983 (java) S 4926 4929 466 0 -1 1077944384 1 13368 0 0 0 0 5 2 20 0 15 0 405587498 11079778304 13231 33554432000 4194304 4196468 140734416457056 139675874389008 139675870156501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4984] ppid=4926 vsize=10820096 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4929/task/4984/stat : 4984 (java) S 4926 4929 466 0 -1 1077944384 1 13368 0 0 0 0 5 2 20 0 15 0 405587498 11079778304 13231 33554432000 4194304 4196468 140734416457056 139675762662544 139675870156501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4985] ppid=4926 vsize=10820096 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4929/task/4985/stat : 4985 (java) S 4926 4929 466 0 -1 1077944384 1 13368 0 0 0 0 5 2 20 0 15 0 405587498 11079778304 13231 33554432000 4194304 4196468 140734416457056 139675761609488 139675870156501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4986] ppid=4926 vsize=10820096 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4929/task/4986/stat : 4986 (java) S 4926 4929 466 0 -1 1077944384 2 13368 0 0 0 0 5 2 20 0 15 0 405587498 11079778304 13231 33554432000 4194304 4196468 140734416457056 139675760556944 139675870156501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4987] ppid=4926 vsize=10820096 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4929/task/4987/stat : 4987 (java) S 4926 4929 466 0 -1 1077944384 2 13368 0 0 0 0 5 2 20 0 15 0 405587499 11079778304 13231 33554432000 4194304 4196468 140734416457056 139675329566960 139675870157442 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4988] ppid=4926 vsize=10820096 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/4929/task/4988/stat : 4988 (java) S 4926 4929 466 0 -1 1077944384 33 13368 0 0 0 0 5 2 20 0 15 0 405587500 11079778304 13231 33554432000 4194304 4196468 140734416457056 139675328513184 139675870156501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4989] ppid=4926 vsize=10820096 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4929/task/4989/stat : 4989 (java) S 4926 4929 466 0 -1 1077944384 1 13368 0 0 0 0 5 2 20 0 15 0 405587500 11079778304 13231 33554432000 4194304 4196468 140734416457056 139675222139632 139675870156501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4990] ppid=4926 vsize=10820096 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4929/task/4990/stat : 4990 (java) S 4926 4929 466 0 -1 1077944384 2 13368 0 0 0 0 5 2 20 0 15 0 405587503 11079778304 13231 33554432000 4194304 4196468 140734416457056 139674618161104 139675870164891 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4991] ppid=4926 vsize=10820096 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/4929/task/4991/stat : 4991 (java) S 4926 4929 466 0 -1 1077944384 436 13368 0 0 2 0 5 2 20 0 15 0 405587503 11079778304 13231 33554432000 4194304 4196468 140734416457056 139675294956272 139675870157442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4992] ppid=4926 vsize=10820096 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/4929/task/4992/stat : 4992 (java) S 4926 4929 466 0 -1 1077944384 178 13368 0 0 1 0 5 2 20 0 15 0 405587503 11079778304 13231 33554432000 4194304 4196468 140734416457056 139675293903728 139675870157442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4993] ppid=4926 vsize=10820096 memory=139694496835200 CPUtime=0.12 cores=1,3,5,7
/proc/4929/task/4993/stat : 4993 (java) R 4926 4929 466 0 -1 4202560 646 13368 0 0 5 0 5 2 20 0 15 0 405587503 11079778304 13231 33554432000 4194304 4196468 140734416457056 139675292850672 139675870167642 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4994] ppid=4926 vsize=10820096 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/4929/task/4994/stat : 4994 (java) S 4926 4929 466 0 -1 1077944384 3 13368 0 0 0 0 5 2 20 0 15 0 405587503 11079778304 13231 33554432000 4194304 4196468 140734416457056 139674148399968 139675870156501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4995] ppid=4926 vsize=10820096 memory=139694496835200 CPUtime=0.07 cores=1,3,5,7
/proc/4929/task/4995/stat : 4995 (java) S 4926 4929 466 0 -1 1077944384 1 13368 0 0 0 0 5 2 20 0 15 0 405587503 11079778304 13231 33554432000 4194304 4196468 140734416457056 139675291798064 139675870157442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10820096 KiB
Current children cumulated memory: 52924 KiB
[startup+0.700681 s]
/proc/loadavg: 1.46 1.31 1.36 5/229 4995
/proc/meminfo: memFree=22518532/32770624 swapFree=67108848/67108860
[pid=4929] ppid=4926 vsize=10824340 memory=83028 CPUtime=1.15 cores=1,3,5,7
/proc/4929/stat : 4929 (java) S 4926 4929 466 0 -1 1077944320 14493 13368 0 0 103 5 5 2 20 0 15 0 405587488 11084124160 20757 33554432000 4194304 4196468 140734416457056 140734416439600 139675870146295 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
/proc/4929/statm: 2706085 20757 3509 1 0 2668173 0
[pid=4929/tid=4982] ppid=4926 vsize=10825364 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/4929/task/4982/stat : 4982 (java) R 4926 4929 466 0 -1 4202560 10228 13368 0 0 56 3 5 2 20 0 15 0 405587497 11085172736 20757 33554432000 4194304 4196468 140734416457056 139675841964256 139675862826013 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4983] ppid=4926 vsize=10825364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4929/task/4983/stat : 4983 (java) S 4926 4929 466 0 -1 1077944384 1 13368 0 0 0 0 5 2 20 0 15 0 405587498 11085172736 20757 33554432000 4194304 4196468 140734416457056 139675874389008 139675870156501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4984] ppid=4926 vsize=10824340 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4929/task/4984/stat : 4984 (java) S 4926 4929 466 0 -1 1077944384 1 13368 0 0 0 0 5 2 20 0 15 0 405587498 11084124160 20757 33554432000 4194304 4196468 140734416457056 139675762662544 139675870156501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4985] ppid=4926 vsize=10824340 memory=139694348316880 CPUtime=0.07 cores=1,3,5,7
/proc/4929/task/4985/stat : 4985 (java) S 4926 4929 466 0 -1 1077944384 1 13368 0 0 0 0 5 2 20 0 15 0 405587498 11084124160 20757 33554432000 4194304 4196468 140734416457056 139675761609488 139675870156501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4986] ppid=4926 vsize=10824340 memory=139698106270290 CPUtime=0.07 cores=1,3,5,7
/proc/4929/task/4986/stat : 4986 (java) S 4926 4929 466 0 -1 1077944384 2 13368 0 0 0 0 5 2 20 0 15 0 405587498 11084124160 20757 33554432000 4194304 4196468 140734416457056 139675760556944 139675870156501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4987] ppid=4926 vsize=10824340 memory=1840 CPUtime=0.07 cores=1,3,5,7
/proc/4929/task/4987/stat : 4987 (java) S 4926 4929 466 0 -1 1077944384 5 13368 0 0 0 0 5 2 20 0 15 0 405587499 11084124160 20757 33554432000 4194304 4196468 140734416457056 139675329566960 139675870157442 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4988] ppid=4926 vsize=10824340 memory=7302135314614015849 CPUtime=0.07 cores=1,3,5,7
/proc/4929/task/4988/stat : 4988 (java) S 4926 4929 466 0 -1 1077944384 33 13368 0 0 0 0 5 2 20 0 15 0 405587500 11084124160 20757 33554432000 4194304 4196468 140734416457056 139675328513184 139675870156501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4989] ppid=4926 vsize=10824340 memory=6010179516970067026 CPUtime=0.07 cores=1,3,5,7
/proc/4929/task/4989/stat : 4989 (java) S 4926 4929 466 0 -1 1077944384 1 13368 0 0 0 0 5 2 20 0 15 0 405587500 11084124160 20757 33554432000 4194304 4196468 140734416457056 139675222139632 139675870156501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4990] ppid=4926 vsize=10824340 memory=1100 CPUtime=0.07 cores=1,3,5,7
/proc/4929/task/4990/stat : 4990 (java) S 4926 4929 466 0 -1 1077944384 2 13368 0 0 0 0 5 2 20 0 15 0 405587503 11084124160 20757 33554432000 4194304 4196468 140734416457056 139674618161104 139675870164891 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4991] ppid=4926 vsize=10824340 memory=15208 CPUtime=0.2 cores=1,3,5,7
/proc/4929/task/4991/stat : 4991 (java) S 4926 4929 466 0 -1 1077944384 732 13368 0 0 13 0 5 2 20 0 15 0 405587503 11084124160 20757 33554432000 4194304 4196468 140734416457056 139675294956272 139675870157442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4992] ppid=4926 vsize=10824340 memory=22944 CPUtime=0.21 cores=1,3,5,7
/proc/4929/task/4992/stat : 4992 (java) S 4926 4929 466 0 -1 1077944384 508 13368 0 0 14 0 5 2 20 0 15 0 405587503 11084124160 20757 33554432000 4194304 4196468 140734416457056 139675293903728 139675870157442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4993] ppid=4926 vsize=10824340 memory=4048 CPUtime=0.24 cores=1,3,5,7
/proc/4929/task/4993/stat : 4993 (java) R 4926 4929 466 0 -1 4202560 800 13368 0 0 17 0 5 2 20 0 15 0 405587503 11084124160 20757 33554432000 4194304 4196468 140734416457056 139675292850672 139675870167642 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4994] ppid=4926 vsize=10824340 memory=14288 CPUtime=0.07 cores=1,3,5,7
/proc/4929/task/4994/stat : 4994 (java) S 4926 4929 466 0 -1 1077944384 3 13368 0 0 0 0 5 2 20 0 15 0 405587503 11084124160 20757 33554432000 4194304 4196468 140734416457056 139674148399968 139675870156501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4995] ppid=4926 vsize=10824340 memory=504 CPUtime=0.07 cores=1,3,5,7
/proc/4929/task/4995/stat : 4995 (java) S 4926 4929 466 0 -1 1077944384 1 13368 0 0 0 0 5 2 20 0 15 0 405587503 11084124160 20757 33554432000 4194304 4196468 140734416457056 139675291798064 139675870157442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 10824340 KiB
Current children cumulated memory: 83028 KiB
[startup+1.50072 s]
/proc/loadavg: 1.46 1.31 1.36 5/229 4995
/proc/meminfo: memFree=22457916/32770624 swapFree=67108848/67108860
[pid=4929] ppid=4926 vsize=10834656 memory=234048 CPUtime=3.39 cores=1,3,5,7
/proc/4929/stat : 4929 (java) S 4926 4929 466 0 -1 1077944320 42223 13368 0 0 319 13 5 2 20 0 15 0 405587488 11094687744 58512 33554432000 4194304 4196468 140734416457056 140734416439600 139675870146295 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
/proc/4929/statm: 2708664 58512 3574 1 0 2670733 0
[pid=4929/tid=4982] ppid=4926 vsize=10834656 memory=1398722017469774279 CPUtime=1.41 cores=1,3,5,7
/proc/4929/task/4982/stat : 4982 (java) R 4926 4929 466 0 -1 4202560 17431 13368 0 0 128 6 5 2 20 0 15 0 405587497 11094687744 58512 33554432000 4194304 4196468 140734416457056 139675841976336 139675851708208 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4983] ppid=4926 vsize=10834656 memory=4126316290023845779 CPUtime=0.08 cores=1,3,5,7
/proc/4929/task/4983/stat : 4983 (java) S 4926 4929 466 0 -1 1077944384 323 13368 0 0 1 0 5 2 20 0 15 0 405587498 11094687744 58512 33554432000 4194304 4196468 140734416457056 139675874389008 139675870156501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4984] ppid=4926 vsize=10834656 memory=279388696666080 CPUtime=0.08 cores=1,3,5,7
/proc/4929/task/4984/stat : 4984 (java) S 4926 4929 466 0 -1 1077944384 65 13368 0 0 1 0 5 2 20 0 15 0 405587498 11094687744 58512 33554432000 4194304 4196468 140734416457056 139675762662544 139675870156501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4985] ppid=4926 vsize=10834656 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4929/task/4985/stat : 4985 (java) S 4926 4929 466 0 -1 1077944384 24 13368 0 0 1 0 5 2 20 0 15 0 405587498 11094687744 58512 33554432000 4194304 4196468 140734416457056 139675761609488 139675870156501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4986] ppid=4926 vsize=10834656 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4929/task/4986/stat : 4986 (java) S 4926 4929 466 0 -1 1077944384 61 13368 0 0 1 0 5 2 20 0 15 0 405587498 11094687744 58512 33554432000 4194304 4196468 140734416457056 139675760556944 139675870156501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4987] ppid=4926 vsize=10834656 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4929/task/4987/stat : 4987 (java) S 4926 4929 466 0 -1 1077944384 1304 13368 0 0 1 0 5 2 20 0 15 0 405587499 11094687744 58512 33554432000 4194304 4196468 140734416457056 139675329566960 139675870157442 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4988] ppid=4926 vsize=10834656 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4929/task/4988/stat : 4988 (java) S 4926 4929 466 0 -1 1077944384 34 13368 0 0 0 0 5 2 20 0 15 0 405587500 11094687744 58512 33554432000 4194304 4196468 140734416457056 139675328513248 139675870156501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4989] ppid=4926 vsize=10834656 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4929/task/4989/stat : 4989 (java) S 4926 4929 466 0 -1 1077944384 1 13368 0 0 0 0 5 2 20 0 15 0 405587500 11094687744 58512 33554432000 4194304 4196468 140734416457056 139675222139648 139675870156501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4990] ppid=4926 vsize=10834656 memory=33 CPUtime=0.07 cores=1,3,5,7
/proc/4929/task/4990/stat : 4990 (java) S 4926 4929 466 0 -1 1077944384 2 13368 0 0 0 0 5 2 20 0 15 0 405587503 11094687744 58512 33554432000 4194304 4196468 140734416457056 139674618161104 139675870164891 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4991] ppid=4926 vsize=10834656 memory=734122135013307702 CPUtime=0.76 cores=1,3,5,7
/proc/4929/task/4991/stat : 4991 (java) S 4926 4929 466 0 -1 1077944384 8880 13368 0 0 68 1 5 2 20 0 15 0 405587503 11094687744 58512 33554432000 4194304 4196468 140734416457056 139675294956272 139675870157442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4992] ppid=4926 vsize=10834656 memory=7235147594880805952 CPUtime=0.77 cores=1,3,5,7
/proc/4929/task/4992/stat : 4992 (java) S 4926 4929 466 0 -1 1077944384 8991 13368 0 0 69 1 5 2 20 0 15 0 405587503 11094687744 58512 33554432000 4194304 4196468 140734416457056 139675293903728 139675870157442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4993] ppid=4926 vsize=10834656 memory=8112282956445269571 CPUtime=0.51 cores=1,3,5,7
/proc/4929/task/4993/stat : 4993 (java) S 4926 4929 466 0 -1 1077944384 2898 13368 0 0 43 1 5 2 20 0 15 0 405587503 11094687744 58512 33554432000 4194304 4196468 140734416457056 139675292850672 139675870157442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4994] ppid=4926 vsize=10834656 memory=7660992747008971605 CPUtime=0.07 cores=1,3,5,7
/proc/4929/task/4994/stat : 4994 (java) S 4926 4929 466 0 -1 1077944384 3 13368 0 0 0 0 5 2 20 0 15 0 405587503 11094687744 58512 33554432000 4194304 4196468 140734416457056 139674148399968 139675870156501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4995] ppid=4926 vsize=10834656 memory=279388696910160 CPUtime=0.07 cores=1,3,5,7
/proc/4929/task/4995/stat : 4995 (java) S 4926 4929 466 0 -1 1077944384 3 13368 0 0 0 0 5 2 20 0 15 0 405587503 11094687744 58512 33554432000 4194304 4196468 140734416457056 139675291798064 139675870157442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
Current children cumulated CPU time: 3.39 s
Current children cumulated vsize: 10834656 KiB
################
# More data... #
################
/proc/4929/task/4982/stat : 4982 (java) R 4926 4929 466 0 -1 4202560 99289 13368 0 0 235644 79 5 2 20 0 15 0 405587497 11109388288 245717 33554432000 4194304 4196468 140734416457056 139675841982016 139675460970759 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4983] ppid=4926 vsize=10849012 memory=983892 CPUtime=13.32 cores=1,3,5,7
/proc/4929/task/4983/stat : 4983 (java) S 4926 4929 466 0 -1 1077944384 32793 13368 0 0 1266 59 5 2 20 0 15 0 405587498 11109388288 245717 33554432000 4194304 4196468 140734416457056 139675874389008 139675870156501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4984] ppid=4926 vsize=10849012 memory=982868 CPUtime=13.27 cores=1,3,5,7
/proc/4929/task/4984/stat : 4984 (java) S 4926 4929 466 0 -1 1077944384 27553 13368 0 0 1262 58 5 2 20 0 15 0 405587498 11109388288 245717 33554432000 4194304 4196468 140734416457056 139675762662544 139675870156501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4985] ppid=4926 vsize=10849012 memory=982868 CPUtime=13.28 cores=1,3,5,7
/proc/4929/task/4985/stat : 4985 (java) S 4926 4929 466 0 -1 1077944384 29143 13368 0 0 1261 60 5 2 20 0 15 0 405587498 11109388288 245717 33554432000 4194304 4196468 140734416457056 139675761609488 139675870156501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4986] ppid=4926 vsize=10849012 memory=995692 CPUtime=13.3 cores=1,3,5,7
/proc/4929/task/4986/stat : 4986 (java) S 4926 4929 466 0 -1 1077944384 34353 13368 0 0 1266 57 5 2 20 0 15 0 405587498 11109388288 245717 33554432000 4194304 4196468 140734416457056 139675760556944 139675870156501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4987] ppid=4926 vsize=10849012 memory=3924 CPUtime=8.85 cores=1,3,5,7
/proc/4929/task/4987/stat : 4987 (java) S 4926 4929 466 0 -1 1077944384 26349 13368 0 0 807 71 5 2 20 0 15 0 405587499 11109388288 245717 33554432000 4194304 4196468 140734416457056 139675329566960 139675870157442 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4988] ppid=4926 vsize=10849012 memory=994668 CPUtime=0.07 cores=1,3,5,7
/proc/4929/task/4988/stat : 4988 (java) S 4926 4929 466 0 -1 1077944384 38 13368 0 0 0 0 5 2 20 0 15 0 405587500 11109388288 245717 33554432000 4194304 4196468 140734416457056 139675328513248 139675870156501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4989] ppid=4926 vsize=10849012 memory=994668 CPUtime=0.07 cores=1,3,5,7
/proc/4929/task/4989/stat : 4989 (java) S 4926 4929 466 0 -1 1077944384 1 13368 0 0 0 0 5 2 20 0 15 0 405587500 11109388288 245717 33554432000 4194304 4196468 140734416457056 139675222139648 139675870156501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4990] ppid=4926 vsize=10849012 memory=991588 CPUtime=0.07 cores=1,3,5,7
/proc/4929/task/4990/stat : 4990 (java) S 4926 4929 466 0 -1 1077944384 2 13368 0 0 0 0 5 2 20 0 15 0 405587503 11109388288 245717 33554432000 4194304 4196468 140734416457056 139674618161104 139675870164891 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4991] ppid=4926 vsize=10849012 memory=1005440 CPUtime=10.92 cores=1,3,5,7
/proc/4929/task/4991/stat : 4991 (java) S 4926 4929 466 0 -1 1077944384 98149 13368 0 0 1075 10 5 2 20 0 15 0 405587503 11109388288 245717 33554432000 4194304 4196468 140734416457056 139675294956272 139675870157442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4992] ppid=4926 vsize=10849012 memory=1022372 CPUtime=10.75 cores=1,3,5,7
/proc/4929/task/4992/stat : 4992 (java) S 4926 4929 466 0 -1 1077944384 110502 13368 0 0 1056 12 5 2 20 0 15 0 405587503 11109388288 245717 33554432000 4194304 4196468 140734416457056 139675293903728 139675870157442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4993] ppid=4926 vsize=10849012 memory=1036224 CPUtime=5.79 cores=1,3,5,7
/proc/4929/task/4993/stat : 4993 (java) S 4926 4929 466 0 -1 1077944384 99356 13368 0 0 560 12 5 2 20 0 15 0 405587503 11109388288 245717 33554432000 4194304 4196468 140734416457056 139675292850672 139675870157442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4994] ppid=4926 vsize=10849012 memory=4540 CPUtime=0.07 cores=1,3,5,7
/proc/4929/task/4994/stat : 4994 (java) S 4926 4929 466 0 -1 1077944384 3 13368 0 0 0 0 5 2 20 0 15 0 405587503 11109388288 245717 33554432000 4194304 4196468 140734416457056 139674148399968 139675870156501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4995] ppid=4926 vsize=10849012 memory=752 CPUtime=1.46 cores=1,3,5,7
/proc/4929/task/4995/stat : 4995 (java) S 4926 4929 466 0 -1 1077944384 2817 13368 0 0 67 72 5 2 20 0 15 0 405587503 11109388288 245717 33554432000 4194304 4196468 140734416457056 139675291798064 139675870157442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
Current children cumulated CPU time: 2447.7 s
Current children cumulated vsize: 10849012 KiB
Current children cumulated memory: 982868 KiB
[startup+2442.3 s]
/proc/loadavg: 1.38 1.37 1.34 3/227 5518
/proc/meminfo: memFree=22182736/32770624 swapFree=67108848/67108860
[pid=4929] ppid=4926 vsize=10849012 memory=952596 CPUtime=2508.82 cores=1,3,5,7
/proc/4929/stat : 4929 (java) S 4926 4929 466 0 -1 1077944320 564357 13368 0 0 250427 448 5 2 20 0 15 0 405587488 11109388288 238149 33554432000 4194304 4196468 140734416457056 140734416439600 139675870146295 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
/proc/4929/statm: 2712253 238149 3630 1 0 2674317 0
[pid=4929/tid=4982] ppid=4926 vsize=10849012 memory=957212 CPUtime=2416.62 cores=1,3,5,7
/proc/4929/task/4982/stat : 4982 (java) R 4926 4929 466 0 -1 4202560 99940 13368 0 0 241576 79 5 2 20 0 15 0 405587497 11109388288 238149 33554432000 4194304 4196468 140734416457056 139675841982112 139675454828688 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4983] ppid=4926 vsize=10849012 memory=952596 CPUtime=13.7 cores=1,3,5,7
/proc/4929/task/4983/stat : 4983 (java) S 4926 4929 466 0 -1 1077944384 32953 13368 0 0 1303 60 5 2 20 0 15 0 405587498 11109388288 238149 33554432000 4194304 4196468 140734416457056 139675874389008 139675870156501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4984] ppid=4926 vsize=10849012 memory=952596 CPUtime=13.65 cores=1,3,5,7
/proc/4929/task/4984/stat : 4984 (java) S 4926 4929 466 0 -1 1077944384 27654 13368 0 0 1299 59 5 2 20 0 15 0 405587498 11109388288 238149 33554432000 4194304 4196468 140734416457056 139675762662544 139675870156501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4985] ppid=4926 vsize=10849012 memory=952596 CPUtime=13.66 cores=1,3,5,7
/proc/4929/task/4985/stat : 4985 (java) S 4926 4929 466 0 -1 1077944384 29389 13368 0 0 1298 61 5 2 20 0 15 0 405587498 11109388288 238149 33554432000 4194304 4196468 140734416457056 139675761609488 139675870156501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4986] ppid=4926 vsize=10849012 memory=952596 CPUtime=13.69 cores=1,3,5,7
/proc/4929/task/4986/stat : 4986 (java) S 4926 4929 466 0 -1 1077944384 34760 13368 0 0 1304 58 5 2 20 0 15 0 405587498 11109388288 238149 33554432000 4194304 4196468 140734416457056 139675760556944 139675870156501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4987] ppid=4926 vsize=10849012 memory=952596 CPUtime=9.09 cores=1,3,5,7
/proc/4929/task/4987/stat : 4987 (java) S 4926 4929 466 0 -1 1077944384 26575 13368 0 0 829 73 5 2 20 0 15 0 405587499 11109388288 238149 33554432000 4194304 4196468 140734416457056 139675329566960 139675870157442 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4988] ppid=4926 vsize=10849012 memory=952596 CPUtime=0.07 cores=1,3,5,7
/proc/4929/task/4988/stat : 4988 (java) S 4926 4929 466 0 -1 1077944384 38 13368 0 0 0 0 5 2 20 0 15 0 405587500 11109388288 238149 33554432000 4194304 4196468 140734416457056 139675328513248 139675870156501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4989] ppid=4926 vsize=10849012 memory=952596 CPUtime=0.07 cores=1,3,5,7
/proc/4929/task/4989/stat : 4989 (java) S 4926 4929 466 0 -1 1077944384 1 13368 0 0 0 0 5 2 20 0 15 0 405587500 11109388288 238149 33554432000 4194304 4196468 140734416457056 139675222139648 139675870156501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4990] ppid=4926 vsize=10849012 memory=55 CPUtime=0.07 cores=1,3,5,7
/proc/4929/task/4990/stat : 4990 (java) S 4926 4929 466 0 -1 1077944384 2 13368 0 0 0 0 5 2 20 0 15 0 405587503 11109388288 238149 33554432000 4194304 4196468 140734416457056 139674618161104 139675870164891 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4991] ppid=4926 vsize=10849012 memory=4276 CPUtime=10.92 cores=1,3,5,7
/proc/4929/task/4991/stat : 4991 (java) S 4926 4929 466 0 -1 1077944384 98151 13368 0 0 1075 10 5 2 20 0 15 0 405587503 11109388288 238149 33554432000 4194304 4196468 140734416457056 139675294956272 139675870157442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4992] ppid=4926 vsize=10849012 memory=1536 CPUtime=10.75 cores=1,3,5,7
/proc/4929/task/4992/stat : 4992 (java) S 4926 4929 466 0 -1 1077944384 110504 13368 0 0 1056 12 5 2 20 0 15 0 405587503 11109388288 238149 33554432000 4194304 4196468 140734416457056 139675293903728 139675870157442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4993] ppid=4926 vsize=10849012 memory=952596 CPUtime=5.79 cores=1,3,5,7
/proc/4929/task/4993/stat : 4993 (java) S 4926 4929 466 0 -1 1077944384 99358 13368 0 0 560 12 5 2 20 0 15 0 405587503 11109388288 238149 33554432000 4194304 4196468 140734416457056 139675292850672 139675870157442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4994] ppid=4926 vsize=10849012 memory=952596 CPUtime=0.07 cores=1,3,5,7
/proc/4929/task/4994/stat : 4994 (java) S 4926 4929 466 0 -1 1077944384 3 13368 0 0 0 0 5 2 20 0 15 0 405587503 11109388288 238149 33554432000 4194304 4196468 140734416457056 139674148399968 139675870156501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4995] ppid=4926 vsize=10849012 memory=1840 CPUtime=1.49 cores=1,3,5,7
/proc/4929/task/4995/stat : 4995 (java) S 4926 4929 466 0 -1 1077944384 2823 13368 0 0 69 73 5 2 20 0 15 0 405587503 11109388288 238149 33554432000 4194304 4196468 140734416457056 139675291798064 139675870157442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
Current children cumulated CPU time: 2508.82 s
Current children cumulated vsize: 10849012 KiB
Current children cumulated memory: 952596 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2453.3 s]
/proc/loadavg: 1.32 1.36 1.34 3/227 5518
/proc/meminfo: memFree=22180564/32770624 swapFree=67108848/67108860
[pid=4929] ppid=4926 vsize=10849012 memory=954644 CPUtime=2520.03 cores=1,3,5,7
/proc/4929/stat : 4929 (java) S 4926 4929 466 0 -1 1077944320 565135 13368 0 0 251546 450 5 2 20 0 15 0 405587488 11109388288 238661 33554432000 4194304 4196468 140734416457056 140734416439600 139675870146295 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
/proc/4929/statm: 2712253 238661 3630 1 0 2674317 0
[pid=4929/tid=4982] ppid=4926 vsize=10849012 memory=954644 CPUtime=2427.49 cores=1,3,5,7
/proc/4929/task/4982/stat : 4982 (java) R 4926 4929 466 0 -1 4202560 100178 13368 0 0 242663 79 5 2 20 0 15 0 405587497 11109388288 238661 33554432000 4194304 4196468 140734416457056 139675841981504 139675461010815 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4983] ppid=4926 vsize=10849012 memory=954644 CPUtime=13.77 cores=1,3,5,7
/proc/4929/task/4983/stat : 4983 (java) S 4926 4929 466 0 -1 1077944384 33169 13368 0 0 1310 60 5 2 20 0 15 0 405587498 11109388288 238661 33554432000 4194304 4196468 140734416457056 139675874389008 139675870156501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4984] ppid=4926 vsize=10849012 memory=952596 CPUtime=13.72 cores=1,3,5,7
/proc/4929/task/4984/stat : 4984 (java) S 4926 4929 466 0 -1 1077944384 27681 13368 0 0 1306 59 5 2 20 0 15 0 405587498 11109388288 238661 33554432000 4194304 4196468 140734416457056 139675762662544 139675870156501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4985] ppid=4926 vsize=10849012 memory=952596 CPUtime=13.73 cores=1,3,5,7
/proc/4929/task/4985/stat : 4985 (java) S 4926 4929 466 0 -1 1077944384 29490 13368 0 0 1305 61 5 2 20 0 15 0 405587498 11109388288 238661 33554432000 4194304 4196468 140734416457056 139675761609488 139675870156501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4986] ppid=4926 vsize=10849012 memory=952596 CPUtime=13.75 cores=1,3,5,7
/proc/4929/task/4986/stat : 4986 (java) S 4926 4929 466 0 -1 1077944384 34805 13368 0 0 1310 58 5 2 20 0 15 0 405587498 11109388288 238661 33554432000 4194304 4196468 140734416457056 139675760556944 139675870156501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4987] ppid=4926 vsize=10849012 memory=952596 CPUtime=9.13 cores=1,3,5,7
/proc/4929/task/4987/stat : 4987 (java) S 4926 4929 466 0 -1 1077944384 26716 13368 0 0 833 73 5 2 20 0 15 0 405587499 11109388288 238661 33554432000 4194304 4196468 140734416457056 139675329566960 139675870157442 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4988] ppid=4926 vsize=10849012 memory=957212 CPUtime=0.07 cores=1,3,5,7
/proc/4929/task/4988/stat : 4988 (java) S 4926 4929 466 0 -1 1077944384 38 13368 0 0 0 0 5 2 20 0 15 0 405587500 11109388288 238661 33554432000 4194304 4196468 140734416457056 139675328513248 139675870156501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4989] ppid=4926 vsize=10849012 memory=952596 CPUtime=0.07 cores=1,3,5,7
/proc/4929/task/4989/stat : 4989 (java) S 4926 4929 466 0 -1 1077944384 1 13368 0 0 0 0 5 2 20 0 15 0 405587500 11109388288 238661 33554432000 4194304 4196468 140734416457056 139675222139648 139675870156501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4990] ppid=4926 vsize=10849012 memory=954644 CPUtime=0.07 cores=1,3,5,7
/proc/4929/task/4990/stat : 4990 (java) S 4926 4929 466 0 -1 1077944384 2 13368 0 0 0 0 5 2 20 0 15 0 405587503 11109388288 238661 33554432000 4194304 4196468 140734416457056 139674618161104 139675870164891 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4991] ppid=4926 vsize=10849012 memory=1192 CPUtime=10.92 cores=1,3,5,7
/proc/4929/task/4991/stat : 4991 (java) S 4926 4929 466 0 -1 1077944384 98153 13368 0 0 1075 10 5 2 20 0 15 0 405587503 11109388288 238661 33554432000 4194304 4196468 140734416457056 139675294956272 139675870157442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4992] ppid=4926 vsize=10849012 memory=954644 CPUtime=10.75 cores=1,3,5,7
/proc/4929/task/4992/stat : 4992 (java) S 4926 4929 466 0 -1 1077944384 110506 13368 0 0 1056 12 5 2 20 0 15 0 405587503 11109388288 238661 33554432000 4194304 4196468 140734416457056 139675293903728 139675870157442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4993] ppid=4926 vsize=10849012 memory=1384 CPUtime=5.79 cores=1,3,5,7
/proc/4929/task/4993/stat : 4993 (java) S 4926 4929 466 0 -1 1077944384 99360 13368 0 0 560 12 5 2 20 0 15 0 405587503 11109388288 238661 33554432000 4194304 4196468 140734416457056 139675292850672 139675870157442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4994] ppid=4926 vsize=10849012 memory=952596 CPUtime=0.07 cores=1,3,5,7
/proc/4929/task/4994/stat : 4994 (java) S 4926 4929 466 0 -1 1077944384 3 13368 0 0 0 0 5 2 20 0 15 0 405587503 11109388288 238661 33554432000 4194304 4196468 140734416457056 139674148399968 139675870156501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4995] ppid=4926 vsize=10849012 memory=952596 CPUtime=1.49 cores=1,3,5,7
/proc/4929/task/4995/stat : 4995 (java) S 4926 4929 466 0 -1 1077944384 2827 13368 0 0 69 73 5 2 20 0 15 0 405587503 11109388288 238661 33554432000 4194304 4196468 140734416457056 139675291798064 139675870157442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 10849012 KiB
Current children cumulated memory: 954644 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2453.33 s]
# the end of solver process 4929 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.54 s, system=4.53675 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2453.3 s]
/proc/loadavg: 1.32 1.36 1.34 3/227 5518
/proc/meminfo: memFree=22180564/32770624 swapFree=67108848/67108860
[pid=4929] ppid=4926 vsize=10849012 memory=954644 CPUtime=2520.03 cores=1,3,5,7
/proc/4929/stat : 4929 (java) S 4926 4929 466 0 -1 1077944320 565135 13368 0 0 251546 450 5 2 20 0 15 0 405587488 11109388288 238661 33554432000 4194304 4196468 140734416457056 140734416439600 139675870146295 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
/proc/4929/statm: 2712253 238661 3630 1 0 2674317 0
[pid=4929/tid=4982] ppid=4926 vsize=10849012 memory=954644 CPUtime=2427.49 cores=1,3,5,7
/proc/4929/task/4982/stat : 4982 (java) R 4926 4929 466 0 -1 4202560 100178 13368 0 0 242663 79 5 2 20 0 15 0 405587497 11109388288 238661 33554432000 4194304 4196468 140734416457056 139675841981504 139675461010815 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4983] ppid=4926 vsize=10849012 memory=954644 CPUtime=13.77 cores=1,3,5,7
/proc/4929/task/4983/stat : 4983 (java) S 4926 4929 466 0 -1 1077944384 33169 13368 0 0 1310 60 5 2 20 0 15 0 405587498 11109388288 238661 33554432000 4194304 4196468 140734416457056 139675874389008 139675870156501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4984] ppid=4926 vsize=10849012 memory=952596 CPUtime=13.72 cores=1,3,5,7
/proc/4929/task/4984/stat : 4984 (java) S 4926 4929 466 0 -1 1077944384 27681 13368 0 0 1306 59 5 2 20 0 15 0 405587498 11109388288 238661 33554432000 4194304 4196468 140734416457056 139675762662544 139675870156501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4985] ppid=4926 vsize=10849012 memory=952596 CPUtime=13.73 cores=1,3,5,7
/proc/4929/task/4985/stat : 4985 (java) S 4926 4929 466 0 -1 1077944384 29490 13368 0 0 1305 61 5 2 20 0 15 0 405587498 11109388288 238661 33554432000 4194304 4196468 140734416457056 139675761609488 139675870156501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4986] ppid=4926 vsize=10849012 memory=952596 CPUtime=13.75 cores=1,3,5,7
/proc/4929/task/4986/stat : 4986 (java) S 4926 4929 466 0 -1 1077944384 34805 13368 0 0 1310 58 5 2 20 0 15 0 405587498 11109388288 238661 33554432000 4194304 4196468 140734416457056 139675760556944 139675870156501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4987] ppid=4926 vsize=10849012 memory=952596 CPUtime=9.13 cores=1,3,5,7
/proc/4929/task/4987/stat : 4987 (java) S 4926 4929 466 0 -1 1077944384 26716 13368 0 0 833 73 5 2 20 0 15 0 405587499 11109388288 238661 33554432000 4194304 4196468 140734416457056 139675329566960 139675870157442 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4988] ppid=4926 vsize=10849012 memory=957212 CPUtime=0.07 cores=1,3,5,7
/proc/4929/task/4988/stat : 4988 (java) S 4926 4929 466 0 -1 1077944384 38 13368 0 0 0 0 5 2 20 0 15 0 405587500 11109388288 238661 33554432000 4194304 4196468 140734416457056 139675328513248 139675870156501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4989] ppid=4926 vsize=10849012 memory=952596 CPUtime=0.07 cores=1,3,5,7
/proc/4929/task/4989/stat : 4989 (java) S 4926 4929 466 0 -1 1077944384 1 13368 0 0 0 0 5 2 20 0 15 0 405587500 11109388288 238661 33554432000 4194304 4196468 140734416457056 139675222139648 139675870156501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4990] ppid=4926 vsize=10849012 memory=954644 CPUtime=0.07 cores=1,3,5,7
/proc/4929/task/4990/stat : 4990 (java) S 4926 4929 466 0 -1 1077944384 2 13368 0 0 0 0 5 2 20 0 15 0 405587503 11109388288 238661 33554432000 4194304 4196468 140734416457056 139674618161104 139675870164891 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4991] ppid=4926 vsize=10849012 memory=1192 CPUtime=10.92 cores=1,3,5,7
/proc/4929/task/4991/stat : 4991 (java) S 4926 4929 466 0 -1 1077944384 98153 13368 0 0 1075 10 5 2 20 0 15 0 405587503 11109388288 238661 33554432000 4194304 4196468 140734416457056 139675294956272 139675870157442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4992] ppid=4926 vsize=10849012 memory=954644 CPUtime=10.75 cores=1,3,5,7
/proc/4929/task/4992/stat : 4992 (java) S 4926 4929 466 0 -1 1077944384 110506 13368 0 0 1056 12 5 2 20 0 15 0 405587503 11109388288 238661 33554432000 4194304 4196468 140734416457056 139675293903728 139675870157442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4993] ppid=4926 vsize=10849012 memory=1384 CPUtime=5.79 cores=1,3,5,7
/proc/4929/task/4993/stat : 4993 (java) S 4926 4929 466 0 -1 1077944384 99360 13368 0 0 560 12 5 2 20 0 15 0 405587503 11109388288 238661 33554432000 4194304 4196468 140734416457056 139675292850672 139675870157442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4994] ppid=4926 vsize=10849012 memory=952596 CPUtime=0.07 cores=1,3,5,7
/proc/4929/task/4994/stat : 4994 (java) S 4926 4929 466 0 -1 1077944384 3 13368 0 0 0 0 5 2 20 0 15 0 405587503 11109388288 238661 33554432000 4194304 4196468 140734416457056 139674148399968 139675870156501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
[pid=4929/tid=4995] ppid=4926 vsize=10849012 memory=952596 CPUtime=1.49 cores=1,3,5,7
/proc/4929/task/4995/stat : 4995 (java) S 4926 4929 466 0 -1 1077944384 2827 13368 0 0 69 73 5 2 20 0 15 0 405587503 11109388288 238661 33554432000 4194304 4196468 140734416457056 139675291798064 139675870157442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13324288 140734416460533 140734416463045 140734416463045 140734416465871 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 10849012 KiB
Current children cumulated memory: 954644 KiB
Child status: 143
Real time (s): 2453.33
CPU time (s): 2520.08
CPU user time (s): 2515.54
CPU system time (s): 4.53675
CPU usage (%): 102.721
Max. virtual memory (cumulated for all children) (KiB): 10849012
Max. memory (cumulated for all children) (KiB): 2895220
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.54
system time used= 4.53675
maximum resident set size= 2895684
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 579264
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3088
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 256924
involuntary context switches= 6978
# summary of solver processes directly reported to runsolver:
# pid: 4929
# total CPU time (s): 2520.08
# total CPU user time (s): 2515.54
# total CPU system time (s): 4.53675
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.5367 second user time and 18.4579 second system time
The end