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 (14977 MiB free)
memory of node 1: 16384 MiB (15451 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272938-1502889348/watcher-4272938-1502889348 -o /tmp/evaluation-result-4272938-1502889348/solver-4272938-1502889348 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502806776-30868 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-alns.jar --randomseed 676563683 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4272938-1502889348.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=9091, runsolver pid=9088
Current StackSize limit: 8192 KiB
[startup+0.100134 s]*
/proc/loadavg: 1.33 1.39 1.40 2/186 9100
/proc/meminfo: memFree=31153900/32770624 swapFree=67108860/67108860
[pid=9091] ppid=9088 vsize=13440536 memory=15460 CPUtime=0.01 cores=1,3,5,7
/proc/9091/stat : 9091 (java) S 9088 9091 17093 0 -1 1077944320 3681 0 0 0 1 0 0 0 20 0 7 0 91127965 13763108864 3865 18446744073709551615 4194304 4196468 140734347895008 140734347877552 139757686107895 0 0 1 16784584 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
/proc/9091/statm: 3360134 3865 1971 1 0 3349631 0
[pid=9091/tid=9096] ppid=9088 vsize=13440536 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/9091/task/9096/stat : 9096 (java) R 9088 9091 17093 0 -1 4202560 2447 0 0 0 1 0 0 0 20 0 7 0 91127974 13763108864 3931 18446744073709551615 4194304 4196468 140734347895008 139757690350352 139757670188382 0 4 1 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9097] ppid=9088 vsize=13440536 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9091/task/9097/stat : 9097 (java) S 9088 9091 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 91127975 13763108864 3931 18446744073709551615 4194304 4196468 140734347895008 139757643074320 139757686118101 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9098] ppid=9088 vsize=13440536 memory=140527021356672 CPUtime=0 cores=1,3,5,7
/proc/9091/task/9098/stat : 9098 (java) S 9088 9091 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 91127975 13763108864 3931 18446744073709551615 4194304 4196468 140734347895008 139757642021776 139757686118101 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9099] ppid=9088 vsize=13440536 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9091/task/9099/stat : 9099 (java) S 9088 9091 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 91127975 13763108864 3931 18446744073709551615 4194304 4196468 140734347895008 139757640969232 139757686118101 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9100] ppid=9088 vsize=13440536 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9091/task/9100/stat : 9100 (java) S 9088 9091 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 91127975 13763108864 3931 18446744073709551615 4194304 4196468 140734347895008 139757639916688 139757686118101 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9101] ppid=9088 vsize=13440536 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9091/task/9101/stat : 9101 (java) S 9088 9091 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 91127976 13763108864 3931 18446744073709551615 4194304 4196468 140734347895008 139757231958000 139757686119042 0 0 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13440536 KiB
Current children cumulated memory: 15460 KiB
[startup+0.209841 s]*
/proc/loadavg: 1.33 1.39 1.40 1/194 9114
/proc/meminfo: memFree=31146516/32770624 swapFree=67108860/67108860
[pid=9091] ppid=9088 vsize=13976388 memory=27496 CPUtime=0.06 cores=1,3,5,7
/proc/9091/stat : 9091 (java) S 9088 9091 17093 0 -1 1077944320 5833 0 0 0 5 1 0 0 20 0 15 0 91127965 14311821312 6874 18446744073709551615 4194304 4196468 140734347895008 140734347877552 139757686107895 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
/proc/9091/statm: 3494097 6874 3288 1 0 3482876 0
[pid=9091/tid=9096] ppid=9088 vsize=13976388 memory=7310027617963868211 CPUtime=0.05 cores=1,3,5,7
/proc/9091/task/9096/stat : 9096 (java) R 9088 9091 17093 0 -1 4202560 3959 0 0 0 5 0 0 0 20 0 15 0 91127974 14311821312 6874 18446744073709551615 4194304 4196468 140734347895008 139757690350176 139757686129821 0 4 1 16800974 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9097] ppid=9088 vsize=13976388 memory=288230583233150999 CPUtime=0 cores=1,3,5,7
/proc/9091/task/9097/stat : 9097 (java) S 9088 9091 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 91127975 14311821312 6874 18446744073709551615 4194304 4196468 140734347895008 139757643074320 139757686118101 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9098] ppid=9088 vsize=13976388 memory=15681270121264792 CPUtime=0 cores=1,3,5,7
/proc/9091/task/9098/stat : 9098 (java) S 9088 9091 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 91127975 14311821312 6874 18446744073709551615 4194304 4196468 140734347895008 139757642021776 139757686118101 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9099] ppid=9088 vsize=13976388 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9091/task/9099/stat : 9099 (java) S 9088 9091 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 91127975 14311821312 6808 18446744073709551615 4194304 4196468 140734347895008 139757640969232 139757686118101 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9100] ppid=9088 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9091/task/9100/stat : 9100 (java) S 9088 9091 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 91127975 14311342080 6808 18446744073709551615 4194304 4196468 140734347895008 139757639916688 139757686118101 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9101] ppid=9088 vsize=13975920 memory=140527021356672 CPUtime=0 cores=1,3,5,7
/proc/9091/task/9101/stat : 9101 (java) S 9088 9091 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 91127976 14311342080 6403 18446744073709551615 4194304 4196468 140734347895008 139757231958000 139757686119042 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9102] ppid=9088 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9091/task/9102/stat : 9102 (java) S 9088 9091 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 91127976 14311342080 6090 18446744073709551615 4194304 4196468 140734347895008 139757230904224 139757686118101 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9103] ppid=9088 vsize=13973048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9091/task/9103/stat : 9103 (java) S 9088 9091 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 91127977 14308401152 6090 18446744073709551615 4194304 4196468 140734347895008 139756600288240 139757686118101 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9107] ppid=9088 vsize=13973048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9091/task/9107/stat : 9107 (java) S 9088 9091 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 91127979 14308401152 6090 18446744073709551615 4194304 4196468 140734347895008 139756599236816 139757686126491 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9108] ppid=9088 vsize=13973048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9091/task/9108/stat : 9108 (java) S 9088 9091 17093 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 91127979 14308401152 6090 18446744073709551615 4194304 4196468 140734347895008 139756598184432 139757686119042 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9109] ppid=9088 vsize=13973048 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9091/task/9109/stat : 9109 (java) R 9088 9091 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 91127979 14308401152 6090 18446744073709551615 4194304 4196468 140734347895008 139756597131888 139757686119042 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9110] ppid=9088 vsize=13973048 memory=140527021356672 CPUtime=0 cores=1,3,5,7
/proc/9091/task/9110/stat : 9110 (java) S 9088 9091 17093 0 -1 1077944384 221 0 0 0 0 0 0 0 20 0 15 0 91127979 14308401152 6090 18446744073709551615 4194304 4196468 140734347895008 139756596079344 139757686119042 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9111] ppid=9088 vsize=13973048 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9091/task/9111/stat : 9111 (java) S 9088 9091 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 91127979 14308401152 6090 18446744073709551615 4194304 4196468 140734347895008 139756595027040 139757686118101 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9115] ppid=9088 vsize=13973048 memory=140527021356672 CPUtime=0 cores=1,3,5,7
/proc/9091/task/9115/stat : 9115 (java) S 9088 9091 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 91127986 14308401152 6090 18446744073709551615 4194304 4196468 140734347895008 139756593973552 139757686119042 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 13976388 KiB
Current children cumulated memory: 27496 KiB
[startup+0.310301 s]*
/proc/loadavg: 1.33 1.39 1.40 2/193 9120
/proc/meminfo: memFree=31173132/32770624 swapFree=67108860/67108860
[pid=9091] ppid=9088 vsize=13975920 memory=41608 CPUtime=0.23 cores=1,3,5,7
/proc/9091/stat : 9091 (java) S 9088 9091 17093 0 -1 1077944320 10100 0 0 0 20 3 0 0 20 0 15 0 91127965 14311342080 10402 18446744073709551615 4194304 4196468 140734347895008 140734347877552 139757686107895 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
/proc/9091/statm: 3493980 10402 3545 1 0 3482759 0
[pid=9091/tid=9096] ppid=9088 vsize=13975920 memory=6933928925625698159 CPUtime=0.15 cores=1,3,5,7
/proc/9091/task/9096/stat : 9096 (java) R 9088 9091 17093 0 -1 4202560 7855 0 0 0 13 2 0 0 20 0 15 0 91127974 14311342080 10402 18446744073709551615 4194304 4196468 140734347895008 139757690335088 139757667671455 0 4 1 16800974 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9097] ppid=9088 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9091/task/9097/stat : 9097 (java) S 9088 9091 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 91127975 14311342080 10402 18446744073709551615 4194304 4196468 140734347895008 139757643074320 139757686118101 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9098] ppid=9088 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9091/task/9098/stat : 9098 (java) S 9088 9091 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 91127975 14311342080 10402 18446744073709551615 4194304 4196468 140734347895008 139757642021776 139757686118101 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9099] ppid=9088 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9091/task/9099/stat : 9099 (java) S 9088 9091 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 91127975 14311342080 10402 18446744073709551615 4194304 4196468 140734347895008 139757640969232 139757686118101 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9100] ppid=9088 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9091/task/9100/stat : 9100 (java) S 9088 9091 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 91127975 14311342080 10402 18446744073709551615 4194304 4196468 140734347895008 139757639916688 139757686118101 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9101] ppid=9088 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9091/task/9101/stat : 9101 (java) S 9088 9091 17093 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 91127976 14311342080 10402 18446744073709551615 4194304 4196468 140734347895008 139757231958000 139757686119042 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9102] ppid=9088 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9091/task/9102/stat : 9102 (java) S 9088 9091 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 91127976 14311342080 10402 18446744073709551615 4194304 4196468 140734347895008 139757230904224 139757686118101 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9103] ppid=9088 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9091/task/9103/stat : 9103 (java) S 9088 9091 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 91127977 14311342080 10402 18446744073709551615 4194304 4196468 140734347895008 139756600288240 139757686118101 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9107] ppid=9088 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9091/task/9107/stat : 9107 (java) S 9088 9091 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 91127979 14311342080 10402 18446744073709551615 4194304 4196468 140734347895008 139756599236816 139757686126491 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9108] ppid=9088 vsize=13975920 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/9091/task/9108/stat : 9108 (java) R 9088 9091 17093 0 -1 4202560 342 0 0 0 1 0 0 0 20 0 15 0 91127979 14311342080 10402 18446744073709551615 4194304 4196468 140734347895008 139756598184432 139757672123072 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9109] ppid=9088 vsize=13975920 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/9091/task/9109/stat : 9109 (java) S 9088 9091 17093 0 -1 1077944384 166 0 0 0 1 0 0 0 20 0 15 0 91127979 14311342080 10402 18446744073709551615 4194304 4196468 140734347895008 139756597131888 139757686119042 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9110] ppid=9088 vsize=13975920 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/9091/task/9110/stat : 9110 (java) S 9088 9091 17093 0 -1 1077944384 377 0 0 0 4 0 0 0 20 0 15 0 91127979 14311342080 10402 18446744073709551615 4194304 4196468 140734347895008 139756596079344 139757686119042 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9111] ppid=9088 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9091/task/9111/stat : 9111 (java) S 9088 9091 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 91127979 14311342080 10402 18446744073709551615 4194304 4196468 140734347895008 139756595027040 139757686118101 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9115] ppid=9088 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9091/task/9115/stat : 9115 (java) S 9088 9091 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 91127986 14311342080 10402 18446744073709551615 4194304 4196468 140734347895008 139756593973552 139757686119042 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 41608 KiB
[startup+0.701622 s]
/proc/loadavg: 1.33 1.39 1.40 2/194 9121
/proc/meminfo: memFree=31161236/32770624 swapFree=67108860/67108860
[pid=9091] ppid=9088 vsize=13977988 memory=75832 CPUtime=1 cores=1,3,5,7
/proc/9091/stat : 9091 (java) S 9088 9091 17093 0 -1 1077944320 14619 0 0 0 95 5 0 0 20 0 15 0 91127965 14313459712 18958 18446744073709551615 4194304 4196468 140734347895008 140734347877552 139757686107895 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
/proc/9091/statm: 3494497 18958 3723 1 0 3483271 0
[pid=9091/tid=9096] ppid=9088 vsize=13977988 memory=732 CPUtime=0.53 cores=1,3,5,7
/proc/9091/task/9096/stat : 9096 (java) R 9088 9091 17093 0 -1 4202560 10326 0 0 0 49 4 0 0 20 0 15 0 91127974 14313459712 18958 18446744073709551615 4194304 4196468 140734347895008 139757690341296 139757315724521 0 4 1 16800974 0 0 0 -1 3 0 0 6 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9097] ppid=9088 vsize=13977988 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/9091/task/9097/stat : 9097 (java) S 9088 9091 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 91127975 14313459712 18958 18446744073709551615 4194304 4196468 140734347895008 139757643074320 139757686118101 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9098] ppid=9088 vsize=13977988 memory=2420 CPUtime=0 cores=1,3,5,7
/proc/9091/task/9098/stat : 9098 (java) S 9088 9091 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 91127975 14313459712 18958 18446744073709551615 4194304 4196468 140734347895008 139757642021776 139757686118101 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9099] ppid=9088 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9091/task/9099/stat : 9099 (java) S 9088 9091 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 91127975 14313459712 18958 18446744073709551615 4194304 4196468 140734347895008 139757640969232 139757686118101 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9100] ppid=9088 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9091/task/9100/stat : 9100 (java) S 9088 9091 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 91127975 14313459712 18958 18446744073709551615 4194304 4196468 140734347895008 139757639916688 139757686118101 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9101] ppid=9088 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9091/task/9101/stat : 9101 (java) S 9088 9091 17093 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 91127976 14313459712 18958 18446744073709551615 4194304 4196468 140734347895008 139757231958000 139757686119042 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9102] ppid=9088 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9091/task/9102/stat : 9102 (java) S 9088 9091 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 91127976 14313459712 18958 18446744073709551615 4194304 4196468 140734347895008 139757230904224 139757686118101 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9103] ppid=9088 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9091/task/9103/stat : 9103 (java) S 9088 9091 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 91127977 14313459712 18958 18446744073709551615 4194304 4196468 140734347895008 139756600288240 139757686118101 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9107] ppid=9088 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9091/task/9107/stat : 9107 (java) S 9088 9091 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 91127979 14313459712 18958 18446744073709551615 4194304 4196468 140734347895008 139756599236816 139757686126491 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9108] ppid=9088 vsize=13977988 memory=21 CPUtime=0.12 cores=1,3,5,7
/proc/9091/task/9108/stat : 9108 (java) R 9088 9091 17093 0 -1 4202560 1067 0 0 0 12 0 0 0 20 0 15 0 91127979 14313459712 18958 18446744073709551615 4194304 4196468 140734347895008 139756598170896 139757663702646 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9109] ppid=9088 vsize=13977988 memory=18889266171726 CPUtime=0.12 cores=1,3,5,7
/proc/9091/task/9109/stat : 9109 (java) R 9088 9091 17093 0 -1 4202560 934 0 0 0 12 0 0 0 20 0 15 0 91127979 14313459712 18958 18446744073709551615 4194304 4196468 140734347895008 139756597117768 139757667632902 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9110] ppid=9088 vsize=13977988 memory=303711724065011095 CPUtime=0.2 cores=1,3,5,7
/proc/9091/task/9110/stat : 9110 (java) R 9088 9091 17093 0 -1 4202560 929 0 0 0 20 0 0 0 20 0 15 0 91127979 14313459712 18958 18446744073709551615 4194304 4196468 140734347895008 139756596079264 139757664911111 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9111] ppid=9088 vsize=13977988 memory=13847469322688889 CPUtime=0 cores=1,3,5,7
/proc/9091/task/9111/stat : 9111 (java) S 9088 9091 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 91127979 14313459712 18958 18446744073709551615 4194304 4196468 140734347895008 139756595027040 139757686118101 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9115] ppid=9088 vsize=13977988 memory=7158588607990158697 CPUtime=0 cores=1,3,5,7
/proc/9091/task/9115/stat : 9115 (java) S 9088 9091 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 91127986 14313459712 18958 18446744073709551615 4194304 4196468 140734347895008 139756593973552 139757686119042 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 75832 KiB
[startup+1.50073 s]
/proc/loadavg: 1.33 1.39 1.40 3/213 9149
/proc/meminfo: memFree=31041176/32770624 swapFree=67108860/67108860
[pid=9091] ppid=9088 vsize=13982084 memory=221112 CPUtime=3.35 cores=1,3,5,7
/proc/9091/stat : 9091 (java) S 9088 9091 17093 0 -1 1077944320 25288 0 0 0 324 11 0 0 20 0 15 0 91127965 14317654016 55278 18446744073709551615 4194304 4196468 140734347895008 140734347877552 139757686107895 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
/proc/9091/statm: 3495521 55278 3793 1 0 3484295 0
[pid=9091/tid=9096] ppid=9088 vsize=13982084 memory=0 CPUtime=1.31 cores=1,3,5,7
/proc/9091/task/9096/stat : 9096 (java) R 9088 9091 17093 0 -1 4202560 14167 0 0 0 124 7 0 0 20 0 15 0 91127974 14317654016 55278 18446744073709551615 4194304 4196468 140734347895008 139757690343296 139757313097002 0 4 1 16800974 0 0 0 -1 1 0 0 6 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9097] ppid=9088 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9091/task/9097/stat : 9097 (java) S 9088 9091 17093 0 -1 1077944384 132 0 0 0 0 0 0 0 20 0 15 0 91127975 14317654016 55278 18446744073709551615 4194304 4196468 140734347895008 139757643074320 139757686118101 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9098] ppid=9088 vsize=13982084 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/9091/task/9098/stat : 9098 (java) S 9088 9091 17093 0 -1 1077944384 476 0 0 0 1 0 0 0 20 0 15 0 91127975 14317654016 55278 18446744073709551615 4194304 4196468 140734347895008 139757642021776 139757686118101 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9099] ppid=9088 vsize=13982084 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/9091/task/9099/stat : 9099 (java) S 9088 9091 17093 0 -1 1077944384 69 0 0 0 1 0 0 0 20 0 15 0 91127975 14317654016 55278 18446744073709551615 4194304 4196468 140734347895008 139757640969232 139757686118101 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9100] ppid=9088 vsize=13982084 memory=-7385037615208631145 CPUtime=0 cores=1,3,5,7
/proc/9091/task/9100/stat : 9100 (java) S 9088 9091 17093 0 -1 1077944384 111 0 0 0 0 0 0 0 20 0 15 0 91127975 14317654016 55278 18446744073709551615 4194304 4196468 140734347895008 139757639916688 139757686118101 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9101] ppid=9088 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9091/task/9101/stat : 9101 (java) S 9088 9091 17093 0 -1 1077944384 100 0 0 0 0 0 0 0 20 0 15 0 91127976 14317654016 55278 18446744073709551615 4194304 4196468 140734347895008 139757231958000 139757686119042 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9102] ppid=9088 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9091/task/9102/stat : 9102 (java) S 9088 9091 17093 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 91127976 14317654016 55278 18446744073709551615 4194304 4196468 140734347895008 139757230904288 139757686118101 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9103] ppid=9088 vsize=13982084 memory=8740 CPUtime=0 cores=1,3,5,7
/proc/9091/task/9103/stat : 9103 (java) S 9088 9091 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 91127977 14317654016 55278 18446744073709551615 4194304 4196468 140734347895008 139756600288256 139757686118101 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9107] ppid=9088 vsize=13982084 memory=-2893623298589923098 CPUtime=0 cores=1,3,5,7
/proc/9091/task/9107/stat : 9107 (java) S 9088 9091 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 91127979 14317654016 55278 18446744073709551615 4194304 4196468 140734347895008 139756599236816 139757686126491 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9108] ppid=9088 vsize=13982084 memory=6944652177228980320 CPUtime=0.74 cores=1,3,5,7
/proc/9091/task/9108/stat : 9108 (java) R 9088 9091 17093 0 -1 4202560 3030 0 0 0 74 0 0 0 20 0 15 0 91127979 14317654016 55278 18446744073709551615 4194304 4196468 140734347895008 139756598173232 139757672122204 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9109] ppid=9088 vsize=13982084 memory=6944656592455097440 CPUtime=0.7 cores=1,3,5,7
/proc/9091/task/9109/stat : 9109 (java) R 9088 9091 17093 0 -1 4202560 3128 0 0 0 70 0 0 0 20 0 15 0 91127979 14317654016 55278 18446744073709551615 4194304 4196468 140734347895008 139756597112232 139757671233830 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9110] ppid=9088 vsize=13982084 memory=1296 CPUtime=0.5 cores=1,3,5,7
/proc/9091/task/9110/stat : 9110 (java) S 9088 9091 17093 0 -1 1077944384 2717 0 0 0 49 1 0 0 20 0 15 0 91127979 14317654016 55278 18446744073709551615 4194304 4196468 140734347895008 139756596079344 139757686119042 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9111] ppid=9088 vsize=13982084 memory=2420 CPUtime=0 cores=1,3,5,7
/proc/9091/task/9111/stat : 9111 (java) S 9088 9091 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 91127979 14317654016 55278 18446744073709551615 4194304 4196468 140734347895008 139756595027040 139757686118101 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9115] ppid=9088 vsize=13982084 memory=1732 CPUtime=0 cores=1,3,5,7
/proc/9091/task/9115/stat : 9115 (java) S 9088 9091 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 91127986 14317654016 55278 18446744073709551615 4194304 4196468 140734347895008 139756593973552 139757686119042 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
################
# More data... #
################
[pid=9091] ppid=9088 vsize=13982084 memory=1999204 CPUtime=2520.02 cores=1,3,5,7
/proc/9091/stat : 9091 (java) S 9088 9091 17093 0 -1 1077944320 317787 0 0 0 251582 420 0 0 20 0 15 0 91127965 14317654016 499801 18446744073709551615 4194304 4196468 140734347895008 140734347877552 139757686107895 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
/proc/9091/statm: 3495521 499801 3842 1 0 3484295 0
[pid=9091/tid=9096] ppid=9088 vsize=13982084 memory=1228 CPUtime=2444.04 cores=1,3,5,7
/proc/9091/task/9096/stat : 9096 (java) R 9088 9091 17093 0 -1 4202560 110040 0 0 0 244334 70 0 0 20 0 15 0 91127974 14317654016 499801 18446744073709551615 4194304 4196468 140734347895008 139757690346416 139757318651889 0 4 1 16800974 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9097] ppid=9088 vsize=13982084 memory=12200 CPUtime=14.71 cores=1,3,5,7
/proc/9091/task/9097/stat : 9097 (java) S 9088 9091 17093 0 -1 1077944384 21406 0 0 0 1407 64 0 0 20 0 15 0 91127975 14317654016 499801 18446744073709551615 4194304 4196468 140734347895008 139757643074320 139757686118101 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9098] ppid=9088 vsize=13982084 memory=1992 CPUtime=14.71 cores=1,3,5,7
/proc/9091/task/9098/stat : 9098 (java) S 9088 9091 17093 0 -1 1077944384 23261 0 0 0 1405 66 0 0 20 0 15 0 91127975 14317654016 499801 18446744073709551615 4194304 4196468 140734347895008 139757642021776 139757686118101 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9099] ppid=9088 vsize=13982084 memory=1204 CPUtime=14.72 cores=1,3,5,7
/proc/9091/task/9099/stat : 9099 (java) S 9088 9091 17093 0 -1 1077944384 25311 0 0 0 1404 68 0 0 20 0 15 0 91127975 14317654016 499801 18446744073709551615 4194304 4196468 140734347895008 139757640969232 139757686118101 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9100] ppid=9088 vsize=13982084 memory=1000 CPUtime=14.64 cores=1,3,5,7
/proc/9091/task/9100/stat : 9100 (java) S 9088 9091 17093 0 -1 1077944384 23487 0 0 0 1397 67 0 0 20 0 15 0 91127975 14317654016 499801 18446744073709551615 4194304 4196468 140734347895008 139757639916688 139757686118101 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9101] ppid=9088 vsize=13982084 memory=796 CPUtime=8.74 cores=1,3,5,7
/proc/9091/task/9101/stat : 9101 (java) S 9088 9091 17093 0 -1 1077944384 21145 0 0 0 814 60 0 0 20 0 15 0 91127976 14317654016 499801 18446744073709551615 4194304 4196468 140734347895008 139757231958000 139757686119042 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9102] ppid=9088 vsize=13982084 memory=11112 CPUtime=0 cores=1,3,5,7
/proc/9091/task/9102/stat : 9102 (java) S 9088 9091 17093 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 91127976 14317654016 499801 18446744073709551615 4194304 4196468 140734347895008 139757230904288 139757686118101 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9103] ppid=9088 vsize=13982084 memory=15876 CPUtime=0 cores=1,3,5,7
/proc/9091/task/9103/stat : 9103 (java) S 9088 9091 17093 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 91127977 14317654016 499801 18446744073709551615 4194304 4196468 140734347895008 139756600288256 139757686118101 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9107] ppid=9088 vsize=13982084 memory=4048 CPUtime=0 cores=1,3,5,7
/proc/9091/task/9107/stat : 9107 (java) S 9088 9091 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 91127979 14317654016 499801 18446744073709551615 4194304 4196468 140734347895008 139756599236816 139757686126491 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9108] ppid=9088 vsize=13982084 memory=28004 CPUtime=3.02 cores=1,3,5,7
/proc/9091/task/9108/stat : 9108 (java) S 9088 9091 17093 0 -1 1077944384 32693 0 0 0 300 2 0 0 20 0 15 0 91127979 14317654016 499801 18446744073709551615 4194304 4196468 140734347895008 139756598184432 139757686119042 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9109] ppid=9088 vsize=13982084 memory=844 CPUtime=2.89 cores=1,3,5,7
/proc/9091/task/9109/stat : 9109 (java) S 9088 9091 17093 0 -1 1077944384 32144 0 0 0 286 3 0 0 20 0 15 0 91127979 14317654016 499801 18446744073709551615 4194304 4196468 140734347895008 139756597131888 139757686119042 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9110] ppid=9088 vsize=13982084 memory=16448 CPUtime=0.91 cores=1,3,5,7
/proc/9091/task/9110/stat : 9110 (java) S 9088 9091 17093 0 -1 1077944384 24618 0 0 0 87 4 0 0 20 0 15 0 91127979 14317654016 499801 18446744073709551615 4194304 4196468 140734347895008 139756596079344 139757686119042 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9111] ppid=9088 vsize=13982084 memory=4068 CPUtime=0 cores=1,3,5,7
/proc/9091/task/9111/stat : 9111 (java) S 9088 9091 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 91127979 14317654016 499801 18446744073709551615 4194304 4196468 140734347895008 139756595027040 139757686118101 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9115] ppid=9088 vsize=13982084 memory=1152 CPUtime=1.55 cores=1,3,5,7
/proc/9091/task/9115/stat : 9115 (java) S 9088 9091 17093 0 -1 1077944384 2285 0 0 0 71 84 0 0 20 0 15 0 91127986 14317654016 499801 18446744073709551615 4194304 4196468 140734347895008 139756593973552 139757686119042 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 1999204 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2472.57 s]
# the end of solver process 9091 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.84 s, system=4.21438 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2472 s]*
/proc/loadavg: 1.65 1.51 1.41 2/209 9369
/proc/meminfo: memFree=28376108/32770624 swapFree=67108860/67108860
[pid=9091] ppid=9088 vsize=14115212 memory=1999344 CPUtime=2520.03 cores=1,3,5,7
/proc/9091/stat : 9091 (java) S 9088 9091 17093 0 -1 1077944320 317988 0 0 0 251583 420 0 0 20 0 15 0 91127965 14453977088 499836 18446744073709551615 4194304 4196468 140734347895008 140734347877552 139757686107895 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
/proc/9091/statm: 3528803 499836 3844 1 0 3517577 0
[pid=9091/tid=9096] ppid=9088 vsize=14115212 memory=6933928925625698159 CPUtime=2444.04 cores=1,3,5,7
/proc/9091/task/9096/stat : 9096 (java) S 9088 9091 17093 0 -1 1077944384 110041 0 0 0 244334 70 0 0 20 0 15 0 91127974 14453977088 499836 18446744073709551615 4194304 4196468 140734347895008 139757690343232 139757686118101 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9097] ppid=9088 vsize=14115212 memory=11112 CPUtime=14.71 cores=1,3,5,7
/proc/9091/task/9097/stat : 9097 (java) S 9088 9091 17093 0 -1 1077944384 21406 0 0 0 1407 64 0 0 20 0 15 0 91127975 14453977088 499836 18446744073709551615 4194304 4196468 140734347895008 139757643074320 139757686118101 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9098] ppid=9088 vsize=14115212 memory=15876 CPUtime=14.71 cores=1,3,5,7
/proc/9091/task/9098/stat : 9098 (java) S 9088 9091 17093 0 -1 1077944384 23261 0 0 0 1405 66 0 0 20 0 15 0 91127975 14453977088 499836 18446744073709551615 4194304 4196468 140734347895008 139757642021776 139757686118101 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9099] ppid=9088 vsize=14115212 memory=4048 CPUtime=14.72 cores=1,3,5,7
/proc/9091/task/9099/stat : 9099 (java) S 9088 9091 17093 0 -1 1077944384 25311 0 0 0 1404 68 0 0 20 0 15 0 91127975 14453977088 499836 18446744073709551615 4194304 4196468 140734347895008 139757640969232 139757686118101 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9100] ppid=9088 vsize=14115212 memory=28004 CPUtime=14.64 cores=1,3,5,7
/proc/9091/task/9100/stat : 9100 (java) S 9088 9091 17093 0 -1 1077944384 23487 0 0 0 1397 67 0 0 20 0 15 0 91127975 14453977088 499836 18446744073709551615 4194304 4196468 140734347895008 139757639916688 139757686118101 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9101] ppid=9088 vsize=14115212 memory=1788 CPUtime=8.74 cores=1,3,5,7
/proc/9091/task/9101/stat : 9101 (java) D 9088 9091 17093 0 -1 4202560 21145 0 0 0 814 60 0 0 20 0 15 0 91127976 14453977088 499836 18446744073709551615 4194304 4196468 140734347895008 139757231957944 139757678793527 0 0 1 16800974 18446744072099675269 0 0 -1 7 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9102] ppid=9088 vsize=14115212 memory=640 CPUtime=0 cores=1,3,5,7
/proc/9091/task/9102/stat : 9102 (java) S 9088 9091 17093 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 91127976 14453977088 499836 18446744073709551615 4194304 4196468 140734347895008 139757230904288 139757686118101 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9103] ppid=9088 vsize=14115212 memory=960 CPUtime=0 cores=1,3,5,7
/proc/9091/task/9103/stat : 9103 (java) S 9088 9091 17093 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 91127977 14453977088 499836 18446744073709551615 4194304 4196468 140734347895008 139756600288256 139757686118101 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9107] ppid=9088 vsize=14115212 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/9091/task/9107/stat : 9107 (java) S 9088 9091 17093 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 91127979 14453977088 499836 18446744073709551615 4194304 4196468 140734347895008 139756599236528 139757686118101 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9108] ppid=9088 vsize=14115212 memory=1999204 CPUtime=3.02 cores=1,3,5,7
/proc/9091/task/9108/stat : 9108 (java) S 9088 9091 17093 0 -1 1077944384 32693 0 0 0 300 2 0 0 20 0 15 0 91127979 14453977088 499836 18446744073709551615 4194304 4196468 140734347895008 139756598184432 139757686119042 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9109] ppid=9088 vsize=14115212 memory=3904 CPUtime=2.89 cores=1,3,5,7
/proc/9091/task/9109/stat : 9109 (java) S 9088 9091 17093 0 -1 1077944384 32144 0 0 0 286 3 0 0 20 0 15 0 91127979 14453977088 499836 18446744073709551615 4194304 4196468 140734347895008 139756597131888 139757686119042 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9110] ppid=9088 vsize=14115212 memory=2764 CPUtime=0.91 cores=1,3,5,7
/proc/9091/task/9110/stat : 9110 (java) S 9088 9091 17093 0 -1 1077944384 24638 0 0 0 87 4 0 0 20 0 15 0 91127979 14453977088 499836 18446744073709551615 4194304 4196468 140734347895008 139756596075216 139757686118101 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9111] ppid=9088 vsize=14115212 memory=7680170660397595203 CPUtime=0 cores=1,3,5,7
/proc/9091/task/9111/stat : 9111 (java) S 9088 9091 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 91127979 14453977088 499836 18446744073709551615 4194304 4196468 140734347895008 139756595027040 139757686118101 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9368] ppid=9088 vsize=14115212 memory=844 CPUtime=0 cores=1,3,5,7
/proc/9091/task/9368/stat : 9368 (java) S 9088 9091 17093 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 91375146 14453977088 499836 18446744073709551615 4194304 4196468 140734347895008 139756583686256 139757686118101 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 14115212 KiB
Current children cumulated memory: 1999344 KiB
[startup+2472.4 s]
/proc/loadavg: 1.65 1.51 1.41 2/209 9369
/proc/meminfo: memFree=28376108/32770624 swapFree=67108860/67108860
[pid=9091] ppid=9088 vsize=14115212 memory=1999344 CPUtime=2520.03 cores=1,3,5,7
/proc/9091/stat : 9091 (java) S 9088 9091 17093 0 -1 1077944320 317988 0 0 0 251583 420 0 0 20 0 15 0 91127965 14453977088 499836 18446744073709551615 4194304 4196468 140734347895008 140734347877552 139757686107895 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
/proc/9091/statm: 3528803 499836 3844 1 0 3517577 0
[pid=9091/tid=9096] ppid=9088 vsize=14115212 memory=16448 CPUtime=2444.04 cores=1,3,5,7
/proc/9091/task/9096/stat : 9096 (java) S 9088 9091 17093 0 -1 1077944384 110041 0 0 0 244334 70 0 0 20 0 15 0 91127974 14453977088 499836 18446744073709551615 4194304 4196468 140734347895008 139757690343232 139757686118101 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9097] ppid=9088 vsize=14115212 memory=4068 CPUtime=14.71 cores=1,3,5,7
/proc/9091/task/9097/stat : 9097 (java) S 9088 9091 17093 0 -1 1077944384 21406 0 0 0 1407 64 0 0 20 0 15 0 91127975 14453977088 499836 18446744073709551615 4194304 4196468 140734347895008 139757643074320 139757686118101 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9098] ppid=9088 vsize=14115212 memory=1152 CPUtime=14.71 cores=1,3,5,7
/proc/9091/task/9098/stat : 9098 (java) S 9088 9091 17093 0 -1 1077944384 23261 0 0 0 1405 66 0 0 20 0 15 0 91127975 14453977088 499836 18446744073709551615 4194304 4196468 140734347895008 139757642021776 139757686118101 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9099] ppid=9088 vsize=14115212 memory=1999204 CPUtime=14.72 cores=1,3,5,7
/proc/9091/task/9099/stat : 9099 (java) S 9088 9091 17093 0 -1 1077944384 25311 0 0 0 1404 68 0 0 20 0 15 0 91127975 14453977088 499836 18446744073709551615 4194304 4196468 140734347895008 139757640969232 139757686118101 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9100] ppid=9088 vsize=14115212 memory=1228 CPUtime=14.64 cores=1,3,5,7
/proc/9091/task/9100/stat : 9100 (java) S 9088 9091 17093 0 -1 1077944384 23487 0 0 0 1397 67 0 0 20 0 15 0 91127975 14453977088 499836 18446744073709551615 4194304 4196468 140734347895008 139757639916688 139757686118101 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9101] ppid=9088 vsize=14115212 memory=12200 CPUtime=8.74 cores=1,3,5,7
/proc/9091/task/9101/stat : 9101 (java) D 9088 9091 17093 0 -1 4202560 21145 0 0 0 814 60 0 0 20 0 15 0 91127976 14453977088 499836 18446744073709551615 4194304 4196468 140734347895008 139757231957944 139757678793527 0 0 1 16800974 18446744072099675269 0 0 -1 7 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9102] ppid=9088 vsize=14115212 memory=1992 CPUtime=0 cores=1,3,5,7
/proc/9091/task/9102/stat : 9102 (java) S 9088 9091 17093 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 91127976 14453977088 499836 18446744073709551615 4194304 4196468 140734347895008 139757230904288 139757686118101 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9103] ppid=9088 vsize=14115212 memory=1204 CPUtime=0 cores=1,3,5,7
/proc/9091/task/9103/stat : 9103 (java) S 9088 9091 17093 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 91127977 14453977088 499836 18446744073709551615 4194304 4196468 140734347895008 139756600288256 139757686118101 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9107] ppid=9088 vsize=14115212 memory=1000 CPUtime=0 cores=1,3,5,7
/proc/9091/task/9107/stat : 9107 (java) S 9088 9091 17093 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 91127979 14453977088 499836 18446744073709551615 4194304 4196468 140734347895008 139756599236528 139757686118101 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9108] ppid=9088 vsize=14115212 memory=796 CPUtime=3.02 cores=1,3,5,7
/proc/9091/task/9108/stat : 9108 (java) S 9088 9091 17093 0 -1 1077944384 32693 0 0 0 300 2 0 0 20 0 15 0 91127979 14453977088 499836 18446744073709551615 4194304 4196468 140734347895008 139756598184432 139757686119042 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9109] ppid=9088 vsize=14115212 memory=11112 CPUtime=2.89 cores=1,3,5,7
/proc/9091/task/9109/stat : 9109 (java) S 9088 9091 17093 0 -1 1077944384 32144 0 0 0 286 3 0 0 20 0 15 0 91127979 14453977088 499836 18446744073709551615 4194304 4196468 140734347895008 139756597131888 139757686119042 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9110] ppid=9088 vsize=14115212 memory=15876 CPUtime=0.91 cores=1,3,5,7
/proc/9091/task/9110/stat : 9110 (java) S 9088 9091 17093 0 -1 1077944384 24638 0 0 0 87 4 0 0 20 0 15 0 91127979 14453977088 499836 18446744073709551615 4194304 4196468 140734347895008 139756596075216 139757686118101 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9111] ppid=9088 vsize=14115212 memory=4048 CPUtime=0 cores=1,3,5,7
/proc/9091/task/9111/stat : 9111 (java) S 9088 9091 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 91127979 14453977088 499836 18446744073709551615 4194304 4196468 140734347895008 139756595027040 139757686118101 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9368] ppid=9088 vsize=14115212 memory=28004 CPUtime=0 cores=1,3,5,7
/proc/9091/task/9368/stat : 9368 (java) S 9088 9091 17093 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 91375146 14453977088 499836 18446744073709551615 4194304 4196468 140734347895008 139756583686256 139757686118101 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 14115212 KiB
Current children cumulated memory: 1999344 KiB
[startup+2472.5 s]
/proc/loadavg: 1.65 1.51 1.41 2/209 9369
/proc/meminfo: memFree=28376108/32770624 swapFree=67108860/67108860
[pid=9091] ppid=9088 vsize=14115212 memory=1999344 CPUtime=2520.03 cores=1,3,5,7
/proc/9091/stat : 9091 (java) S 9088 9091 17093 0 -1 1077944320 317988 0 0 0 251583 420 0 0 20 0 15 0 91127965 14453977088 499836 18446744073709551615 4194304 4196468 140734347895008 140734347877552 139757686107895 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
/proc/9091/statm: 3528803 499836 3844 1 0 3517577 0
[pid=9091/tid=9096] ppid=9088 vsize=14115212 memory=1999204 CPUtime=2444.04 cores=1,3,5,7
/proc/9091/task/9096/stat : 9096 (java) S 9088 9091 17093 0 -1 1077944384 110041 0 0 0 244334 70 0 0 20 0 15 0 91127974 14453977088 499836 18446744073709551615 4194304 4196468 140734347895008 139757690343232 139757686118101 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9097] ppid=9088 vsize=14115212 memory=1999204 CPUtime=14.71 cores=1,3,5,7
/proc/9091/task/9097/stat : 9097 (java) S 9088 9091 17093 0 -1 1077944384 21406 0 0 0 1407 64 0 0 20 0 15 0 91127975 14453977088 499836 18446744073709551615 4194304 4196468 140734347895008 139757643074320 139757686118101 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9098] ppid=9088 vsize=14115212 memory=1999204 CPUtime=14.71 cores=1,3,5,7
/proc/9091/task/9098/stat : 9098 (java) S 9088 9091 17093 0 -1 1077944384 23261 0 0 0 1405 66 0 0 20 0 15 0 91127975 14453977088 499836 18446744073709551615 4194304 4196468 140734347895008 139757642021776 139757686118101 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9099] ppid=9088 vsize=14115212 memory=1999344 CPUtime=14.72 cores=1,3,5,7
/proc/9091/task/9099/stat : 9099 (java) S 9088 9091 17093 0 -1 1077944384 25311 0 0 0 1404 68 0 0 20 0 15 0 91127975 14453977088 499836 18446744073709551615 4194304 4196468 140734347895008 139757640969232 139757686118101 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9100] ppid=9088 vsize=14115212 memory=1999344 CPUtime=14.64 cores=1,3,5,7
/proc/9091/task/9100/stat : 9100 (java) S 9088 9091 17093 0 -1 1077944384 23487 0 0 0 1397 67 0 0 20 0 15 0 91127975 14453977088 499836 18446744073709551615 4194304 4196468 140734347895008 139757639916688 139757686118101 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9101] ppid=9088 vsize=14115212 memory=1999204 CPUtime=8.74 cores=1,3,5,7
/proc/9091/task/9101/stat : 9101 (java) D 9088 9091 17093 0 -1 4202560 21145 0 0 0 814 60 0 0 20 0 15 0 91127976 14453977088 499836 18446744073709551615 4194304 4196468 140734347895008 139757231957944 139757678793527 0 0 1 16800974 18446744072099675269 0 0 -1 7 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9102] ppid=9088 vsize=14115212 memory=1999204 CPUtime=0 cores=1,3,5,7
/proc/9091/task/9102/stat : 9102 (java) S 9088 9091 17093 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 91127976 14453977088 499836 18446744073709551615 4194304 4196468 140734347895008 139757230904288 139757686118101 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9103] ppid=9088 vsize=14115212 memory=1999204 CPUtime=0 cores=1,3,5,7
/proc/9091/task/9103/stat : 9103 (java) S 9088 9091 17093 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 91127977 14453977088 499836 18446744073709551615 4194304 4196468 140734347895008 139756600288256 139757686118101 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9107] ppid=9088 vsize=14115212 memory=1999204 CPUtime=0 cores=1,3,5,7
/proc/9091/task/9107/stat : 9107 (java) S 9088 9091 17093 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 91127979 14453977088 499836 18446744073709551615 4194304 4196468 140734347895008 139756599236528 139757686118101 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9108] ppid=9088 vsize=14115212 memory=1999204 CPUtime=3.02 cores=1,3,5,7
/proc/9091/task/9108/stat : 9108 (java) S 9088 9091 17093 0 -1 1077944384 32693 0 0 0 300 2 0 0 20 0 15 0 91127979 14453977088 499836 18446744073709551615 4194304 4196468 140734347895008 139756598184432 139757686119042 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9109] ppid=9088 vsize=14115212 memory=1999204 CPUtime=2.89 cores=1,3,5,7
/proc/9091/task/9109/stat : 9109 (java) S 9088 9091 17093 0 -1 1077944384 32144 0 0 0 286 3 0 0 20 0 15 0 91127979 14453977088 499836 18446744073709551615 4194304 4196468 140734347895008 139756597131888 139757686119042 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9110] ppid=9088 vsize=14115212 memory=1999204 CPUtime=0.91 cores=1,3,5,7
/proc/9091/task/9110/stat : 9110 (java) S 9088 9091 17093 0 -1 1077944384 24638 0 0 0 87 4 0 0 20 0 15 0 91127979 14453977088 499836 18446744073709551615 4194304 4196468 140734347895008 139756596075216 139757686118101 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9111] ppid=9088 vsize=14115212 memory=1999204 CPUtime=0 cores=1,3,5,7
/proc/9091/task/9111/stat : 9111 (java) S 9088 9091 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 91127979 14453977088 499836 18446744073709551615 4194304 4196468 140734347895008 139756595027040 139757686118101 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
[pid=9091/tid=9368] ppid=9088 vsize=14115212 memory=1999204 CPUtime=0 cores=1,3,5,7
/proc/9091/task/9368/stat : 9368 (java) S 9088 9091 17093 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 91375146 14453977088 499836 18446744073709551615 4194304 4196468 140734347895008 139756583686256 139757686118101 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22286336 140734347899253 140734347899433 140734347899433 140734347902927 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 14115212 KiB
Current children cumulated memory: 1999344 KiB
Child status: 143
Real time (s): 2472.57
CPU time (s): 2520.05
CPU user time (s): 2515.84
CPU system time (s): 4.21438
CPU usage (%): 101.92
Max. virtual memory (cumulated for all children) (KiB): 14115212
Max. memory (cumulated for all children) (KiB): 2173908
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.84
system time used= 4.21438
maximum resident set size= 2191316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 318009
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3160
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 291322
involuntary context switches= 6528
# summary of solver processes directly reported to runsolver:
# pid: 9091
# total CPU time (s): 2520.05
# total CPU user time (s): 2515.84
# total CPU system time (s): 4.21438
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.5825 second user time and 24.0372 second system time
The end