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 (4336 MiB free)
memory of node 1: 16384 MiB (7794 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295512-1532564395/watcher-4295512-1532564395 -o /tmp/evaluation-result-4295512-1532564395/solver-4295512-1532564395 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532543154-31453 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=328040279 -superng HOME/instance-4295512-1532564395.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
Current StackSize limit: 8192 KiB
solver pid=3850, runsolver pid=3847
[startup+0.101603 s]*
/proc/loadavg: 1.32 1.48 1.56 2/206 3907
/proc/meminfo: memFree=12413520/32770624 swapFree=67108860/67108860
[pid=3850] ppid=3847 vsize=9972712 memory=15224 CPUtime=0.07 cores=1,3,5,7
/proc/3850/stat : 3850 (java) S 3847 3850 31421 0 -1 1077944320 3979 13172 0 0 0 0 4 3 20 0 6 0 74002745 10212057088 3806 33554432000 4194304 4196468 140727309587024 140727309569568 139843174907639 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
/proc/3850/statm: 2493178 3806 1719 1 0 2481616 0
[pid=3850/tid=3903] ppid=3847 vsize=9972712 memory=-8171376296011865461 CPUtime=0.07 cores=1,3,5,7
/proc/3850/task/3903/stat : 3903 (java) R 3847 3850 31421 0 -1 4202560 2023 13172 0 0 0 0 4 3 20 0 6 0 74002754 10212057088 4070 33554432000 4194304 4196468 140727309587024 139843146744400 139843174929565 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3904] ppid=3847 vsize=9972712 memory=7948963741541478447 CPUtime=0.07 cores=1,3,5,7
/proc/3850/task/3904/stat : 3904 (java) S 3847 3850 31421 0 -1 1077944384 1 13172 0 0 0 0 4 3 20 0 6 0 74002755 10212057088 4070 33554432000 4194304 4196468 140727309587024 139843179150224 139843174917845 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3905] ppid=3847 vsize=9972712 memory=140340152321664 CPUtime=0.07 cores=1,3,5,7
/proc/3850/task/3905/stat : 3905 (java) S 3847 3850 31421 0 -1 1077944384 1 13172 0 0 0 0 4 3 20 0 6 0 74002755 10212057088 4070 33554432000 4194304 4196468 140727309587024 139843067423504 139843174917845 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3906] ppid=3847 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3850/task/3906/stat : 3906 (java) S 3847 3850 31421 0 -1 1077944384 1 13172 0 0 0 0 4 3 20 0 6 0 74002755 10212057088 4070 33554432000 4194304 4196468 140727309587024 139843066371216 139843174917845 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3907] ppid=3847 vsize=9972712 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/3850/task/3907/stat : 3907 (java) S 3847 3850 31421 0 -1 1077944384 2 13172 0 0 0 0 4 3 20 0 6 0 74002755 10212057088 4070 33554432000 4194304 4196468 140727309587024 139843065318416 139843174917845 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 15224 KiB
[startup+0.209877 s]*
/proc/loadavg: 1.32 1.48 1.56 3/215 3916
/proc/meminfo: memFree=12396132/32770624 swapFree=67108860/67108860
[pid=3850] ppid=3847 vsize=10818904 memory=38912 CPUtime=0.25 cores=1,3,5,7
/proc/3850/stat : 3850 (java) S 3847 3850 31421 0 -1 1077944320 7420 13172 0 0 16 2 4 3 20 0 15 0 74002745 11078557696 9662 33554432000 4194304 4196468 140727309587024 140727309569568 139843174907639 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
/proc/3850/statm: 2704726 9728 2964 1 0 2667149 0
[pid=3850/tid=3903] ppid=3847 vsize=10818904 memory=-8171376296011865461 CPUtime=0.18 cores=1,3,5,7
/proc/3850/task/3903/stat : 3903 (java) R 3847 3850 31421 0 -1 4202560 4400 13172 0 0 10 1 4 3 20 0 15 0 74002754 11078557696 10058 33554432000 4194304 4196468 140727309587024 139843146703680 139843155183360 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3904] ppid=3847 vsize=10818904 memory=7948963741541478447 CPUtime=0.07 cores=1,3,5,7
/proc/3850/task/3904/stat : 3904 (java) S 3847 3850 31421 0 -1 1077944384 1 13172 0 0 0 0 4 3 20 0 15 0 74002755 11078557696 10058 33554432000 4194304 4196468 140727309587024 139843179150224 139843174917845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3905] ppid=3847 vsize=10818904 memory=140340152321664 CPUtime=0.07 cores=1,3,5,7
/proc/3850/task/3905/stat : 3905 (java) S 3847 3850 31421 0 -1 1077944384 1 13172 0 0 0 0 4 3 20 0 15 0 74002755 11078557696 10058 33554432000 4194304 4196468 140727309587024 139843067423504 139843174917845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3906] ppid=3847 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3850/task/3906/stat : 3906 (java) S 3847 3850 31421 0 -1 1077944384 1 13172 0 0 0 0 4 3 20 0 15 0 74002755 11078557696 10058 33554432000 4194304 4196468 140727309587024 139843066371216 139843174917845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3907] ppid=3847 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/3850/task/3907/stat : 3907 (java) S 3847 3850 31421 0 -1 1077944384 2 13172 0 0 0 0 4 3 20 0 15 0 74002755 11078557696 10058 33554432000 4194304 4196468 140727309587024 139843065318416 139843174917845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3908] ppid=3847 vsize=10818904 memory=140340152321664 CPUtime=0.07 cores=1,3,5,7
/proc/3850/task/3908/stat : 3908 (java) S 3847 3850 31421 0 -1 1077944384 2 13172 0 0 0 0 4 3 20 0 15 0 74002757 11078557696 10058 33554432000 4194304 4196468 140727309587024 139842178177136 139843174918786 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3909] ppid=3847 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/3850/task/3909/stat : 3909 (java) S 3847 3850 31421 0 -1 1077944384 33 13172 0 0 0 0 4 3 20 0 15 0 74002757 11078557696 10058 33554432000 4194304 4196468 140727309587024 139842177123104 139843174917845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3910] ppid=3847 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3850/task/3910/stat : 3910 (java) S 3847 3850 31421 0 -1 1077944384 1 13172 0 0 0 0 4 3 20 0 15 0 74002757 11078557696 10124 33554432000 4194304 4196468 140727309587024 139842054775920 139843174917845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3911] ppid=3847 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3850/task/3911/stat : 3911 (java) S 3847 3850 31421 0 -1 1077944384 3 13172 0 0 0 0 4 3 20 0 15 0 74002760 11078557696 10124 33554432000 4194304 4196468 140727309587024 139841747376208 139843174926235 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3912] ppid=3847 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3850/task/3912/stat : 3912 (java) S 3847 3850 31421 0 -1 1077944384 531 13172 0 0 1 0 4 3 20 0 15 0 74002760 11078557696 10124 33554432000 4194304 4196468 140727309587024 139842143566448 139843174918786 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3913] ppid=3847 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/3850/task/3913/stat : 3913 (java) S 3847 3850 31421 0 -1 1077944384 53 13172 0 0 0 0 4 3 20 0 15 0 74002760 11078557696 10124 33554432000 4194304 4196468 140727309587024 139842142513648 139843174918786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3914] ppid=3847 vsize=10818904 memory=140340152321664 CPUtime=0.1 cores=1,3,5,7
/proc/3850/task/3914/stat : 3914 (java) S 3847 3850 31421 0 -1 1077944384 549 13172 0 0 3 0 4 3 20 0 15 0 74002760 11078557696 10124 33554432000 4194304 4196468 140727309587024 139842141461360 139843174918786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3915] ppid=3847 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/3850/task/3915/stat : 3915 (java) S 3847 3850 31421 0 -1 1077944384 3 13172 0 0 0 0 4 3 20 0 15 0 74002760 11078557696 10124 33554432000 4194304 4196468 140727309587024 139841713818592 139843174917845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3916] ppid=3847 vsize=10818904 memory=140340152321664 CPUtime=0.07 cores=1,3,5,7
/proc/3850/task/3916/stat : 3916 (java) S 3847 3850 31421 0 -1 1077944384 1 13172 0 0 0 0 4 3 20 0 15 0 74002760 11078557696 10124 33554432000 4194304 4196468 140727309587024 139842140408240 139843174918786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 38912 KiB
[startup+0.310224 s]*
/proc/loadavg: 1.32 1.48 1.56 3/215 3916
/proc/meminfo: memFree=12383784/32770624 swapFree=67108860/67108860
[pid=3850] ppid=3847 vsize=10819352 memory=51952 CPUtime=0.37 cores=1,3,5,7
/proc/3850/stat : 3850 (java) S 3847 3850 31421 0 -1 1077944320 10557 13172 0 0 27 3 4 3 20 0 15 0 74002745 11079016448 12988 33554432000 4194304 4196468 140727309587024 140727309569568 139843174907639 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
/proc/3850/statm: 2704838 12988 3083 1 0 2667149 0
[pid=3850/tid=3903] ppid=3847 vsize=10819352 memory=6935054825532540783 CPUtime=0.28 cores=1,3,5,7
/proc/3850/task/3903/stat : 3903 (java) R 3847 3850 31421 0 -1 4202560 7178 13172 0 0 19 2 4 3 20 0 15 0 74002754 11079016448 12988 33554432000 4194304 4196468 140727309587024 139843146719648 139843160073239 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3904] ppid=3847 vsize=10819352 memory=8514701219931451533 CPUtime=0.07 cores=1,3,5,7
/proc/3850/task/3904/stat : 3904 (java) S 3847 3850 31421 0 -1 1077944384 1 13172 0 0 0 0 4 3 20 0 15 0 74002755 11079016448 12988 33554432000 4194304 4196468 140727309587024 139843179150224 139843174917845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3905] ppid=3847 vsize=10819352 memory=1328725297981317182 CPUtime=0.07 cores=1,3,5,7
/proc/3850/task/3905/stat : 3905 (java) S 3847 3850 31421 0 -1 1077944384 1 13172 0 0 0 0 4 3 20 0 15 0 74002755 11079016448 12988 33554432000 4194304 4196468 140727309587024 139843067423504 139843174917845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3906] ppid=3847 vsize=10819352 memory=4126316290023845779 CPUtime=0.07 cores=1,3,5,7
/proc/3850/task/3906/stat : 3906 (java) S 3847 3850 31421 0 -1 1077944384 1 13172 0 0 0 0 4 3 20 0 15 0 74002755 11079016448 12988 33554432000 4194304 4196468 140727309587024 139843066371216 139843174917845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3907] ppid=3847 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3850/task/3907/stat : 3907 (java) S 3847 3850 31421 0 -1 1077944384 2 13172 0 0 0 0 4 3 20 0 15 0 74002755 11079016448 12988 33554432000 4194304 4196468 140727309587024 139843065318416 139843174917845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3908] ppid=3847 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3850/task/3908/stat : 3908 (java) S 3847 3850 31421 0 -1 1077944384 2 13172 0 0 0 0 4 3 20 0 15 0 74002757 11079016448 12988 33554432000 4194304 4196468 140727309587024 139842178177136 139843174918786 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3909] ppid=3847 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3850/task/3909/stat : 3909 (java) S 3847 3850 31421 0 -1 1077944384 33 13172 0 0 0 0 4 3 20 0 15 0 74002757 11079016448 12988 33554432000 4194304 4196468 140727309587024 139842177123104 139843174917845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3910] ppid=3847 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3850/task/3910/stat : 3910 (java) S 3847 3850 31421 0 -1 1077944384 1 13172 0 0 0 0 4 3 20 0 15 0 74002757 11079016448 12988 33554432000 4194304 4196468 140727309587024 139842054775920 139843174917845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3911] ppid=3847 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3850/task/3911/stat : 3911 (java) S 3847 3850 31421 0 -1 1077944384 3 13172 0 0 0 0 4 3 20 0 15 0 74002760 11079016448 12988 33554432000 4194304 4196468 140727309587024 139841747376208 139843174926235 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3912] ppid=3847 vsize=10819352 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/3850/task/3912/stat : 3912 (java) S 3847 3850 31421 0 -1 1077944384 531 13172 0 0 2 0 4 3 20 0 15 0 74002760 11079016448 12988 33554432000 4194304 4196468 140727309587024 139842143566448 139843174918786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3913] ppid=3847 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3850/task/3913/stat : 3913 (java) S 3847 3850 31421 0 -1 1077944384 54 13172 0 0 1 0 4 3 20 0 15 0 74002760 11079016448 12988 33554432000 4194304 4196468 140727309587024 139842142513648 139843174918786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3914] ppid=3847 vsize=10819352 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/3850/task/3914/stat : 3914 (java) S 3847 3850 31421 0 -1 1077944384 558 13172 0 0 4 0 4 3 20 0 15 0 74002760 11079016448 12988 33554432000 4194304 4196468 140727309587024 139842141461360 139843174918786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3915] ppid=3847 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3850/task/3915/stat : 3915 (java) S 3847 3850 31421 0 -1 1077944384 3 13172 0 0 0 0 4 3 20 0 15 0 74002760 11079016448 12988 33554432000 4194304 4196468 140727309587024 139841713818592 139843174917845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3916] ppid=3847 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3850/task/3916/stat : 3916 (java) S 3847 3850 31421 0 -1 1077944384 1 13172 0 0 0 0 4 3 20 0 15 0 74002760 11079016448 12988 33554432000 4194304 4196468 140727309587024 139842140408240 139843174918786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 51952 KiB
[startup+0.700787 s]
/proc/loadavg: 1.32 1.48 1.56 3/215 3916
/proc/meminfo: memFree=12372992/32770624 swapFree=67108860/67108860
[pid=3850] ppid=3847 vsize=10819352 memory=84672 CPUtime=0.98 cores=1,3,5,7
/proc/3850/stat : 3850 (java) S 3847 3850 31421 0 -1 1077944320 16766 13172 0 0 86 5 4 3 20 0 15 0 74002745 11079016448 21168 33554432000 4194304 4196468 140727309587024 140727309569568 139843174907639 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
/proc/3850/statm: 2704838 21168 3247 1 0 2667149 0
[pid=3850/tid=3903] ppid=3847 vsize=10819352 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/3850/task/3903/stat : 3903 (java) R 3847 3850 31421 0 -1 4202560 12284 13172 0 0 55 4 4 3 20 0 15 0 74002754 11079016448 21168 33554432000 4194304 4196468 140727309587024 139843146728464 139843156471195 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3904] ppid=3847 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3850/task/3904/stat : 3904 (java) S 3847 3850 31421 0 -1 1077944384 1 13172 0 0 0 0 4 3 20 0 15 0 74002755 11079016448 21168 33554432000 4194304 4196468 140727309587024 139843179150224 139843174917845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3905] ppid=3847 vsize=10819352 memory=8458433173657040949 CPUtime=0.07 cores=1,3,5,7
/proc/3850/task/3905/stat : 3905 (java) S 3847 3850 31421 0 -1 1077944384 1 13172 0 0 0 0 4 3 20 0 15 0 74002755 11079016448 21168 33554432000 4194304 4196468 140727309587024 139843067423504 139843174917845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3906] ppid=3847 vsize=10819352 memory=7156871068434846560 CPUtime=0.07 cores=1,3,5,7
/proc/3850/task/3906/stat : 3906 (java) S 3847 3850 31421 0 -1 1077944384 1 13172 0 0 0 0 4 3 20 0 15 0 74002755 11079016448 21168 33554432000 4194304 4196468 140727309587024 139843066371216 139843174917845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3907] ppid=3847 vsize=10819352 memory=4639059877604708710 CPUtime=0.07 cores=1,3,5,7
/proc/3850/task/3907/stat : 3907 (java) S 3847 3850 31421 0 -1 1077944384 2 13172 0 0 0 0 4 3 20 0 15 0 74002755 11079016448 21168 33554432000 4194304 4196468 140727309587024 139843065318416 139843174917845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3908] ppid=3847 vsize=10819352 memory=3467824627880452160 CPUtime=0.07 cores=1,3,5,7
/proc/3850/task/3908/stat : 3908 (java) S 3847 3850 31421 0 -1 1077944384 5 13172 0 0 0 0 4 3 20 0 15 0 74002757 11079016448 21168 33554432000 4194304 4196468 140727309587024 139842178177136 139843174918786 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3909] ppid=3847 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3850/task/3909/stat : 3909 (java) S 3847 3850 31421 0 -1 1077944384 33 13172 0 0 0 0 4 3 20 0 15 0 74002757 11079016448 21168 33554432000 4194304 4196468 140727309587024 139842177123104 139843174917845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3910] ppid=3847 vsize=10819352 memory=4140 CPUtime=0.07 cores=1,3,5,7
/proc/3850/task/3910/stat : 3910 (java) S 3847 3850 31421 0 -1 1077944384 1 13172 0 0 0 0 4 3 20 0 15 0 74002757 11079016448 21168 33554432000 4194304 4196468 140727309587024 139842054775920 139843174917845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3911] ppid=3847 vsize=10819352 memory=2241 CPUtime=0.07 cores=1,3,5,7
/proc/3850/task/3911/stat : 3911 (java) S 3847 3850 31421 0 -1 1077944384 3 13172 0 0 0 0 4 3 20 0 15 0 74002760 11079016448 21168 33554432000 4194304 4196468 140727309587024 139841747376208 139843174926235 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3912] ppid=3847 vsize=10819352 memory=2244 CPUtime=0.16 cores=1,3,5,7
/proc/3850/task/3912/stat : 3912 (java) S 3847 3850 31421 0 -1 1077944384 1138 13172 0 0 9 0 4 3 20 0 15 0 74002760 11079016448 21168 33554432000 4194304 4196468 140727309587024 139842143566448 139843174918786 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3913] ppid=3847 vsize=10819352 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/3850/task/3913/stat : 3913 (java) S 3847 3850 31421 0 -1 1077944384 472 13172 0 0 7 0 4 3 20 0 15 0 74002760 11079016448 21168 33554432000 4194304 4196468 140727309587024 139842142513648 139843174918786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3914] ppid=3847 vsize=10819352 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/3850/task/3914/stat : 3914 (java) S 3847 3850 31421 0 -1 1077944384 633 13172 0 0 13 0 4 3 20 0 15 0 74002760 11079016448 21168 33554432000 4194304 4196468 140727309587024 139842141461360 139843174918786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3915] ppid=3847 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3850/task/3915/stat : 3915 (java) S 3847 3850 31421 0 -1 1077944384 3 13172 0 0 0 0 4 3 20 0 15 0 74002760 11079016448 21168 33554432000 4194304 4196468 140727309587024 139841713818592 139843174917845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3916] ppid=3847 vsize=10819352 memory=30305 CPUtime=0.07 cores=1,3,5,7
/proc/3850/task/3916/stat : 3916 (java) S 3847 3850 31421 0 -1 1077944384 1 13172 0 0 0 0 4 3 20 0 15 0 74002760 11079016448 21168 33554432000 4194304 4196468 140727309587024 139842140408240 139843174918786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 84672 KiB
[startup+1.50067 s]
/proc/loadavg: 1.30 1.48 1.56 3/215 3916
/proc/meminfo: memFree=12326792/32770624 swapFree=67108860/67108860
[pid=3850] ppid=3847 vsize=10836300 memory=176480 CPUtime=2.26 cores=1,3,5,7
/proc/3850/stat : 3850 (java) S 3847 3850 31421 0 -1 1077944320 24091 13172 0 0 209 10 4 3 20 0 15 0 74002745 11096371200 44120 33554432000 4194304 4196468 140727309587024 140727309569568 139843174907639 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
/proc/3850/statm: 2709075 44120 3474 1 0 2670733 0
[pid=3850/tid=3903] ppid=3847 vsize=10836300 memory=0 CPUtime=1.42 cores=1,3,5,7
/proc/3850/task/3903/stat : 3903 (java) R 3847 3850 31421 0 -1 4202560 17941 13172 0 0 128 7 4 3 20 0 15 0 74002754 11096371200 44120 33554432000 4194304 4196468 140727309587024 139843146724736 139843174919574 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3904] ppid=3847 vsize=10836300 memory=124 CPUtime=0.07 cores=1,3,5,7
/proc/3850/task/3904/stat : 3904 (java) S 3847 3850 31421 0 -1 1077944384 22 13172 0 0 0 0 4 3 20 0 15 0 74002755 11096371200 44120 33554432000 4194304 4196468 140727309587024 139843179150224 139843174917845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3905] ppid=3847 vsize=10836300 memory=77 CPUtime=0.08 cores=1,3,5,7
/proc/3850/task/3905/stat : 3905 (java) S 3847 3850 31421 0 -1 1077944384 243 13172 0 0 1 0 4 3 20 0 15 0 74002755 11096371200 44120 33554432000 4194304 4196468 140727309587024 139843067423504 139843174917845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3906] ppid=3847 vsize=10836300 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3850/task/3906/stat : 3906 (java) S 3847 3850 31421 0 -1 1077944384 30 13172 0 0 1 0 4 3 20 0 15 0 74002755 11096371200 44120 33554432000 4194304 4196468 140727309587024 139843066371216 139843174917845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3907] ppid=3847 vsize=10836300 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3850/task/3907/stat : 3907 (java) S 3847 3850 31421 0 -1 1077944384 76 13172 0 0 1 0 4 3 20 0 15 0 74002755 11096371200 44120 33554432000 4194304 4196468 140727309587024 139843065318416 139843174917845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3908] ppid=3847 vsize=10836300 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3850/task/3908/stat : 3908 (java) S 3847 3850 31421 0 -1 1077944384 60 13172 0 0 1 0 4 3 20 0 15 0 74002757 11096371200 44120 33554432000 4194304 4196468 140727309587024 139842178177136 139843174918786 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3909] ppid=3847 vsize=10836300 memory=140340002569234 CPUtime=0.07 cores=1,3,5,7
/proc/3850/task/3909/stat : 3909 (java) S 3847 3850 31421 0 -1 1077944384 33 13172 0 0 0 0 4 3 20 0 15 0 74002757 11096371200 44120 33554432000 4194304 4196468 140727309587024 139842177123168 139843174917845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3910] ppid=3847 vsize=10836300 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3850/task/3910/stat : 3910 (java) S 3847 3850 31421 0 -1 1077944384 2 13172 0 0 0 0 4 3 20 0 15 0 74002757 11096371200 44120 33554432000 4194304 4196468 140727309587024 139842054775920 139843174917845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3911] ppid=3847 vsize=10836300 memory=2986632698767059817 CPUtime=0.07 cores=1,3,5,7
/proc/3850/task/3911/stat : 3911 (java) S 3847 3850 31421 0 -1 1077944384 3 13172 0 0 0 0 4 3 20 0 15 0 74002760 11096371200 44120 33554432000 4194304 4196468 140727309587024 139841747376208 139843174926235 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3912] ppid=3847 vsize=10836300 memory=-2127762104568602615 CPUtime=0.26 cores=1,3,5,7
/proc/3850/task/3912/stat : 3912 (java) S 3847 3850 31421 0 -1 1077944384 1298 13172 0 0 19 0 4 3 20 0 15 0 74002760 11096371200 44120 33554432000 4194304 4196468 140727309587024 139842143566448 139843174918786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3913] ppid=3847 vsize=10836300 memory=-2897801490638248331 CPUtime=0.29 cores=1,3,5,7
/proc/3850/task/3913/stat : 3913 (java) S 3847 3850 31421 0 -1 1077944384 987 13172 0 0 22 0 4 3 20 0 15 0 74002760 11096371200 44120 33554432000 4194304 4196468 140727309587024 139842142513648 139843174918786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3914] ppid=3847 vsize=10836300 memory=-2746958450906831519 CPUtime=0.38 cores=1,3,5,7
/proc/3850/task/3914/stat : 3914 (java) R 3847 3850 31421 0 -1 4202560 1204 13172 0 0 31 0 4 3 20 0 15 0 74002760 11096371200 44120 33554432000 4194304 4196468 140727309587024 139842141461360 139843174919574 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3915] ppid=3847 vsize=10836300 memory=-6440287458061328268 CPUtime=0.07 cores=1,3,5,7
/proc/3850/task/3915/stat : 3915 (java) S 3847 3850 31421 0 -1 1077944384 3 13172 0 0 0 0 4 3 20 0 15 0 74002760 11096371200 44120 33554432000 4194304 4196468 140727309587024 139841713818592 139843174917845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3916] ppid=3847 vsize=10836300 memory=64 CPUtime=0.07 cores=1,3,5,7
/proc/3850/task/3916/stat : 3916 (java) S 3847 3850 31421 0 -1 1077944384 1 13172 0 0 0 0 4 3 20 0 15 0 74002760 11096371200 44120 33554432000 4194304 4196468 140727309587024 139842140408240 139843174918786 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
Current children cumulated CPU time: 2.26 s
Current children cumulated vsize: 10836300 KiB
################
# More data... #
################
/proc/3850/task/3903/stat : 3903 (java) R 3847 3850 31421 0 -1 4202560 71619 13172 0 0 237274 25 4 3 20 0 15 0 74002754 11176083456 110998 33554432000 4194304 4196468 140727309587024 139843146741616 139842755871087 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3904] ppid=3847 vsize=10914144 memory=443992 CPUtime=4.51 cores=1,3,5,7
/proc/3850/task/3904/stat : 3904 (java) S 3847 3850 31421 0 -1 1077944384 4580 13172 0 0 418 26 4 3 20 0 15 0 74002755 11176083456 110998 33554432000 4194304 4196468 140727309587024 139843179150224 139843174917845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3905] ppid=3847 vsize=10914144 memory=443992 CPUtime=4.49 cores=1,3,5,7
/proc/3850/task/3905/stat : 3905 (java) S 3847 3850 31421 0 -1 1077944384 10269 13172 0 0 415 27 4 3 20 0 15 0 74002755 11176083456 110998 33554432000 4194304 4196468 140727309587024 139843067423504 139843174917845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3906] ppid=3847 vsize=10914144 memory=443992 CPUtime=4.5 cores=1,3,5,7
/proc/3850/task/3906/stat : 3906 (java) S 3847 3850 31421 0 -1 1077944384 6060 13172 0 0 418 25 4 3 20 0 15 0 74002755 11176083456 110998 33554432000 4194304 4196468 140727309587024 139843066371216 139843174917845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3907] ppid=3847 vsize=10914144 memory=0 CPUtime=4.52 cores=1,3,5,7
/proc/3850/task/3907/stat : 3907 (java) S 3847 3850 31421 0 -1 1077944384 10653 13172 0 0 419 26 4 3 20 0 15 0 74002755 11176083456 110998 33554432000 4194304 4196468 140727309587024 139843065318416 139843174917845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3908] ppid=3847 vsize=10914144 memory=443992 CPUtime=3.26 cores=1,3,5,7
/proc/3850/task/3908/stat : 3908 (java) S 3847 3850 31421 0 -1 1077944384 8581 13172 0 0 297 22 4 3 20 0 15 0 74002757 11176083456 110998 33554432000 4194304 4196468 140727309587024 139842178177136 139843174918786 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3909] ppid=3847 vsize=10914144 memory=443992 CPUtime=0.07 cores=1,3,5,7
/proc/3850/task/3909/stat : 3909 (java) S 3847 3850 31421 0 -1 1077944384 41 13172 0 0 0 0 4 3 20 0 15 0 74002757 11176083456 110998 33554432000 4194304 4196468 140727309587024 139842177123232 139843174917845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3910] ppid=3847 vsize=10914144 memory=443992 CPUtime=0.07 cores=1,3,5,7
/proc/3850/task/3910/stat : 3910 (java) S 3847 3850 31421 0 -1 1077944384 3 13172 0 0 0 0 4 3 20 0 15 0 74002757 11176083456 110998 33554432000 4194304 4196468 140727309587024 139842054775936 139843174917845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3911] ppid=3847 vsize=10914144 memory=443992 CPUtime=0.07 cores=1,3,5,7
/proc/3850/task/3911/stat : 3911 (java) S 3847 3850 31421 0 -1 1077944384 3 13172 0 0 0 0 4 3 20 0 15 0 74002760 11176083456 110998 33554432000 4194304 4196468 140727309587024 139841747376208 139843174926235 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3912] ppid=3847 vsize=10914144 memory=33 CPUtime=6.79 cores=1,3,5,7
/proc/3850/task/3912/stat : 3912 (java) S 3847 3850 31421 0 -1 1077944384 30383 13172 0 0 667 5 4 3 20 0 15 0 74002760 11176083456 110998 33554432000 4194304 4196468 140727309587024 139842143566448 139843174918786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3913] ppid=3847 vsize=10914144 memory=1236 CPUtime=6.71 cores=1,3,5,7
/proc/3850/task/3913/stat : 3913 (java) S 3847 3850 31421 0 -1 1077944384 35567 13172 0 0 659 5 4 3 20 0 15 0 74002760 11176083456 110998 33554432000 4194304 4196468 140727309587024 139842142513648 139843174918786 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3914] ppid=3847 vsize=10914144 memory=2340 CPUtime=3.04 cores=1,3,5,7
/proc/3850/task/3914/stat : 3914 (java) S 3847 3850 31421 0 -1 1077944384 27816 13172 0 0 291 6 4 3 20 0 15 0 74002760 11176083456 110998 33554432000 4194304 4196468 140727309587024 139842141461360 139843174918786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3915] ppid=3847 vsize=10914144 memory=443992 CPUtime=0.07 cores=1,3,5,7
/proc/3850/task/3915/stat : 3915 (java) S 3847 3850 31421 0 -1 1077944384 3 13172 0 0 0 0 4 3 20 0 15 0 74002760 11176083456 110998 33554432000 4194304 4196468 140727309587024 139841713818592 139843174917845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3916] ppid=3847 vsize=10914144 memory=1296 CPUtime=1.36 cores=1,3,5,7
/proc/3850/task/3916/stat : 3916 (java) S 3847 3850 31421 0 -1 1077944384 929 13172 0 0 62 67 4 3 20 0 15 0 74002760 11176083456 110998 33554432000 4194304 4196468 140727309587024 139842140408240 139843174918786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
Current children cumulated CPU time: 2411.73 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 443992 KiB
[startup+2442.3 s]
/proc/loadavg: 2.02 1.50 1.45 3/215 4251
/proc/meminfo: memFree=11931816/32770624 swapFree=67108860/67108860
[pid=3850] ppid=3847 vsize=10914144 memory=430132 CPUtime=2472.11 cores=1,3,5,7
/proc/3850/stat : 3850 (java) S 3847 3850 31421 0 -1 1077944320 209929 13172 0 0 246998 206 4 3 20 0 15 0 74002745 11176083456 107533 33554432000 4194304 4196468 140727309587024 140727309569568 139843174907639 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
/proc/3850/statm: 2728536 107533 3525 1 0 2690189 0
[pid=3850/tid=3903] ppid=3847 vsize=10914144 memory=430132 CPUtime=2432.83 cores=1,3,5,7
/proc/3850/task/3903/stat : 3903 (java) R 3847 3850 31421 0 -1 4202560 72293 13172 0 0 243251 25 4 3 20 0 15 0 74002754 11176083456 107533 33554432000 4194304 4196468 140727309587024 139843146741680 139842755871748 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3904] ppid=3847 vsize=10914144 memory=430132 CPUtime=4.64 cores=1,3,5,7
/proc/3850/task/3904/stat : 3904 (java) S 3847 3850 31421 0 -1 1077944384 4616 13172 0 0 430 27 4 3 20 0 15 0 74002755 11176083456 107533 33554432000 4194304 4196468 140727309587024 139843179150224 139843174917845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3905] ppid=3847 vsize=10914144 memory=443992 CPUtime=4.62 cores=1,3,5,7
/proc/3850/task/3905/stat : 3905 (java) S 3847 3850 31421 0 -1 1077944384 10357 13172 0 0 427 28 4 3 20 0 15 0 74002755 11176083456 107533 33554432000 4194304 4196468 140727309587024 139843067423504 139843174917845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3906] ppid=3847 vsize=10914144 memory=435776 CPUtime=4.63 cores=1,3,5,7
/proc/3850/task/3906/stat : 3906 (java) S 3847 3850 31421 0 -1 1077944384 6408 13172 0 0 431 25 4 3 20 0 15 0 74002755 11176083456 107533 33554432000 4194304 4196468 140727309587024 139843066371216 139843174917845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3907] ppid=3847 vsize=10914144 memory=433724 CPUtime=4.64 cores=1,3,5,7
/proc/3850/task/3907/stat : 3907 (java) S 3847 3850 31421 0 -1 1077944384 10690 13172 0 0 430 27 4 3 20 0 15 0 74002755 11176083456 107533 33554432000 4194304 4196468 140727309587024 139843065318416 139843174917845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3908] ppid=3847 vsize=10914144 memory=433724 CPUtime=3.35 cores=1,3,5,7
/proc/3850/task/3908/stat : 3908 (java) S 3847 3850 31421 0 -1 1077944384 8626 13172 0 0 305 23 4 3 20 0 15 0 74002757 11176083456 107533 33554432000 4194304 4196468 140727309587024 139842178177136 139843174918786 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3909] ppid=3847 vsize=10914144 memory=430132 CPUtime=0.07 cores=1,3,5,7
/proc/3850/task/3909/stat : 3909 (java) S 3847 3850 31421 0 -1 1077944384 41 13172 0 0 0 0 4 3 20 0 15 0 74002757 11176083456 107533 33554432000 4194304 4196468 140727309587024 139842177123232 139843174917845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3910] ppid=3847 vsize=10914144 memory=430132 CPUtime=0.07 cores=1,3,5,7
/proc/3850/task/3910/stat : 3910 (java) S 3847 3850 31421 0 -1 1077944384 3 13172 0 0 0 0 4 3 20 0 15 0 74002757 11176083456 107533 33554432000 4194304 4196468 140727309587024 139842054775936 139843174917845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3911] ppid=3847 vsize=10914144 memory=430132 CPUtime=0.07 cores=1,3,5,7
/proc/3850/task/3911/stat : 3911 (java) S 3847 3850 31421 0 -1 1077944384 3 13172 0 0 0 0 4 3 20 0 15 0 74002760 11176083456 107533 33554432000 4194304 4196468 140727309587024 139841747376208 139843174926235 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3912] ppid=3847 vsize=10914144 memory=430132 CPUtime=6.79 cores=1,3,5,7
/proc/3850/task/3912/stat : 3912 (java) S 3847 3850 31421 0 -1 1077944384 30383 13172 0 0 667 5 4 3 20 0 15 0 74002760 11176083456 107533 33554432000 4194304 4196468 140727309587024 139842143566448 139843174918786 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3913] ppid=3847 vsize=10914144 memory=430132 CPUtime=6.71 cores=1,3,5,7
/proc/3850/task/3913/stat : 3913 (java) S 3847 3850 31421 0 -1 1077944384 35567 13172 0 0 659 5 4 3 20 0 15 0 74002760 11176083456 107533 33554432000 4194304 4196468 140727309587024 139842142513648 139843174918786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3914] ppid=3847 vsize=10914144 memory=430132 CPUtime=3.04 cores=1,3,5,7
/proc/3850/task/3914/stat : 3914 (java) S 3847 3850 31421 0 -1 1077944384 27816 13172 0 0 291 6 4 3 20 0 15 0 74002760 11176083456 107533 33554432000 4194304 4196468 140727309587024 139842141461360 139843174918786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3915] ppid=3847 vsize=10914144 memory=430132 CPUtime=0.07 cores=1,3,5,7
/proc/3850/task/3915/stat : 3915 (java) S 3847 3850 31421 0 -1 1077944384 3 13172 0 0 0 0 4 3 20 0 15 0 74002760 11176083456 107533 33554432000 4194304 4196468 140727309587024 139841713818592 139843174917845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3916] ppid=3847 vsize=10914144 memory=430132 CPUtime=1.39 cores=1,3,5,7
/proc/3850/task/3916/stat : 3916 (java) S 3847 3850 31421 0 -1 1077944384 935 13172 0 0 64 68 4 3 20 0 15 0 74002760 11176083456 107533 33554432000 4194304 4196468 140727309587024 139842140408240 139843174918786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
Current children cumulated CPU time: 2472.11 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 430132 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2489.9 s]
/proc/loadavg: 1.82 1.52 1.46 3/216 4274
/proc/meminfo: memFree=11930872/32770624 swapFree=67108860/67108860
[pid=3850] ppid=3847 vsize=10914144 memory=430132 CPUtime=2520.02 cores=1,3,5,7
/proc/3850/stat : 3850 (java) S 3847 3850 31421 0 -1 1077944320 210105 13172 0 0 251786 209 4 3 20 0 15 0 74002745 11176083456 107533 33554432000 4194304 4196468 140727309587024 140727309569568 139843174907639 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
/proc/3850/statm: 2728536 107533 3525 1 0 2690189 0
[pid=3850/tid=3903] ppid=3847 vsize=10914144 memory=430132 CPUtime=2480.25 cores=1,3,5,7
/proc/3850/task/3903/stat : 3903 (java) R 3847 3850 31421 0 -1 4202560 72395 13172 0 0 247993 25 4 3 20 0 15 0 74002754 11176083456 107533 33554432000 4194304 4196468 140727309587024 139843146741504 139842755870968 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3904] ppid=3847 vsize=10914144 memory=430132 CPUtime=4.73 cores=1,3,5,7
/proc/3850/task/3904/stat : 3904 (java) S 3847 3850 31421 0 -1 1077944384 4643 13172 0 0 439 27 4 3 20 0 15 0 74002755 11176083456 107533 33554432000 4194304 4196468 140727309587024 139843179150224 139843174917845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3905] ppid=3847 vsize=10914144 memory=430132 CPUtime=4.72 cores=1,3,5,7
/proc/3850/task/3905/stat : 3905 (java) S 3847 3850 31421 0 -1 1077944384 10367 13172 0 0 437 28 4 3 20 0 15 0 74002755 11176083456 107533 33554432000 4194304 4196468 140727309587024 139843067423504 139843174917845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3906] ppid=3847 vsize=10914144 memory=430132 CPUtime=4.73 cores=1,3,5,7
/proc/3850/task/3906/stat : 3906 (java) S 3847 3850 31421 0 -1 1077944384 6421 13172 0 0 440 26 4 3 20 0 15 0 74002755 11176083456 107533 33554432000 4194304 4196468 140727309587024 139843066371216 139843174917845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3907] ppid=3847 vsize=10914144 memory=430132 CPUtime=4.74 cores=1,3,5,7
/proc/3850/task/3907/stat : 3907 (java) S 3847 3850 31421 0 -1 1077944384 10702 13172 0 0 440 27 4 3 20 0 15 0 74002755 11176083456 107533 33554432000 4194304 4196468 140727309587024 139843065318416 139843174917845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3908] ppid=3847 vsize=10914144 memory=430132 CPUtime=3.41 cores=1,3,5,7
/proc/3850/task/3908/stat : 3908 (java) S 3847 3850 31421 0 -1 1077944384 8630 13172 0 0 311 23 4 3 20 0 15 0 74002757 11176083456 107533 33554432000 4194304 4196468 140727309587024 139842178177136 139843174918786 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3909] ppid=3847 vsize=10914144 memory=430132 CPUtime=0.07 cores=1,3,5,7
/proc/3850/task/3909/stat : 3909 (java) S 3847 3850 31421 0 -1 1077944384 41 13172 0 0 0 0 4 3 20 0 15 0 74002757 11176083456 107533 33554432000 4194304 4196468 140727309587024 139842177123232 139843174917845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3910] ppid=3847 vsize=10914144 memory=430132 CPUtime=0.07 cores=1,3,5,7
/proc/3850/task/3910/stat : 3910 (java) S 3847 3850 31421 0 -1 1077944384 3 13172 0 0 0 0 4 3 20 0 15 0 74002757 11176083456 107533 33554432000 4194304 4196468 140727309587024 139842054775936 139843174917845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3911] ppid=3847 vsize=10914144 memory=430132 CPUtime=0.07 cores=1,3,5,7
/proc/3850/task/3911/stat : 3911 (java) S 3847 3850 31421 0 -1 1077944384 3 13172 0 0 0 0 4 3 20 0 15 0 74002760 11176083456 107533 33554432000 4194304 4196468 140727309587024 139841747376208 139843174926235 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3912] ppid=3847 vsize=10914144 memory=4140 CPUtime=6.79 cores=1,3,5,7
/proc/3850/task/3912/stat : 3912 (java) S 3847 3850 31421 0 -1 1077944384 30385 13172 0 0 667 5 4 3 20 0 15 0 74002760 11176083456 107533 33554432000 4194304 4196468 140727309587024 139842143566448 139843174918786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3913] ppid=3847 vsize=10914144 memory=22256 CPUtime=6.71 cores=1,3,5,7
/proc/3850/task/3913/stat : 3913 (java) S 3847 3850 31421 0 -1 1077944384 35569 13172 0 0 659 5 4 3 20 0 15 0 74002760 11176083456 107533 33554432000 4194304 4196468 140727309587024 139842142513648 139843174918786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3914] ppid=3847 vsize=10914144 memory=4140 CPUtime=3.04 cores=1,3,5,7
/proc/3850/task/3914/stat : 3914 (java) S 3847 3850 31421 0 -1 1077944384 27818 13172 0 0 291 6 4 3 20 0 15 0 74002760 11176083456 107533 33554432000 4194304 4196468 140727309587024 139842141461360 139843174918786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3915] ppid=3847 vsize=10914144 memory=22256 CPUtime=0.07 cores=1,3,5,7
/proc/3850/task/3915/stat : 3915 (java) S 3847 3850 31421 0 -1 1077944384 3 13172 0 0 0 0 4 3 20 0 15 0 74002760 11176083456 107533 33554432000 4194304 4196468 140727309587024 139841713818592 139843174917845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3916] ppid=3847 vsize=10914144 memory=1296 CPUtime=1.42 cores=1,3,5,7
/proc/3850/task/3916/stat : 3916 (java) S 3847 3850 31421 0 -1 1077944384 937 13172 0 0 65 70 4 3 20 0 15 0 74002760 11176083456 107533 33554432000 4194304 4196468 140727309587024 139842140408240 139843174918786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 430132 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2489.93 s]
# the end of solver process 3850 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.94 s, system=2.13639 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2489.9 s]
/proc/loadavg: 1.82 1.52 1.46 3/216 4274
/proc/meminfo: memFree=11930872/32770624 swapFree=67108860/67108860
[pid=3850] ppid=3847 vsize=10914144 memory=430132 CPUtime=2520.02 cores=1,3,5,7
/proc/3850/stat : 3850 (java) S 3847 3850 31421 0 -1 1077944320 210105 13172 0 0 251786 209 4 3 20 0 15 0 74002745 11176083456 107533 33554432000 4194304 4196468 140727309587024 140727309569568 139843174907639 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
/proc/3850/statm: 2728536 107533 3525 1 0 2690189 0
[pid=3850/tid=3903] ppid=3847 vsize=10914144 memory=430132 CPUtime=2480.25 cores=1,3,5,7
/proc/3850/task/3903/stat : 3903 (java) R 3847 3850 31421 0 -1 4202560 72395 13172 0 0 247993 25 4 3 20 0 15 0 74002754 11176083456 107533 33554432000 4194304 4196468 140727309587024 139843146741504 139842755870968 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3904] ppid=3847 vsize=10914144 memory=430132 CPUtime=4.73 cores=1,3,5,7
/proc/3850/task/3904/stat : 3904 (java) S 3847 3850 31421 0 -1 1077944384 4643 13172 0 0 439 27 4 3 20 0 15 0 74002755 11176083456 107533 33554432000 4194304 4196468 140727309587024 139843179150224 139843174917845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3905] ppid=3847 vsize=10914144 memory=430132 CPUtime=4.72 cores=1,3,5,7
/proc/3850/task/3905/stat : 3905 (java) S 3847 3850 31421 0 -1 1077944384 10367 13172 0 0 437 28 4 3 20 0 15 0 74002755 11176083456 107533 33554432000 4194304 4196468 140727309587024 139843067423504 139843174917845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3906] ppid=3847 vsize=10914144 memory=430132 CPUtime=4.73 cores=1,3,5,7
/proc/3850/task/3906/stat : 3906 (java) S 3847 3850 31421 0 -1 1077944384 6421 13172 0 0 440 26 4 3 20 0 15 0 74002755 11176083456 107533 33554432000 4194304 4196468 140727309587024 139843066371216 139843174917845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3907] ppid=3847 vsize=10914144 memory=430132 CPUtime=4.74 cores=1,3,5,7
/proc/3850/task/3907/stat : 3907 (java) S 3847 3850 31421 0 -1 1077944384 10702 13172 0 0 440 27 4 3 20 0 15 0 74002755 11176083456 107533 33554432000 4194304 4196468 140727309587024 139843065318416 139843174917845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3908] ppid=3847 vsize=10914144 memory=430132 CPUtime=3.41 cores=1,3,5,7
/proc/3850/task/3908/stat : 3908 (java) S 3847 3850 31421 0 -1 1077944384 8630 13172 0 0 311 23 4 3 20 0 15 0 74002757 11176083456 107533 33554432000 4194304 4196468 140727309587024 139842178177136 139843174918786 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3909] ppid=3847 vsize=10914144 memory=430132 CPUtime=0.07 cores=1,3,5,7
/proc/3850/task/3909/stat : 3909 (java) S 3847 3850 31421 0 -1 1077944384 41 13172 0 0 0 0 4 3 20 0 15 0 74002757 11176083456 107533 33554432000 4194304 4196468 140727309587024 139842177123232 139843174917845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3910] ppid=3847 vsize=10914144 memory=430132 CPUtime=0.07 cores=1,3,5,7
/proc/3850/task/3910/stat : 3910 (java) S 3847 3850 31421 0 -1 1077944384 3 13172 0 0 0 0 4 3 20 0 15 0 74002757 11176083456 107533 33554432000 4194304 4196468 140727309587024 139842054775936 139843174917845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3911] ppid=3847 vsize=10914144 memory=430132 CPUtime=0.07 cores=1,3,5,7
/proc/3850/task/3911/stat : 3911 (java) S 3847 3850 31421 0 -1 1077944384 3 13172 0 0 0 0 4 3 20 0 15 0 74002760 11176083456 107533 33554432000 4194304 4196468 140727309587024 139841747376208 139843174926235 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3912] ppid=3847 vsize=10914144 memory=4140 CPUtime=6.79 cores=1,3,5,7
/proc/3850/task/3912/stat : 3912 (java) S 3847 3850 31421 0 -1 1077944384 30385 13172 0 0 667 5 4 3 20 0 15 0 74002760 11176083456 107533 33554432000 4194304 4196468 140727309587024 139842143566448 139843174918786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3913] ppid=3847 vsize=10914144 memory=22256 CPUtime=6.71 cores=1,3,5,7
/proc/3850/task/3913/stat : 3913 (java) S 3847 3850 31421 0 -1 1077944384 35569 13172 0 0 659 5 4 3 20 0 15 0 74002760 11176083456 107533 33554432000 4194304 4196468 140727309587024 139842142513648 139843174918786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3914] ppid=3847 vsize=10914144 memory=4140 CPUtime=3.04 cores=1,3,5,7
/proc/3850/task/3914/stat : 3914 (java) S 3847 3850 31421 0 -1 1077944384 27818 13172 0 0 291 6 4 3 20 0 15 0 74002760 11176083456 107533 33554432000 4194304 4196468 140727309587024 139842141461360 139843174918786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3915] ppid=3847 vsize=10914144 memory=22256 CPUtime=0.07 cores=1,3,5,7
/proc/3850/task/3915/stat : 3915 (java) S 3847 3850 31421 0 -1 1077944384 3 13172 0 0 0 0 4 3 20 0 15 0 74002760 11176083456 107533 33554432000 4194304 4196468 140727309587024 139841713818592 139843174917845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
[pid=3850/tid=3916] ppid=3847 vsize=10914144 memory=1296 CPUtime=1.42 cores=1,3,5,7
/proc/3850/task/3916/stat : 3916 (java) S 3847 3850 31421 0 -1 1077944384 937 13172 0 0 65 70 4 3 20 0 15 0 74002760 11176083456 107533 33554432000 4194304 4196468 140727309587024 139842140408240 139843174918786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23592960 140727309588652 140727309591900 140727309591900 140727309594575 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 430132 KiB
Child status: 143
Real time (s): 2489.93
CPU time (s): 2520.07
CPU user time (s): 2517.94
CPU system time (s): 2.13639
CPU usage (%): 101.211
Max. virtual memory (cumulated for all children) (KiB): 10916988
Max. memory (cumulated for all children) (KiB): 874580
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.94
system time used= 2.13639
maximum resident set size= 880724
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 224369
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3016
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 131133
involuntary context switches= 4110
# summary of solver processes directly reported to runsolver:
# pid: 3850
# total CPU time (s): 2520.07
# total CPU user time (s): 2517.94
# total CPU system time (s): 2.13639
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.6435 second user time and 21.7188 second system time
The end