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 (6684 MiB free)
memory of node 1: 16384 MiB (9288 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294297-1532448537/watcher-4294297-1532448537 -o /tmp/evaluation-result-4294297-1532448537/solver-4294297-1532448537 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1532446038-19003 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=1667371677 -superng HOME/instance-4294297-1532448537.xml
running on 4 cores: 0,2,4,6
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=19840, runsolver pid=19837
[startup+0.100122 s]*
/proc/loadavg: 1.48 1.37 1.34 5/210 19897
/proc/meminfo: memFree=16346768/32770624 swapFree=67108860/67108860
[pid=19840] ppid=19837 vsize=9972712 memory=18592 CPUtime=0.08 cores=0,2,4,6
/proc/19840/stat : 19840 (java) S 19837 19840 12709 0 -1 1077944320 4308 13011 0 0 1 0 5 2 20 0 6 0 62416930 10212057088 4648 33554432000 4194304 4196468 140721651224704 140721651207248 139801626840823 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
/proc/19840/statm: 2493178 4648 1932 1 0 2481616 0
[pid=19840/tid=19893] ppid=19837 vsize=9972712 memory=4628411388058700198 CPUtime=0.07 cores=0,2,4,6
/proc/19840/task/19893/stat : 19893 (java) R 19837 19840 12709 0 -1 4202560 2129 13011 0 0 0 0 5 2 20 0 6 0 62416939 10212057088 4714 33554432000 4194304 4196468 140721651224704 139801598677584 139801611963760 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
[pid=19840/tid=19894] ppid=19837 vsize=9972712 memory=5793855633737255353 CPUtime=0.07 cores=0,2,4,6
/proc/19840/task/19894/stat : 19894 (java) S 19837 19840 12709 0 -1 1077944384 1 13011 0 0 0 0 5 2 20 0 6 0 62416939 10212057088 4714 33554432000 4194304 4196468 140721651224704 139801631083664 139801626851029 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
[pid=19840/tid=19895] ppid=19837 vsize=9972712 memory=140382727362176 CPUtime=0.07 cores=0,2,4,6
/proc/19840/task/19895/stat : 19895 (java) S 19837 19840 12709 0 -1 1077944384 1 13011 0 0 0 0 5 2 20 0 6 0 62416939 10212057088 4714 33554432000 4194304 4196468 140721651224704 139801529973776 139801626851029 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
[pid=19840/tid=19896] ppid=19837 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19840/task/19896/stat : 19896 (java) S 19837 19840 12709 0 -1 1077944384 1 13011 0 0 0 0 5 2 20 0 6 0 62416939 10212057088 4714 33554432000 4194304 4196468 140721651224704 139801528920976 139801626851029 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
[pid=19840/tid=19897] ppid=19837 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19840/task/19897/stat : 19897 (java) S 19837 19840 12709 0 -1 1077944384 2 13011 0 0 0 0 5 2 20 0 6 0 62416939 10212057088 4714 33554432000 4194304 4196468 140721651224704 139801527868176 139801626851029 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18592 KiB
[startup+0.210257 s]*
/proc/loadavg: 1.48 1.37 1.34 5/219 19906
/proc/meminfo: memFree=16325440/32770624 swapFree=67108860/67108860
[pid=19840] ppid=19837 vsize=10818904 memory=45436 CPUtime=0.25 cores=0,2,4,6
/proc/19840/stat : 19840 (java) S 19837 19840 12709 0 -1 1077944320 9236 13011 0 0 17 1 5 2 20 0 15 0 62416930 11078557696 11359 33554432000 4194304 4196468 140721651224704 140721651207248 139801626840823 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
/proc/19840/statm: 2704726 11359 2966 1 0 2667149 0
[pid=19840/tid=19893] ppid=19837 vsize=10818904 memory=-8540663193526752614 CPUtime=0.18 cores=0,2,4,6
/proc/19840/task/19893/stat : 19893 (java) R 19837 19840 12709 0 -1 4202560 5861 13011 0 0 10 1 5 2 20 0 15 0 62416939 11078557696 11359 33554432000 4194304 4196468 140721651224704 139801598665632 139801610921310 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
[pid=19840/tid=19894] ppid=19837 vsize=10818904 memory=4211974108932152714 CPUtime=0.07 cores=0,2,4,6
/proc/19840/task/19894/stat : 19894 (java) S 19837 19840 12709 0 -1 1077944384 1 13011 0 0 0 0 5 2 20 0 15 0 62416939 11078557696 11359 33554432000 4194304 4196468 140721651224704 139801631083664 139801626851029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
[pid=19840/tid=19895] ppid=19837 vsize=10818904 memory=140382727362176 CPUtime=0.07 cores=0,2,4,6
/proc/19840/task/19895/stat : 19895 (java) S 19837 19840 12709 0 -1 1077944384 1 13011 0 0 0 0 5 2 20 0 15 0 62416939 11078557696 11359 33554432000 4194304 4196468 140721651224704 139801529973776 139801626851029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
[pid=19840/tid=19896] ppid=19837 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19840/task/19896/stat : 19896 (java) S 19837 19840 12709 0 -1 1077944384 1 13011 0 0 0 0 5 2 20 0 15 0 62416939 11078557696 11359 33554432000 4194304 4196468 140721651224704 139801528920976 139801626851029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
[pid=19840/tid=19897] ppid=19837 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19840/task/19897/stat : 19897 (java) S 19837 19840 12709 0 -1 1077944384 2 13011 0 0 0 0 5 2 20 0 15 0 62416939 11078557696 11359 33554432000 4194304 4196468 140721651224704 139801527868176 139801626851029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
[pid=19840/tid=19898] ppid=19837 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19840/task/19898/stat : 19898 (java) S 19837 19840 12709 0 -1 1077944384 2 13011 0 0 0 0 5 2 20 0 15 0 62416941 11078557696 11359 33554432000 4194304 4196468 140721651224704 139800629504368 139801626851970 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
[pid=19840/tid=19899] ppid=19837 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/19840/task/19899/stat : 19899 (java) S 19837 19840 12709 0 -1 1077944384 33 13011 0 0 0 0 5 2 20 0 15 0 62416941 11078557696 11359 33554432000 4194304 4196468 140721651224704 139800628450336 139801626851029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
[pid=19840/tid=19900] ppid=19837 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19840/task/19900/stat : 19900 (java) S 19837 19840 12709 0 -1 1077944384 1 13011 0 0 0 0 5 2 20 0 15 0 62416941 11078557696 11359 33554432000 4194304 4196468 140721651224704 139800514388848 139801626851029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
[pid=19840/tid=19901] ppid=19837 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19840/task/19901/stat : 19901 (java) S 19837 19840 12709 0 -1 1077944384 3 13011 0 0 0 0 5 2 20 0 15 0 62416944 11078557696 11359 33554432000 4194304 4196468 140721651224704 139800206989136 139801626859419 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
[pid=19840/tid=19902] ppid=19837 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19840/task/19902/stat : 19902 (java) S 19837 19840 12709 0 -1 1077944384 530 13011 0 0 1 0 5 2 20 0 15 0 62416944 11078557696 11359 33554432000 4194304 4196468 140721651224704 139800594893680 139801626851970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
[pid=19840/tid=19903] ppid=19837 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/19840/task/19903/stat : 19903 (java) S 19837 19840 12709 0 -1 1077944384 53 13011 0 0 0 0 5 2 20 0 15 0 62416944 11078557696 11359 33554432000 4194304 4196468 140721651224704 139800593840880 139801626851970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
[pid=19840/tid=19904] ppid=19837 vsize=10818904 memory=140382727362176 CPUtime=0.1 cores=0,2,4,6
/proc/19840/task/19904/stat : 19904 (java) R 19837 19840 12709 0 -1 4202560 558 13011 0 0 3 0 5 2 20 0 15 0 62416944 11078557696 11359 33554432000 4194304 4196468 140721651224704 139800592788080 139801606108017 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
[pid=19840/tid=19905] ppid=19837 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/19840/task/19905/stat : 19905 (java) S 19837 19840 12709 0 -1 1077944384 3 13011 0 0 0 0 5 2 20 0 15 0 62416944 11078557696 11359 33554432000 4194304 4196468 140721651224704 139800173431520 139801626851029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
[pid=19840/tid=19906] ppid=19837 vsize=10818904 memory=140382727362176 CPUtime=0.07 cores=0,2,4,6
/proc/19840/task/19906/stat : 19906 (java) S 19837 19840 12709 0 -1 1077944384 1 13011 0 0 0 0 5 2 20 0 15 0 62416945 11078557696 11359 33554432000 4194304 4196468 140721651224704 139800591735472 139801626851970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 45436 KiB
[startup+0.310802 s]*
/proc/loadavg: 1.48 1.37 1.34 5/219 19906
/proc/meminfo: memFree=16312416/32770624 swapFree=67108860/67108860
[pid=19840] ppid=19837 vsize=10819352 memory=53312 CPUtime=0.38 cores=0,2,4,6
/proc/19840/stat : 19840 (java) S 19837 19840 12709 0 -1 1077944320 10447 13011 0 0 29 2 5 2 20 0 15 0 62416930 11079016448 13328 33554432000 4194304 4196468 140721651224704 140721651207248 139801626840823 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
/proc/19840/statm: 2704838 13328 3085 1 0 2667149 0
[pid=19840/tid=19893] ppid=19837 vsize=10819352 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/19840/task/19893/stat : 19893 (java) R 19837 19840 12709 0 -1 4202560 7045 13011 0 0 19 2 5 2 20 0 15 0 62416939 11079016448 13328 33554432000 4194304 4196468 140721651224704 139801598652832 139801607116126 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
[pid=19840/tid=19894] ppid=19837 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19840/task/19894/stat : 19894 (java) S 19837 19840 12709 0 -1 1077944384 1 13011 0 0 0 0 5 2 20 0 15 0 62416939 11079016448 13328 33554432000 4194304 4196468 140721651224704 139801631083664 139801626851029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
[pid=19840/tid=19895] ppid=19837 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19840/task/19895/stat : 19895 (java) S 19837 19840 12709 0 -1 1077944384 1 13011 0 0 0 0 5 2 20 0 15 0 62416939 11079016448 13328 33554432000 4194304 4196468 140721651224704 139801529973776 139801626851029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
[pid=19840/tid=19896] ppid=19837 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19840/task/19896/stat : 19896 (java) S 19837 19840 12709 0 -1 1077944384 1 13011 0 0 0 0 5 2 20 0 15 0 62416939 11079016448 13328 33554432000 4194304 4196468 140721651224704 139801528920976 139801626851029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
[pid=19840/tid=19897] ppid=19837 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/19840/task/19897/stat : 19897 (java) S 19837 19840 12709 0 -1 1077944384 2 13011 0 0 0 0 5 2 20 0 15 0 62416939 11079016448 13328 33554432000 4194304 4196468 140721651224704 139801527868176 139801626851029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
[pid=19840/tid=19898] ppid=19837 vsize=10819352 memory=140382727362175 CPUtime=0.07 cores=0,2,4,6
/proc/19840/task/19898/stat : 19898 (java) S 19837 19840 12709 0 -1 1077944384 2 13011 0 0 0 0 5 2 20 0 15 0 62416941 11079016448 13328 33554432000 4194304 4196468 140721651224704 139800629504368 139801626851970 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
[pid=19840/tid=19899] ppid=19837 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/19840/task/19899/stat : 19899 (java) S 19837 19840 12709 0 -1 1077944384 33 13011 0 0 0 0 5 2 20 0 15 0 62416941 11079016448 13328 33554432000 4194304 4196468 140721651224704 139800628450336 139801626851029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
[pid=19840/tid=19900] ppid=19837 vsize=10819352 memory=140382727362176 CPUtime=0.07 cores=0,2,4,6
/proc/19840/task/19900/stat : 19900 (java) S 19837 19840 12709 0 -1 1077944384 1 13011 0 0 0 0 5 2 20 0 15 0 62416941 11079016448 13328 33554432000 4194304 4196468 140721651224704 139800514388848 139801626851029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
[pid=19840/tid=19901] ppid=19837 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/19840/task/19901/stat : 19901 (java) S 19837 19840 12709 0 -1 1077944384 3 13011 0 0 0 0 5 2 20 0 15 0 62416944 11079016448 13328 33554432000 4194304 4196468 140721651224704 139800206989136 139801626859419 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
[pid=19840/tid=19902] ppid=19837 vsize=10819352 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/19840/task/19902/stat : 19902 (java) S 19837 19840 12709 0 -1 1077944384 531 13011 0 0 2 0 5 2 20 0 15 0 62416944 11079016448 13328 33554432000 4194304 4196468 140721651224704 139800594893680 139801626851970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
[pid=19840/tid=19903] ppid=19837 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/19840/task/19903/stat : 19903 (java) S 19837 19840 12709 0 -1 1077944384 53 13011 0 0 1 0 5 2 20 0 15 0 62416944 11079016448 13328 33554432000 4194304 4196468 140721651224704 139800593840880 139801626851970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
[pid=19840/tid=19904] ppid=19837 vsize=10819352 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/19840/task/19904/stat : 19904 (java) S 19837 19840 12709 0 -1 1077944384 578 13011 0 0 5 0 5 2 20 0 15 0 62416944 11079016448 13328 33554432000 4194304 4196468 140721651224704 139800592788080 139801626851970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
[pid=19840/tid=19905] ppid=19837 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19840/task/19905/stat : 19905 (java) S 19837 19840 12709 0 -1 1077944384 3 13011 0 0 0 0 5 2 20 0 15 0 62416944 11079016448 13328 33554432000 4194304 4196468 140721651224704 139800173431520 139801626851029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
[pid=19840/tid=19906] ppid=19837 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19840/task/19906/stat : 19906 (java) S 19837 19840 12709 0 -1 1077944384 1 13011 0 0 0 0 5 2 20 0 15 0 62416945 11079016448 13328 33554432000 4194304 4196468 140721651224704 139800591735472 139801626851970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 53312 KiB
[startup+0.700726 s]
/proc/loadavg: 1.48 1.37 1.34 5/219 19906
/proc/meminfo: memFree=16302368/32770624 swapFree=67108860/67108860
[pid=19840] ppid=19837 vsize=10819352 memory=86540 CPUtime=0.98 cores=0,2,4,6
/proc/19840/stat : 19840 (java) S 19837 19840 12709 0 -1 1077944320 16748 13011 0 0 87 4 5 2 20 0 15 0 62416930 11079016448 21635 33554432000 4194304 4196468 140721651224704 140721651207248 139801626840823 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
/proc/19840/statm: 2704838 21635 3238 1 0 2667149 0
[pid=19840/tid=19893] ppid=19837 vsize=10819352 memory=19340 CPUtime=0.66 cores=0,2,4,6
/proc/19840/task/19893/stat : 19893 (java) R 19837 19840 12709 0 -1 4202560 12243 13011 0 0 56 3 5 2 20 0 15 0 62416939 11079016448 21635 33554432000 4194304 4196468 140721651224704 139801598661648 139801608404379 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
[pid=19840/tid=19894] ppid=19837 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19840/task/19894/stat : 19894 (java) S 19837 19840 12709 0 -1 1077944384 1 13011 0 0 0 0 5 2 20 0 15 0 62416939 11079016448 21635 33554432000 4194304 4196468 140721651224704 139801631083664 139801626851029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
[pid=19840/tid=19895] ppid=19837 vsize=10819352 memory=288230587427469581 CPUtime=0.07 cores=0,2,4,6
/proc/19840/task/19895/stat : 19895 (java) S 19837 19840 12709 0 -1 1077944384 1 13011 0 0 0 0 5 2 20 0 15 0 62416939 11079016448 21635 33554432000 4194304 4196468 140721651224704 139801529973776 139801626851029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
[pid=19840/tid=19896] ppid=19837 vsize=10819352 memory=15816694631256675 CPUtime=0.07 cores=0,2,4,6
/proc/19840/task/19896/stat : 19896 (java) S 19837 19840 12709 0 -1 1077944384 1 13011 0 0 0 0 5 2 20 0 15 0 62416939 11079016448 21635 33554432000 4194304 4196468 140721651224704 139801528920976 139801626851029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
[pid=19840/tid=19897] ppid=19837 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19840/task/19897/stat : 19897 (java) S 19837 19840 12709 0 -1 1077944384 2 13011 0 0 0 0 5 2 20 0 15 0 62416939 11079016448 21635 33554432000 4194304 4196468 140721651224704 139801527868176 139801626851029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
[pid=19840/tid=19898] ppid=19837 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19840/task/19898/stat : 19898 (java) S 19837 19840 12709 0 -1 1077944384 5 13011 0 0 0 0 5 2 20 0 15 0 62416941 11079016448 21635 33554432000 4194304 4196468 140721651224704 139800629504368 139801626851970 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
[pid=19840/tid=19899] ppid=19837 vsize=10819352 memory=140382616986208 CPUtime=0.07 cores=0,2,4,6
/proc/19840/task/19899/stat : 19899 (java) S 19837 19840 12709 0 -1 1077944384 33 13011 0 0 0 0 5 2 20 0 15 0 62416941 11079016448 21635 33554432000 4194304 4196468 140721651224704 139800628450336 139801626851029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
[pid=19840/tid=19900] ppid=19837 vsize=10819352 memory=140385301038192 CPUtime=0.07 cores=0,2,4,6
/proc/19840/task/19900/stat : 19900 (java) S 19837 19840 12709 0 -1 1077944384 1 13011 0 0 0 0 5 2 20 0 15 0 62416941 11079016448 21635 33554432000 4194304 4196468 140721651224704 139800514388848 139801626851029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
[pid=19840/tid=19901] ppid=19837 vsize=10819352 memory=2340 CPUtime=0.07 cores=0,2,4,6
/proc/19840/task/19901/stat : 19901 (java) S 19837 19840 12709 0 -1 1077944384 3 13011 0 0 0 0 5 2 20 0 15 0 62416944 11079016448 21635 33554432000 4194304 4196468 140721651224704 139800206989136 139801626859419 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
[pid=19840/tid=19902] ppid=19837 vsize=10819352 memory=6153431502485414241 CPUtime=0.17 cores=0,2,4,6
/proc/19840/task/19902/stat : 19902 (java) S 19837 19840 12709 0 -1 1077944384 1180 13011 0 0 10 0 5 2 20 0 15 0 62416944 11079016448 21635 33554432000 4194304 4196468 140721651224704 139800594893680 139801626851970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
[pid=19840/tid=19903] ppid=19837 vsize=10819352 memory=7881696724453321575 CPUtime=0.13 cores=0,2,4,6
/proc/19840/task/19903/stat : 19903 (java) S 19837 19840 12709 0 -1 1077944384 415 13011 0 0 6 0 5 2 20 0 15 0 62416944 11079016448 21635 33554432000 4194304 4196468 140721651224704 139800593840880 139801626851970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
[pid=19840/tid=19904] ppid=19837 vsize=10819352 memory=6154538792250073449 CPUtime=0.2 cores=0,2,4,6
/proc/19840/task/19904/stat : 19904 (java) S 19837 19840 12709 0 -1 1077944384 667 13011 0 0 13 0 5 2 20 0 15 0 62416944 11079016448 21635 33554432000 4194304 4196468 140721651224704 139800592788080 139801626851970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
[pid=19840/tid=19905] ppid=19837 vsize=10819352 memory=8514726395715218844 CPUtime=0.07 cores=0,2,4,6
/proc/19840/task/19905/stat : 19905 (java) S 19837 19840 12709 0 -1 1077944384 3 13011 0 0 0 0 5 2 20 0 15 0 62416944 11079016448 21635 33554432000 4194304 4196468 140721651224704 139800173431520 139801626851029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
[pid=19840/tid=19906] ppid=19837 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19840/task/19906/stat : 19906 (java) S 19837 19840 12709 0 -1 1077944384 1 13011 0 0 0 0 5 2 20 0 15 0 62416945 11079016448 21635 33554432000 4194304 4196468 140721651224704 139800591735472 139801626851970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 86540 KiB
[startup+1.50232 s]
/proc/loadavg: 1.76 1.43 1.36 3/219 19906
/proc/meminfo: memFree=16115532/32770624 swapFree=67108860/67108860
[pid=19840] ppid=19837 vsize=10836300 memory=179828 CPUtime=2.25 cores=0,2,4,6
/proc/19840/stat : 19840 (java) S 19837 19840 12709 0 -1 1077944320 24004 13011 0 0 207 11 5 2 20 0 15 0 62416930 11096371200 44957 33554432000 4194304 4196468 140721651224704 140721651207248 139801626840823 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
/proc/19840/statm: 2709075 44957 3473 1 0 2670733 0
[pid=19840/tid=19893] ppid=19837 vsize=10836300 memory=7593446531018022996 CPUtime=1.42 cores=0,2,4,6
/proc/19840/task/19893/stat : 19893 (java) R 19837 19840 12709 0 -1 4202560 17963 13011 0 0 129 6 5 2 20 0 15 0 62416939 11096371200 44957 33554432000 4194304 4196468 140721651224704 139801598657920 139801613045237 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
[pid=19840/tid=19894] ppid=19837 vsize=10836300 memory=7737859643932305750 CPUtime=0.08 cores=0,2,4,6
/proc/19840/task/19894/stat : 19894 (java) S 19837 19840 12709 0 -1 1077944384 22 13011 0 0 1 0 5 2 20 0 15 0 62416939 11096371200 44957 33554432000 4194304 4196468 140721651224704 139801631083664 139801626851029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
[pid=19840/tid=19895] ppid=19837 vsize=10836300 memory=7741806963354986599 CPUtime=0.08 cores=0,2,4,6
/proc/19840/task/19895/stat : 19895 (java) S 19837 19840 12709 0 -1 1077944384 11 13011 0 0 1 0 5 2 20 0 15 0 62416939 11096371200 44957 33554432000 4194304 4196468 140721651224704 139801529973776 139801626851029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
[pid=19840/tid=19896] ppid=19837 vsize=10836300 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19840/task/19896/stat : 19896 (java) S 19837 19840 12709 0 -1 1077944384 261 13011 0 0 0 0 5 2 20 0 15 0 62416939 11096371200 44957 33554432000 4194304 4196468 140721651224704 139801528920976 139801626851029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
[pid=19840/tid=19897] ppid=19837 vsize=10836300 memory=225843876004825 CPUtime=0.07 cores=0,2,4,6
/proc/19840/task/19897/stat : 19897 (java) S 19837 19840 12709 0 -1 1077944384 74 13011 0 0 0 0 5 2 20 0 15 0 62416939 11096371200 44957 33554432000 4194304 4196468 140721651224704 139801527868176 139801626851029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
[pid=19840/tid=19898] ppid=19837 vsize=10836300 memory=330602 CPUtime=0.08 cores=0,2,4,6
/proc/19840/task/19898/stat : 19898 (java) S 19837 19840 12709 0 -1 1077944384 53 13011 0 0 1 0 5 2 20 0 15 0 62416941 11096371200 44957 33554432000 4194304 4196468 140721651224704 139800629504368 139801626851970 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
[pid=19840/tid=19899] ppid=19837 vsize=10836300 memory=4638778424102965584 CPUtime=0.07 cores=0,2,4,6
/proc/19840/task/19899/stat : 19899 (java) S 19837 19840 12709 0 -1 1077944384 34 13011 0 0 0 0 5 2 20 0 15 0 62416941 11096371200 44957 33554432000 4194304 4196468 140721651224704 139800628450400 139801626851029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
[pid=19840/tid=19900] ppid=19837 vsize=10836300 memory=6935649255776346176 CPUtime=0.07 cores=0,2,4,6
/proc/19840/task/19900/stat : 19900 (java) S 19837 19840 12709 0 -1 1077944384 1 13011 0 0 0 0 5 2 20 0 15 0 62416941 11096371200 44957 33554432000 4194304 4196468 140721651224704 139800514388848 139801626851029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
[pid=19840/tid=19901] ppid=19837 vsize=10836300 memory=280765233365232 CPUtime=0.07 cores=0,2,4,6
/proc/19840/task/19901/stat : 19901 (java) S 19837 19840 12709 0 -1 1077944384 3 13011 0 0 0 0 5 2 20 0 15 0 62416944 11096371200 44957 33554432000 4194304 4196468 140721651224704 139800206989136 139801626859419 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
[pid=19840/tid=19902] ppid=19837 vsize=10836300 memory=6935649255759570240 CPUtime=0.3 cores=0,2,4,6
/proc/19840/task/19902/stat : 19902 (java) S 19837 19840 12709 0 -1 1077944384 1630 13011 0 0 23 0 5 2 20 0 15 0 62416944 11096371200 44957 33554432000 4194304 4196468 140721651224704 139800594893680 139801626851970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
[pid=19840/tid=19903] ppid=19837 vsize=10836300 memory=-6653887611310072935 CPUtime=0.25 cores=0,2,4,6
/proc/19840/task/19903/stat : 19903 (java) R 19837 19840 12709 0 -1 4202560 626 13011 0 0 18 0 5 2 20 0 15 0 62416944 11096371200 44957 33554432000 4194304 4196468 140721651224704 139800593832528 139801611230648 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
[pid=19840/tid=19904] ppid=19837 vsize=10836300 memory=6656426216303648864 CPUtime=0.36 cores=0,2,4,6
/proc/19840/task/19904/stat : 19904 (java) S 19837 19840 12709 0 -1 1077944384 1130 13011 0 0 29 0 5 2 20 0 15 0 62416944 11096371200 44957 33554432000 4194304 4196468 140721651224704 139800592788080 139801626851970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
[pid=19840/tid=19905] ppid=19837 vsize=10836300 memory=6944656592455360604 CPUtime=0.07 cores=0,2,4,6
/proc/19840/task/19905/stat : 19905 (java) S 19837 19840 12709 0 -1 1077944384 3 13011 0 0 0 0 5 2 20 0 15 0 62416944 11096371200 44957 33554432000 4194304 4196468 140721651224704 139800173431520 139801626851029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
[pid=19840/tid=19906] ppid=19837 vsize=10836300 memory=6655300316396806240 CPUtime=0.07 cores=0,2,4,6
/proc/19840/task/19906/stat : 19906 (java) S 19837 19840 12709 0 -1 1077944384 1 13011 0 0 0 0 5 2 20 0 15 0 62416945 11096371200 44957 33554432000 4194304 4196468 140721651224704 139800591735472 139801626851970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
Current children cumulated CPU time: 2.25 s
Current children cumulated vsize: 10836300 KiB
################
# More data... #
################
[pid=19840] ppid=19837 vsize=10844512 memory=275812 CPUtime=6.04 cores=0,2,4,6
/proc/19840/stat : 19840 (java) S 19837 19840 12709 0 -1 1077944320 40828 13011 0 0 579 18 5 2 20 0 15 0 62416930 11104780288 68953 33554432000 4194304 4196468 140721651224704 140721651207248 139801626840823 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
/proc/19840/statm: 2711128 68953 3502 1 0 2672781 0
[pid=19840/tid=19893] ppid=19837 vsize=10844512 memory=249956 CPUtime=2.98 cores=0,2,4,6
/proc/19840/task/19893/stat : 19893 (java) R 19837 19840 12709 0 -1 4202560 28212 13011 0 0 282 9 5 2 20 0 15 0 62416939 11104780288 68953 33554432000 4194304 4196468 140721651224704 139801598669696 139801626852758 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
[pid=19840/tid=19894] ppid=19837 vsize=10844512 memory=3828 CPUtime=0.1 cores=0,2,4,6
/proc/19840/task/19894/stat : 19894 (java) S 19837 19840 12709 0 -1 1077944384 37 13011 0 0 3 0 5 2 20 0 15 0 62416939 11104780288 68953 33554432000 4194304 4196468 140721651224704 139801631083664 139801626851029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
[pid=19840/tid=19895] ppid=19837 vsize=10844512 memory=7 CPUtime=0.1 cores=0,2,4,6
/proc/19840/task/19895/stat : 19895 (java) S 19837 19840 12709 0 -1 1077944384 26 13011 0 0 3 0 5 2 20 0 15 0 62416939 11104780288 68953 33554432000 4194304 4196468 140721651224704 139801529973776 139801626851029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
[pid=19840/tid=19896] ppid=19837 vsize=10844512 memory=56 CPUtime=0.1 cores=0,2,4,6
/proc/19840/task/19896/stat : 19896 (java) S 19837 19840 12709 0 -1 1077944384 276 13011 0 0 3 0 5 2 20 0 15 0 62416939 11104780288 68953 33554432000 4194304 4196468 140721651224704 139801528920976 139801626851029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
[pid=19840/tid=19897] ppid=19837 vsize=10844512 memory=140382616816793 CPUtime=0.09 cores=0,2,4,6
/proc/19840/task/19897/stat : 19897 (java) S 19837 19840 12709 0 -1 1077944384 81 13011 0 0 2 0 5 2 20 0 15 0 62416939 11104780288 68953 33554432000 4194304 4196468 140721651224704 139801527868176 139801626851029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
[pid=19840/tid=19898] ppid=19837 vsize=10844512 memory=7680491646476186387 CPUtime=0.1 cores=0,2,4,6
/proc/19840/task/19898/stat : 19898 (java) S 19837 19840 12709 0 -1 1077944384 1292 13011 0 0 3 0 5 2 20 0 15 0 62416941 11104780288 68953 33554432000 4194304 4196468 140721651224704 139800629504368 139801626851970 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
[pid=19840/tid=19899] ppid=19837 vsize=10844512 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19840/task/19899/stat : 19899 (java) S 19837 19840 12709 0 -1 1077944384 37 13011 0 0 0 0 5 2 20 0 15 0 62416941 11104780288 68953 33554432000 4194304 4196468 140721651224704 139800628450400 139801626851029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
[pid=19840/tid=19900] ppid=19837 vsize=10844512 memory=-8316900901535099443 CPUtime=0.07 cores=0,2,4,6
/proc/19840/task/19900/stat : 19900 (java) S 19837 19840 12709 0 -1 1077944384 1 13011 0 0 0 0 5 2 20 0 15 0 62416941 11104780288 68953 33554432000 4194304 4196468 140721651224704 139800514388864 139801626851029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
[pid=19840/tid=19901] ppid=19837 vsize=10844512 memory=6944656592455097440 CPUtime=0.07 cores=0,2,4,6
/proc/19840/task/19901/stat : 19901 (java) S 19837 19840 12709 0 -1 1077944384 3 13011 0 0 0 0 5 2 20 0 15 0 62416944 11104780288 68953 33554432000 4194304 4196468 140721651224704 139800206989136 139801626859419 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
[pid=19840/tid=19902] ppid=19837 vsize=10844512 memory=6944656592455360604 CPUtime=0.88 cores=0,2,4,6
/proc/19840/task/19902/stat : 19902 (java) R 19837 19840 12709 0 -1 1077944384 2046 13011 0 0 80 1 5 2 20 0 15 0 62416944 11104780288 68953 33554432000 4194304 4196468 140721651224704 139800594893680 139801626851970 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
[pid=19840/tid=19903] ppid=19837 vsize=10844512 memory=0 CPUtime=1.09 cores=0,2,4,6
/proc/19840/task/19903/stat : 19903 (java) R 19837 19840 12709 0 -1 4202560 3612 13011 0 0 101 1 5 2 20 0 15 0 62416944 11104780288 68953 33554432000 4194304 4196468 140721651224704 139800593829024 139801611962287 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
[pid=19840/tid=19904] ppid=19837 vsize=10844512 memory=301741373374332954 CPUtime=1.07 cores=0,2,4,6
/proc/19840/task/19904/stat : 19904 (java) S 19837 19840 12709 0 -1 1077944384 3007 13011 0 0 98 2 5 2 20 0 15 0 62416944 11104780288 68953 33554432000 4194304 4196468 140721651224704 139800592788080 139801626851970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
[pid=19840/tid=19905] ppid=19837 vsize=10844512 memory=301741394933055803 CPUtime=0.07 cores=0,2,4,6
/proc/19840/task/19905/stat : 19905 (java) S 19837 19840 12709 0 -1 1077944384 3 13011 0 0 0 0 5 2 20 0 15 0 62416944 11104780288 68953 33554432000 4194304 4196468 140721651224704 139800173431520 139801626851029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
[pid=19840/tid=19906] ppid=19837 vsize=10844512 memory=14134441857518180 CPUtime=0.07 cores=0,2,4,6
/proc/19840/task/19906/stat : 19906 (java) S 19837 19840 12709 0 -1 1077944384 3 13011 0 0 0 0 5 2 20 0 15 0 62416945 11104780288 68953 33554432000 4194304 4196468 140721651224704 139800591735472 139801626851970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
Current children cumulated CPU time: 6.04 s
Current children cumulated vsize: 10844512 KiB
Current children cumulated memory: 275812 KiB
[startup+4.63409 s]
# the end of solver process 19840 was just reported to runsolver
# cumulated CPU time of all completed processes: user=8.58312 s, system=0.282272 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20088 s]
/proc/loadavg: 1.76 1.43 1.36 7/219 19906
/proc/meminfo: memFree=15820056/32770624 swapFree=67108860/67108860
[pid=19840] ppid=19837 vsize=10844512 memory=277208 CPUtime=6.26 cores=0,2,4,6
/proc/19840/stat : 19840 (java) S 19837 19840 12709 0 -1 1077944320 42344 13011 0 0 600 19 5 2 20 0 15 0 62416930 11104780288 69302 33554432000 4194304 4196468 140721651224704 140721651207248 139801626840823 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
/proc/19840/statm: 2711128 69302 3502 1 0 2672781 0
[pid=19840/tid=19893] ppid=19837 vsize=10844512 memory=4426042776274957866 CPUtime=3.07 cores=0,2,4,6
/proc/19840/task/19893/stat : 19893 (java) R 19837 19840 12709 0 -1 4202560 28792 13011 0 0 291 9 5 2 20 0 15 0 62416939 11104780288 69302 33554432000 4194304 4196468 140721651224704 139801598670680 139801626852758 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
[pid=19840/tid=19894] ppid=19837 vsize=10844512 memory=4132771212810548115 CPUtime=0.1 cores=0,2,4,6
/proc/19840/task/19894/stat : 19894 (java) S 19837 19840 12709 0 -1 1077944384 37 13011 0 0 3 0 5 2 20 0 15 0 62416939 11104780288 69302 33554432000 4194304 4196468 140721651224704 139801631083664 139801626851029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
[pid=19840/tid=19895] ppid=19837 vsize=10844512 memory=-6526411401870300574 CPUtime=0.1 cores=0,2,4,6
/proc/19840/task/19895/stat : 19895 (java) S 19837 19840 12709 0 -1 1077944384 26 13011 0 0 3 0 5 2 20 0 15 0 62416939 11104780288 69302 33554432000 4194304 4196468 140721651224704 139801529973776 139801626851029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
[pid=19840/tid=19896] ppid=19837 vsize=10844512 memory=-7662142094119126430 CPUtime=0.1 cores=0,2,4,6
/proc/19840/task/19896/stat : 19896 (java) S 19837 19840 12709 0 -1 1077944384 276 13011 0 0 3 0 5 2 20 0 15 0 62416939 11104780288 69302 33554432000 4194304 4196468 140721651224704 139801528920976 139801626851029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
[pid=19840/tid=19897] ppid=19837 vsize=10844512 memory=-6369888044986765666 CPUtime=0.09 cores=0,2,4,6
/proc/19840/task/19897/stat : 19897 (java) S 19837 19840 12709 0 -1 1077944384 81 13011 0 0 2 0 5 2 20 0 15 0 62416939 11104780288 69302 33554432000 4194304 4196468 140721651224704 139801527868176 139801626851029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
[pid=19840/tid=19898] ppid=19837 vsize=10844512 memory=7451889919605428331 CPUtime=0.1 cores=0,2,4,6
/proc/19840/task/19898/stat : 19898 (java) S 19837 19840 12709 0 -1 1077944384 1292 13011 0 0 3 0 5 2 20 0 15 0 62416941 11104780288 69302 33554432000 4194304 4196468 140721651224704 139800629504368 139801626851970 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
[pid=19840/tid=19899] ppid=19837 vsize=10844512 memory=5937524870553682016 CPUtime=0.07 cores=0,2,4,6
/proc/19840/task/19899/stat : 19899 (java) S 19837 19840 12709 0 -1 1077944384 37 13011 0 0 0 0 5 2 20 0 15 0 62416941 11104780288 69302 33554432000 4194304 4196468 140721651224704 139800628450400 139801626851029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
[pid=19840/tid=19900] ppid=19837 vsize=10844512 memory=33 CPUtime=0.07 cores=0,2,4,6
/proc/19840/task/19900/stat : 19900 (java) S 19837 19840 12709 0 -1 1077944384 1 13011 0 0 0 0 5 2 20 0 15 0 62416941 11104780288 69302 33554432000 4194304 4196468 140721651224704 139800514388864 139801626851029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
[pid=19840/tid=19901] ppid=19837 vsize=10844512 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19840/task/19901/stat : 19901 (java) S 19837 19840 12709 0 -1 1077944384 3 13011 0 0 0 0 5 2 20 0 15 0 62416944 11104780288 69302 33554432000 4194304 4196468 140721651224704 139800206989136 139801626859419 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
[pid=19840/tid=19902] ppid=19837 vsize=10844512 memory=0 CPUtime=0.91 cores=0,2,4,6
/proc/19840/task/19902/stat : 19902 (java) R 19837 19840 12709 0 -1 4202560 2127 13011 0 0 83 1 5 2 20 0 15 0 62416944 11104780288 69302 33554432000 4194304 4196468 140721651224704 139800594893680 139801606198954 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
[pid=19840/tid=19903] ppid=19837 vsize=10844512 memory=0 CPUtime=1.13 cores=0,2,4,6
/proc/19840/task/19903/stat : 19903 (java) R 19837 19840 12709 0 -1 1077944384 3861 13011 0 0 105 1 5 2 20 0 15 0 62416944 11104780288 69307 33554432000 4194304 4196468 140721651224704 139800593840880 139801626851970 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
[pid=19840/tid=19904] ppid=19837 vsize=10844512 memory=0 CPUtime=1.12 cores=0,2,4,6
/proc/19840/task/19904/stat : 19904 (java) R 19837 19840 12709 0 -1 4202560 3682 13011 0 0 103 2 5 2 20 0 15 0 62416944 11104780288 69307 33554432000 4194304 4196468 140721651224704 139800592788080 139801605825570 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
[pid=19840/tid=19905] ppid=19837 vsize=10844512 memory=14550818233844681 CPUtime=0.07 cores=0,2,4,6
/proc/19840/task/19905/stat : 19905 (java) S 19837 19840 12709 0 -1 1077944384 3 13011 0 0 0 0 5 2 20 0 15 0 62416944 11104780288 69307 33554432000 4194304 4196468 140721651224704 139800173431520 139801626851029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
[pid=19840/tid=19906] ppid=19837 vsize=10844512 memory=140382616858720 CPUtime=0.07 cores=0,2,4,6
/proc/19840/task/19906/stat : 19906 (java) S 19837 19840 12709 0 -1 1077944384 3 13011 0 0 0 0 5 2 20 0 15 0 62416945 11104780288 69307 33554432000 4194304 4196468 140721651224704 139800591735472 139801626851970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 10844512 KiB
Current children cumulated memory: 277208 KiB
[startup+4.00066 s]*
/proc/loadavg: 1.76 1.43 1.36 6/219 19906
/proc/meminfo: memFree=15564364/32770624 swapFree=67108860/67108860
[pid=19840] ppid=19837 vsize=10919004 memory=333700 CPUtime=8.45 cores=0,2,4,6
/proc/19840/stat : 19840 (java) S 19837 19840 12709 0 -1 1077944320 71278 13011 0 0 815 23 5 2 20 0 15 0 62416930 11181060096 83425 33554432000 4194304 4196468 140721651224704 140721651207248 139801626840823 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
/proc/19840/statm: 2729751 83425 3502 1 0 2691404 0
[pid=19840/tid=19893] ppid=19837 vsize=10919004 memory=590024538734541493 CPUtime=3.88 cores=0,2,4,6
/proc/19840/task/19893/stat : 19893 (java) R 19837 19840 12709 0 -1 4202560 48556 13011 0 0 369 12 5 2 20 0 15 0 62416939 11181060096 83425 33554432000 4194304 4196468 140721651224704 139801598669280 139801214828654 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
[pid=19840/tid=19894] ppid=19837 vsize=10919004 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/19840/task/19894/stat : 19894 (java) S 19837 19840 12709 0 -1 1077944384 37 13011 0 0 3 0 5 2 20 0 15 0 62416939 11181060096 83425 33554432000 4194304 4196468 140721651224704 139801631083664 139801626851029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
[pid=19840/tid=19895] ppid=19837 vsize=10919004 memory=140382727693484 CPUtime=0.1 cores=0,2,4,6
/proc/19840/task/19895/stat : 19895 (java) S 19837 19840 12709 0 -1 1077944384 26 13011 0 0 3 0 5 2 20 0 15 0 62416939 11181060096 83425 33554432000 4194304 4196468 140721651224704 139801529973776 139801626851029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
[pid=19840/tid=19896] ppid=19837 vsize=10919004 memory=-2026666227646604569 CPUtime=0.1 cores=0,2,4,6
/proc/19840/task/19896/stat : 19896 (java) S 19837 19840 12709 0 -1 1077944384 276 13011 0 0 3 0 5 2 20 0 15 0 62416939 11181060096 83425 33554432000 4194304 4196468 140721651224704 139801528920976 139801626851029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
[pid=19840/tid=19897] ppid=19837 vsize=10919004 memory=6944656575208382560 CPUtime=0.09 cores=0,2,4,6
/proc/19840/task/19897/stat : 19897 (java) S 19837 19840 12709 0 -1 1077944384 81 13011 0 0 2 0 5 2 20 0 15 0 62416939 11181060096 83425 33554432000 4194304 4196468 140721651224704 139801527868176 139801626851029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
[pid=19840/tid=19898] ppid=19837 vsize=10919004 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/19840/task/19898/stat : 19898 (java) S 19837 19840 12709 0 -1 1077944384 1318 13011 0 0 3 0 5 2 20 0 15 0 62416941 11181060096 83425 33554432000 4194304 4196468 140721651224704 139800629504368 139801626851970 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
[pid=19840/tid=19899] ppid=19837 vsize=10919004 memory=3472328296227680303 CPUtime=0.07 cores=0,2,4,6
/proc/19840/task/19899/stat : 19899 (java) S 19837 19840 12709 0 -1 1077944384 37 13011 0 0 0 0 5 2 20 0 15 0 62416941 11181060096 83425 33554432000 4194304 4196468 140721651224704 139800628450400 139801626851029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
[pid=19840/tid=19900] ppid=19837 vsize=10919004 memory=7882232152088537186 CPUtime=0.07 cores=0,2,4,6
/proc/19840/task/19900/stat : 19900 (java) S 19837 19840 12709 0 -1 1077944384 1 13011 0 0 0 0 5 2 20 0 15 0 62416941 11181060096 83425 33554432000 4194304 4196468 140721651224704 139800514388864 139801626851029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
[pid=19840/tid=19901] ppid=19837 vsize=10919004 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19840/task/19901/stat : 19901 (java) S 19837 19840 12709 0 -1 1077944384 3 13011 0 0 0 0 5 2 20 0 15 0 62416944 11181060096 83425 33554432000 4194304 4196468 140721651224704 139800206989136 139801626859419 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
[pid=19840/tid=19902] ppid=19837 vsize=10919004 memory=0 CPUtime=1.62 cores=0,2,4,6
/proc/19840/task/19902/stat : 19902 (java) R 19837 19840 12709 0 -1 4202560 9297 13011 0 0 153 2 5 2 20 0 15 0 62416944 11181060096 83425 33554432000 4194304 4196468 140721651224704 139800594879160 139801608388126 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
[pid=19840/tid=19903] ppid=19837 vsize=10919004 memory=-1 CPUtime=1.51 cores=0,2,4,6
/proc/19840/task/19903/stat : 19903 (java) R 19837 19840 12709 0 -1 4202560 4520 13011 0 0 143 1 5 2 20 0 15 0 62416944 11181060096 83425 33554432000 4194304 4196468 140721651224704 139800593840880 139801611003232 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
[pid=19840/tid=19904] ppid=19837 vsize=10919004 memory=3472468678955042480 CPUtime=1.43 cores=0,2,4,6
/proc/19840/task/19904/stat : 19904 (java) R 19837 19840 12709 0 -1 1077944384 4923 13011 0 0 133 3 5 2 20 0 15 0 62416944 11181060096 83425 33554432000 4194304 4196468 140721651224704 139800592788080 139801626851970 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
[pid=19840/tid=19905] ppid=19837 vsize=10919004 memory=3471202396320837679 CPUtime=0.07 cores=0,2,4,6
/proc/19840/task/19905/stat : 19905 (java) S 19837 19840 12709 0 -1 1077944384 3 13011 0 0 0 0 5 2 20 0 15 0 62416944 11181060096 83425 33554432000 4194304 4196468 140721651224704 139800173431520 139801626851029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
[pid=19840/tid=19906] ppid=19837 vsize=10919004 memory=140382727362176 CPUtime=0.07 cores=0,2,4,6
/proc/19840/task/19906/stat : 19906 (java) S 19837 19840 12709 0 -1 1077944384 8 13011 0 0 0 0 5 2 20 0 15 0 62416945 11181060096 83425 33554432000 4194304 4196468 140721651224704 139800591735472 139801626851970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
Current children cumulated CPU time: 8.45 s
Current children cumulated vsize: 10919004 KiB
Current children cumulated memory: 333700 KiB
[startup+4.40059 s]
/proc/loadavg: 1.76 1.43 1.36 6/219 19906
/proc/meminfo: memFree=15564364/32770624 swapFree=67108860/67108860
[pid=19840] ppid=19837 vsize=11017372 memory=334916 CPUtime=8.83 cores=0,2,4,6
/proc/19840/stat : 19840 (java) S 19837 19840 12709 0 -1 1077944320 73362 13011 0 0 852 24 5 2 20 0 13 0 62416930 11281788928 83729 33554432000 4194304 4196468 140721651224704 140721651207248 139801626840823 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
/proc/19840/statm: 2754343 83729 3504 1 0 2715996 0
[pid=19840/tid=19893] ppid=19837 vsize=11017372 memory=280765234192752 CPUtime=3.99 cores=0,2,4,6
/proc/19840/task/19893/stat : 19893 (java) D 19837 19840 12709 0 -1 4202560 48776 13011 0 0 380 12 5 2 20 0 13 0 62416939 11281788928 83729 33554432000 4194304 4196468 140721651224704 139801598684472 139801619526455 0 0 0 16800975 18446744072100899973 0 0 -1 2 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
[pid=19840/tid=19894] ppid=19837 vsize=11017372 memory=7593446531018022996 CPUtime=0.1 cores=0,2,4,6
/proc/19840/task/19894/stat : 19894 (java) S 19837 19840 12709 0 -1 1077944384 37 13011 0 0 3 0 5 2 20 0 13 0 62416939 11281788928 83729 33554432000 4194304 4196468 140721651224704 139801631083664 139801626851029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
[pid=19840/tid=19895] ppid=19837 vsize=11017372 memory=7522253105927644503 CPUtime=0.1 cores=0,2,4,6
/proc/19840/task/19895/stat : 19895 (java) S 19837 19840 12709 0 -1 1077944384 26 13011 0 0 3 0 5 2 20 0 13 0 62416939 11281788928 83729 33554432000 4194304 4196468 140721651224704 139801529973776 139801626851029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
[pid=19840/tid=19896] ppid=19837 vsize=11017372 memory=295420 CPUtime=0.1 cores=0,2,4,6
/proc/19840/task/19896/stat : 19896 (java) S 19837 19840 12709 0 -1 1077944384 276 13011 0 0 3 0 5 2 20 0 13 0 62416939 11281788928 83729 33554432000 4194304 4196468 140721651224704 139801528920976 139801626851029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
[pid=19840/tid=19897] ppid=19837 vsize=11017372 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/19840/task/19897/stat : 19897 (java) S 19837 19840 12709 0 -1 1077944384 81 13011 0 0 2 0 5 2 20 0 13 0 62416939 11281788928 83729 33554432000 4194304 4196468 140721651224704 139801527868176 139801626851029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
[pid=19840/tid=19899] ppid=19837 vsize=11017372 memory=225580272360246 CPUtime=0.07 cores=0,2,4,6
/proc/19840/task/19899/stat : 19899 (java) S 19837 19840 12709 0 -1 1077944384 37 13011 0 0 0 0 5 2 20 0 13 0 62416941 11281788928 83729 33554432000 4194304 4196468 140721651224704 139800628450400 139801626851029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
[pid=19840/tid=19900] ppid=19837 vsize=11017372 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19840/task/19900/stat : 19900 (java) S 19837 19840 12709 0 -1 1077944384 1 13011 0 0 0 0 5 2 20 0 13 0 62416941 11281788928 83729 33554432000 4194304 4196468 140721651224704 139800514388864 139801626851029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
[pid=19840/tid=19901] ppid=19837 vsize=11017372 memory=140382617071044 CPUtime=0.07 cores=0,2,4,6
/proc/19840/task/19901/stat : 19901 (java) S 19837 19840 12709 0 -1 1077944384 26 13011 0 0 0 0 5 2 20 0 13 0 62416944 11281788928 83729 33554432000 4194304 4196468 140721651224704 139800206987904 139801626851029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
[pid=19840/tid=19902] ppid=19837 vsize=11017372 memory=1200 CPUtime=1.79 cores=0,2,4,6
/proc/19840/task/19902/stat : 19902 (java) S 19837 19840 12709 0 -1 1077944384 10741 13011 0 0 169 3 5 2 20 0 13 0 62416944 11281788928 83729 33554432000 4194304 4196468 140721651224704 139800594878192 139801626851029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
[pid=19840/tid=19903] ppid=19837 vsize=11017372 memory=1008 CPUtime=1.54 cores=0,2,4,6
/proc/19840/task/19903/stat : 19903 (java) S 19837 19840 12709 0 -1 1077944384 4558 13011 0 0 146 1 5 2 20 0 13 0 62416944 11281788928 83729 33554432000 4194304 4196468 140721651224704 139800593825936 139801626851029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
[pid=19840/tid=19904] ppid=19837 vsize=11017372 memory=12040 CPUtime=1.49 cores=0,2,4,6
/proc/19840/task/19904/stat : 19904 (java) S 19837 19840 12709 0 -1 1077944384 5053 13011 0 0 139 3 5 2 20 0 13 0 62416944 11281788928 83729 33554432000 4194304 4196468 140721651224704 139800592788080 139801626851970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
[pid=19840/tid=19905] ppid=19837 vsize=11017372 memory=1696 CPUtime=0.07 cores=0,2,4,6
/proc/19840/task/19905/stat : 19905 (java) S 19837 19840 12709 0 -1 1077944384 3 13011 0 0 0 0 5 2 20 0 13 0 62416944 11281788928 83729 33554432000 4194304 4196468 140721651224704 139800173431520 139801626851029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26738688 140721651230891 140721651234140 140721651234140 140721651236815 0
Current children cumulated CPU time: 8.83 s
Current children cumulated vsize: 11017372 KiB
Current children cumulated memory: 334916 KiB
[startup+4.60972 s]
/proc/loadavg: 1.76 1.43 1.36 2/206 19907
/proc/meminfo: memFree=15876436/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 4.63414
CPU time (s): 8.86539
CPU user time (s): 8.58312
CPU system time (s): 0.282272
CPU usage (%): 191.306
Max. virtual memory (cumulated for all children) (KiB): 11017372
Max. memory (cumulated for all children) (KiB): 334916
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.58312
system time used= 0.282272
maximum resident set size= 337128
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86401
page faults= 0
swaps= 0
block input operations= 0
block output operations= 176
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6842
involuntary context switches= 58
# summary of solver processes directly reported to runsolver:
# pid: 19840
# total CPU time (s): 8.86539
# total CPU user time (s): 8.58312
# total CPU system time (s): 0.282272
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.05481 second user time and 0.082842 second system time
The end