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 (1312 MiB free)
memory of node 1: 16384 MiB (921 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4403302-1568971570/watcher-4403302-1568971570 -o /tmp/evaluation-result-4403302-1568971570/solver-4403302-1568971570 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1568963417-1148 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=453517493 HOME/instance-4403302-1568971570.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=2822, runsolver pid=2819
[startup+0.100094 s]*
/proc/loadavg: 1.61 1.51 1.45 3/217 2879
/proc/meminfo: memFree=2282396/32770624 swapFree=66986236/67108860
[pid=2822] ppid=2819 vsize=9972712 memory=18332 CPUtime=0.08 cores=0,2,4,6
/proc/2822/stat : 2822 (java) S 2819 2822 1113 0 -1 1077944320 4325 13393 0 0 1 0 4 3 20 0 6 0 473413902 10212057088 4583 33554432000 4194304 4196468 140735660428352 140735660410896 140234698030839 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
/proc/2822/statm: 2493178 4583 1931 1 0 2481616 0
[pid=2822/tid=2875] ppid=2819 vsize=9972712 memory=-8617482348318186131 CPUtime=0.08 cores=0,2,4,6
/proc/2822/task/2875/stat : 2875 (java) R 2819 2822 1113 0 -1 4202560 2117 13393 0 0 1 0 4 3 20 0 6 0 473413911 10212057088 4583 33554432000 4194304 4196468 140735660428352 140234669867600 140234698052765 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2876] ppid=2819 vsize=9972712 memory=-7025452035940392864 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2876/stat : 2876 (java) S 2819 2822 1113 0 -1 1077944384 1 13393 0 0 0 0 4 3 20 0 6 0 473413911 10212057088 4583 33554432000 4194304 4196468 140735660428352 140234702272912 140234698041045 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2877] ppid=2819 vsize=9972712 memory=139914482411136 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2877/stat : 2877 (java) S 2819 2822 1113 0 -1 1077944384 1 13393 0 0 0 0 4 3 20 0 6 0 473413911 10212057088 4583 33554432000 4194304 4196468 140735660428352 140234590546192 140234698041045 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2878] ppid=2819 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2878/stat : 2878 (java) S 2819 2822 1113 0 -1 1077944384 1 13393 0 0 0 0 4 3 20 0 6 0 473413911 10212057088 4583 33554432000 4194304 4196468 140735660428352 140234589493904 140234698041045 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2879] ppid=2819 vsize=9972712 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2879/stat : 2879 (java) S 2819 2822 1113 0 -1 1077944384 2 13393 0 0 0 0 4 3 20 0 6 0 473413911 10212057088 4583 33554432000 4194304 4196468 140735660428352 140234588441104 140234698041045 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18332 KiB
[startup+0.210301 s]*
/proc/loadavg: 1.61 1.51 1.45 3/226 2888
/proc/meminfo: memFree=2259764/32770624 swapFree=66986236/67108860
[pid=2822] ppid=2819 vsize=10820164 memory=44980 CPUtime=0.25 cores=0,2,4,6
/proc/2822/stat : 2822 (java) S 2819 2822 1113 0 -1 1077944320 7144 13393 0 0 17 1 4 3 20 0 15 0 473413902 11079847936 11245 33554432000 4194304 4196468 140735660428352 140735660410896 140234698030839 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
/proc/2822/statm: 2705041 11245 3287 1 0 2667149 0
[pid=2822/tid=2875] ppid=2819 vsize=10820176 memory=7022364594140610616 CPUtime=0.18 cores=0,2,4,6
/proc/2822/task/2875/stat : 2875 (java) R 2819 2822 1113 0 -1 4202560 3640 13393 0 0 11 0 4 3 20 0 15 0 473413911 11079860224 11245 33554432000 4194304 4196468 140735660428352 140234669841872 140234690708853 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2876] ppid=2819 vsize=10820184 memory=345 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2876/stat : 2876 (java) S 2819 2822 1113 0 -1 1077944384 1 13393 0 0 0 0 4 3 20 0 15 0 473413911 11079868416 11245 33554432000 4194304 4196468 140735660428352 140234702272912 140234698041045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2877] ppid=2819 vsize=10820184 memory=288370290634122880 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2877/stat : 2877 (java) S 2819 2822 1113 0 -1 1077944384 1 13393 0 0 0 0 4 3 20 0 15 0 473413911 11079868416 11245 33554432000 4194304 4196468 140735660428352 140234590546192 140234698041045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2878] ppid=2819 vsize=10820184 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2878/stat : 2878 (java) S 2819 2822 1113 0 -1 1077944384 1 13393 0 0 0 0 4 3 20 0 15 0 473413911 11079868416 11245 33554432000 4194304 4196468 140735660428352 140234589493904 140234698041045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2879] ppid=2819 vsize=10820184 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2879/stat : 2879 (java) S 2819 2822 1113 0 -1 1077944384 2 13393 0 0 0 0 4 3 20 0 15 0 473413911 11079868416 11245 33554432000 4194304 4196468 140735660428352 140234588441104 140234698041045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2880] ppid=2819 vsize=10820184 memory=139914482411136 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2880/stat : 2880 (java) S 2819 2822 1113 0 -1 1077944384 2 13393 0 0 0 0 4 3 20 0 15 0 473413913 11079868416 11245 33554432000 4194304 4196468 140735660428352 140234157132400 140234698041986 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2881] ppid=2819 vsize=10820188 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2881/stat : 2881 (java) S 2819 2822 1113 0 -1 1077944384 33 13393 0 0 0 0 4 3 20 0 15 0 473413913 11079872512 11245 33554432000 4194304 4196468 140735660428352 140234156078368 140234698041045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2882] ppid=2819 vsize=10820188 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2882/stat : 2882 (java) S 2819 2822 1113 0 -1 1077944384 1 13393 0 0 0 0 4 3 20 0 15 0 473413913 11079872512 11245 33554432000 4194304 4196468 140735660428352 140234037651056 140234698041045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2883] ppid=2819 vsize=10820188 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2883/stat : 2883 (java) S 2819 2822 1113 0 -1 1077944384 2 13393 0 0 0 0 4 3 20 0 15 0 473413916 11079872512 11245 33554432000 4194304 4196468 140735660428352 140233433672272 140234698049435 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2884] ppid=2819 vsize=10820188 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/2822/task/2884/stat : 2884 (java) S 2819 2822 1113 0 -1 1077944384 476 13393 0 0 1 0 4 3 20 0 15 0 473413916 11079872512 11245 33554432000 4194304 4196468 140735660428352 140234122520688 140234698041986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2885] ppid=2819 vsize=10820188 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/2822/task/2885/stat : 2885 (java) R 2819 2822 1113 0 -1 4202560 187 13393 0 0 1 0 4 3 20 0 15 0 473413916 11079872512 11245 33554432000 4194304 4196468 140735660428352 140234121467888 140234681527522 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2886] ppid=2819 vsize=10820188 memory=139914482411136 CPUtime=0.1 cores=0,2,4,6
/proc/2822/task/2886/stat : 2886 (java) S 2819 2822 1113 0 -1 1077944384 596 13393 0 0 3 0 4 3 20 0 15 0 473413916 11079872512 11245 33554432000 4194304 4196468 140735660428352 140234120415600 140234698041986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2887] ppid=2819 vsize=10820196 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2887/stat : 2887 (java) S 2819 2822 1113 0 -1 1077944384 3 13393 0 0 0 0 4 3 20 0 15 0 473413916 11079880704 11245 33554432000 4194304 4196468 140735660428352 140232963910112 140234698041045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2888] ppid=2819 vsize=10820196 memory=139914482411136 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2888/stat : 2888 (java) S 2819 2822 1113 0 -1 1077944384 1 13393 0 0 0 0 4 3 20 0 15 0 473413917 11079880704 11245 33554432000 4194304 4196468 140735660428352 140234119363504 140234698041986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10820164 KiB
Current children cumulated memory: 44980 KiB
[startup+0.320278 s]*
/proc/loadavg: 1.61 1.51 1.45 4/226 2888
/proc/meminfo: memFree=2246476/32770624 swapFree=66986236/67108860
[pid=2822] ppid=2819 vsize=10820196 memory=53416 CPUtime=0.4 cores=0,2,4,6
/proc/2822/stat : 2822 (java) S 2819 2822 1113 0 -1 1077944320 10541 13393 0 0 30 3 4 3 20 0 15 0 473413902 11079880704 13354 33554432000 4194304 4196468 140735660428352 140735660410896 140234698030839 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
/proc/2822/statm: 2705049 13354 3308 1 0 2667149 0
[pid=2822/tid=2875] ppid=2819 vsize=10820196 memory=8317482817917895235 CPUtime=0.29 cores=0,2,4,6
/proc/2822/task/2875/stat : 2875 (java) R 2819 2822 1113 0 -1 4202560 7008 13393 0 0 20 2 4 3 20 0 15 0 473413911 11079880704 13354 33554432000 4194304 4196468 140735660428352 140234669837344 140234698052765 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2876] ppid=2819 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2876/stat : 2876 (java) S 2819 2822 1113 0 -1 1077944384 1 13393 0 0 0 0 4 3 20 0 15 0 473413911 11079880704 13354 33554432000 4194304 4196468 140735660428352 140234702272912 140234698041045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2877] ppid=2819 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2877/stat : 2877 (java) S 2819 2822 1113 0 -1 1077944384 1 13393 0 0 0 0 4 3 20 0 15 0 473413911 11079880704 13354 33554432000 4194304 4196468 140735660428352 140234590546192 140234698041045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2878] ppid=2819 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2878/stat : 2878 (java) S 2819 2822 1113 0 -1 1077944384 1 13393 0 0 0 0 4 3 20 0 15 0 473413911 11079880704 13354 33554432000 4194304 4196468 140735660428352 140234589493904 140234698041045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2879] ppid=2819 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2879/stat : 2879 (java) S 2819 2822 1113 0 -1 1077944384 2 13393 0 0 0 0 4 3 20 0 15 0 473413911 11079880704 13354 33554432000 4194304 4196468 140735660428352 140234588441104 140234698041045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2880] ppid=2819 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2880/stat : 2880 (java) S 2819 2822 1113 0 -1 1077944384 2 13393 0 0 0 0 4 3 20 0 15 0 473413913 11079880704 13354 33554432000 4194304 4196468 140735660428352 140234157132400 140234698041986 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2881] ppid=2819 vsize=10820196 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2881/stat : 2881 (java) S 2819 2822 1113 0 -1 1077944384 33 13393 0 0 0 0 4 3 20 0 15 0 473413913 11079880704 13354 33554432000 4194304 4196468 140735660428352 140234156078368 140234698041045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2882] ppid=2819 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2882/stat : 2882 (java) S 2819 2822 1113 0 -1 1077944384 1 13393 0 0 0 0 4 3 20 0 15 0 473413913 11079880704 13354 33554432000 4194304 4196468 140735660428352 140234037651056 140234698041045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2883] ppid=2819 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2883/stat : 2883 (java) S 2819 2822 1113 0 -1 1077944384 2 13393 0 0 0 0 4 3 20 0 15 0 473413916 11079880704 13354 33554432000 4194304 4196468 140735660428352 140233433672272 140234698049435 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2884] ppid=2819 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/2822/task/2884/stat : 2884 (java) S 2819 2822 1113 0 -1 1077944384 476 13393 0 0 1 0 4 3 20 0 15 0 473413916 11079880704 13354 33554432000 4194304 4196468 140735660428352 140234122520688 140234698041986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2885] ppid=2819 vsize=10820196 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/2822/task/2885/stat : 2885 (java) S 2819 2822 1113 0 -1 1077944384 197 13393 0 0 2 0 4 3 20 0 15 0 473413916 11079880704 13354 33554432000 4194304 4196468 140735660428352 140234121467888 140234698041986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2886] ppid=2819 vsize=10820196 memory=139914482411136 CPUtime=0.12 cores=0,2,4,6
/proc/2822/task/2886/stat : 2886 (java) R 2819 2822 1113 0 -1 4202560 605 13393 0 0 5 0 4 3 20 0 15 0 473413916 11079880704 13354 33554432000 4194304 4196468 140735660428352 140234120415600 140234678805438 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2887] ppid=2819 vsize=10820196 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2887/stat : 2887 (java) S 2819 2822 1113 0 -1 1077944384 3 13393 0 0 0 0 4 3 20 0 15 0 473413916 11079880704 13354 33554432000 4194304 4196468 140735660428352 140232963910112 140234698041045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2888] ppid=2819 vsize=10820196 memory=139914482411136 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2888/stat : 2888 (java) S 2819 2822 1113 0 -1 1077944384 1 13393 0 0 0 0 4 3 20 0 15 0 473413917 11079880704 13354 33554432000 4194304 4196468 140735660428352 140234119363504 140234698041986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 53416 KiB
[startup+0.701319 s]
/proc/loadavg: 1.61 1.51 1.45 3/226 2888
/proc/meminfo: memFree=2232820/32770624 swapFree=66986236/67108860
[pid=2822] ppid=2819 vsize=10824364 memory=85548 CPUtime=1.14 cores=0,2,4,6
/proc/2822/stat : 2822 (java) S 2819 2822 1113 0 -1 1077944320 14609 13393 0 0 102 5 4 3 20 0 15 0 473413902 11084148736 21387 33554432000 4194304 4196468 140735660428352 140735660410896 140234698030839 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
/proc/2822/statm: 2706091 21387 3512 1 0 2668173 0
[pid=2822/tid=2875] ppid=2819 vsize=10824364 memory=0 CPUtime=0.65 cores=0,2,4,6
/proc/2822/task/2875/stat : 2875 (java) R 2819 2822 1113 0 -1 4202560 9952 13393 0 0 55 3 4 3 20 0 15 0 473413911 11084148736 21387 33554432000 4194304 4196468 140735660428352 140234669839296 140234677563523 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2876] ppid=2819 vsize=10824364 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2876/stat : 2876 (java) S 2819 2822 1113 0 -1 1077944384 1 13393 0 0 0 0 4 3 20 0 15 0 473413911 11084148736 21387 33554432000 4194304 4196468 140735660428352 140234702272912 140234698041045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2877] ppid=2819 vsize=10824364 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2877/stat : 2877 (java) S 2819 2822 1113 0 -1 1077944384 1 13393 0 0 0 0 4 3 20 0 15 0 473413911 11084148736 21387 33554432000 4194304 4196468 140735660428352 140234590546192 140234698041045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2878] ppid=2819 vsize=10824364 memory=68 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2878/stat : 2878 (java) S 2819 2822 1113 0 -1 1077944384 1 13393 0 0 0 0 4 3 20 0 15 0 473413911 11084148736 21387 33554432000 4194304 4196468 140735660428352 140234589493904 140234698041045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2879] ppid=2819 vsize=10824364 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2879/stat : 2879 (java) S 2819 2822 1113 0 -1 1077944384 2 13393 0 0 0 0 4 3 20 0 15 0 473413911 11084148736 21387 33554432000 4194304 4196468 140735660428352 140234588441104 140234698041045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2880] ppid=2819 vsize=10824364 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2880/stat : 2880 (java) S 2819 2822 1113 0 -1 1077944384 5 13393 0 0 0 0 4 3 20 0 15 0 473413913 11084148736 21387 33554432000 4194304 4196468 140735660428352 140234157132400 140234698041986 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2881] ppid=2819 vsize=10824364 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2881/stat : 2881 (java) S 2819 2822 1113 0 -1 1077944384 33 13393 0 0 0 0 4 3 20 0 15 0 473413913 11084148736 21387 33554432000 4194304 4196468 140735660428352 140234156078368 140234698041045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2882] ppid=2819 vsize=10824364 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2882/stat : 2882 (java) S 2819 2822 1113 0 -1 1077944384 1 13393 0 0 0 0 4 3 20 0 15 0 473413913 11084148736 21387 33554432000 4194304 4196468 140735660428352 140234037651056 140234698041045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2883] ppid=2819 vsize=10824364 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2883/stat : 2883 (java) S 2819 2822 1113 0 -1 1077944384 2 13393 0 0 0 0 4 3 20 0 15 0 473413916 11084148736 21387 33554432000 4194304 4196468 140735660428352 140233433672272 140234698049435 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2884] ppid=2819 vsize=10824364 memory=139914331173264 CPUtime=0.18 cores=0,2,4,6
/proc/2822/task/2884/stat : 2884 (java) S 2819 2822 1113 0 -1 1077944384 911 13393 0 0 11 0 4 3 20 0 15 0 473413916 11084148736 21387 33554432000 4194304 4196468 140735660428352 140234122520688 140234698041986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2885] ppid=2819 vsize=10824364 memory=142425410503306 CPUtime=0.24 cores=0,2,4,6
/proc/2822/task/2885/stat : 2885 (java) R 2819 2822 1113 0 -1 4202560 723 13393 0 0 17 0 4 3 20 0 15 0 473413916 11084148736 21387 33554432000 4194304 4196468 140735660428352 140234121467888 140234684058865 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2886] ppid=2819 vsize=10824364 memory=14048 CPUtime=0.24 cores=0,2,4,6
/proc/2822/task/2886/stat : 2886 (java) S 2819 2822 1113 0 -1 1077944384 762 13393 0 0 17 0 4 3 20 0 15 0 473413916 11084148736 21387 33554432000 4194304 4196468 140735660428352 140234120415600 140234698041986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2887] ppid=2819 vsize=10824364 memory=3616 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2887/stat : 2887 (java) S 2819 2822 1113 0 -1 1077944384 3 13393 0 0 0 0 4 3 20 0 15 0 473413916 11084148736 21387 33554432000 4194304 4196468 140735660428352 140232963910112 140234698041045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2888] ppid=2819 vsize=10824364 memory=2241 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2888/stat : 2888 (java) S 2819 2822 1113 0 -1 1077944384 1 13393 0 0 0 0 4 3 20 0 15 0 473413917 11084148736 21387 33554432000 4194304 4196468 140735660428352 140234119363504 140234698041986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 85548 KiB
[startup+1.50335 s]
/proc/loadavg: 1.61 1.51 1.45 4/226 2889
/proc/meminfo: memFree=2181328/32770624 swapFree=66986236/67108860
[pid=2822] ppid=2819 vsize=10834680 memory=191564 CPUtime=2.89 cores=0,2,4,6
/proc/2822/stat : 2822 (java) S 2819 2822 1113 0 -1 1077944320 27889 13393 0 0 272 10 4 3 20 0 15 0 473413902 11094712320 47891 33554432000 4194304 4196468 140735660428352 140735660410896 140234698030839 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
/proc/2822/statm: 2708670 47891 3576 1 0 2670733 0
[pid=2822/tid=2875] ppid=2819 vsize=10834680 memory=1898397 CPUtime=1.42 cores=0,2,4,6
/proc/2822/task/2875/stat : 2875 (java) R 2819 2822 1113 0 -1 4202560 16082 13393 0 0 130 5 4 3 20 0 15 0 473413911 11094712320 47891 33554432000 4194304 4196468 140735660428352 140234669854456 140234677332376 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2876] ppid=2819 vsize=10834680 memory=8112282956445269571 CPUtime=0.08 cores=0,2,4,6
/proc/2822/task/2876/stat : 2876 (java) S 2819 2822 1113 0 -1 1077944384 322 13393 0 0 1 0 4 3 20 0 15 0 473413911 11094712320 47891 33554432000 4194304 4196468 140735660428352 140234702272912 140234698041045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2877] ppid=2819 vsize=10834680 memory=1 CPUtime=0.08 cores=0,2,4,6
/proc/2822/task/2877/stat : 2877 (java) S 2819 2822 1113 0 -1 1077944384 32 13393 0 0 1 0 4 3 20 0 15 0 473413911 11094712320 47891 33554432000 4194304 4196468 140735660428352 140234590546192 140234698041045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2878] ppid=2819 vsize=10834680 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/2822/task/2878/stat : 2878 (java) S 2819 2822 1113 0 -1 1077944384 34 13393 0 0 1 0 4 3 20 0 15 0 473413911 11094712320 47891 33554432000 4194304 4196468 140735660428352 140234589493904 140234698041045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2879] ppid=2819 vsize=10834680 memory=85548 CPUtime=0.08 cores=0,2,4,6
/proc/2822/task/2879/stat : 2879 (java) S 2819 2822 1113 0 -1 1077944384 59 13393 0 0 1 0 4 3 20 0 15 0 473413911 11094712320 47891 33554432000 4194304 4196468 140735660428352 140234588441104 140234698041045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2880] ppid=2819 vsize=10834680 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/2822/task/2880/stat : 2880 (java) S 2819 2822 1113 0 -1 1077944384 97 13393 0 0 1 0 4 3 20 0 15 0 473413913 11094712320 47891 33554432000 4194304 4196468 140735660428352 140234157132400 140234698041986 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2881] ppid=2819 vsize=10834680 memory=279828662109984 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2881/stat : 2881 (java) S 2819 2822 1113 0 -1 1077944384 34 13393 0 0 0 0 4 3 20 0 15 0 473413913 11094712320 47891 33554432000 4194304 4196468 140735660428352 140234156078368 140234698041045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2882] ppid=2819 vsize=10834680 memory=279828662339344 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2882/stat : 2882 (java) S 2819 2822 1113 0 -1 1077944384 2 13393 0 0 0 0 4 3 20 0 15 0 473413913 11094712320 47891 33554432000 4194304 4196468 140735660428352 140234037651072 140234698041045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2883] ppid=2819 vsize=10834680 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2883/stat : 2883 (java) S 2819 2822 1113 0 -1 1077944384 2 13393 0 0 0 0 4 3 20 0 15 0 473413916 11094712320 47891 33554432000 4194304 4196468 140735660428352 140233433672272 140234698049435 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2884] ppid=2819 vsize=10834680 memory=6655300316396806240 CPUtime=0.45 cores=0,2,4,6
/proc/2822/task/2884/stat : 2884 (java) R 2819 2822 1113 0 -1 1077944384 2412 13393 0 0 38 0 4 3 20 0 15 0 473413916 11094712320 47891 33554432000 4194304 4196468 140735660428352 140234122520688 140234698041986 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2885] ppid=2819 vsize=10834680 memory=6944656592455359580 CPUtime=0.6 cores=0,2,4,6
/proc/2822/task/2885/stat : 2885 (java) R 2819 2822 1113 0 -1 1077944384 4948 13393 0 0 53 0 4 3 20 0 15 0 473413916 11094712320 47891 33554432000 4194304 4196468 140735660428352 140234121467888 140234698041986 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2886] ppid=2819 vsize=10834680 memory=6944656592455097440 CPUtime=0.49 cores=0,2,4,6
/proc/2822/task/2886/stat : 2886 (java) S 2819 2822 1113 0 -1 1077944384 1650 13393 0 0 42 0 4 3 20 0 15 0 473413916 11094712320 47891 33554432000 4194304 4196468 140735660428352 140234120415600 140234698041986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2887] ppid=2819 vsize=10834680 memory=2324508702694522976 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2887/stat : 2887 (java) S 2819 2822 1113 0 -1 1077944384 3 13393 0 0 0 0 4 3 20 0 15 0 473413916 11094712320 47891 33554432000 4194304 4196468 140735660428352 140232963910112 140234698041045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2888] ppid=2819 vsize=10834680 memory=4137287014106042739 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2888/stat : 2888 (java) S 2819 2822 1113 0 -1 1077944384 1 13393 0 0 0 0 4 3 20 0 15 0 473413917 11094712320 47891 33554432000 4194304 4196468 140735660428352 140234119363504 140234698041986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
Current children cumulated CPU time: 2.89 s
Current children cumulated vsize: 10834680 KiB
################
# More data... #
################
/proc/2822/task/2875/stat : 2875 (java) R 2819 2822 1113 0 -1 4202560 57291 13393 0 0 224337 35 4 3 20 0 15 0 473413911 11111522304 155594 33554432000 4194304 4196468 140735660428352 140234669866224 140234271966528 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2876] ppid=2819 vsize=10851096 memory=622376 CPUtime=7.67 cores=0,2,4,6
/proc/2822/task/2876/stat : 2876 (java) S 2819 2822 1113 0 -1 1077944384 9127 13393 0 0 721 39 4 3 20 0 15 0 473413911 11111522304 155594 33554432000 4194304 4196468 140735660428352 140234702272912 140234698041045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2877] ppid=2819 vsize=10851096 memory=0 CPUtime=7.69 cores=0,2,4,6
/proc/2822/task/2877/stat : 2877 (java) S 2819 2822 1113 0 -1 1077944384 6938 13393 0 0 721 41 4 3 20 0 15 0 473413911 11111522304 155594 33554432000 4194304 4196468 140735660428352 140234590546192 140234698041045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2878] ppid=2819 vsize=10851096 memory=622376 CPUtime=7.64 cores=0,2,4,6
/proc/2822/task/2878/stat : 2878 (java) S 2819 2822 1113 0 -1 1077944384 9391 13393 0 0 717 40 4 3 20 0 15 0 473413911 11111522304 155594 33554432000 4194304 4196468 140735660428352 140234589493904 140234698041045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2879] ppid=2819 vsize=10851096 memory=622376 CPUtime=7.68 cores=0,2,4,6
/proc/2822/task/2879/stat : 2879 (java) S 2819 2822 1113 0 -1 1077944384 8558 13393 0 0 721 40 4 3 20 0 15 0 473413911 11111522304 155594 33554432000 4194304 4196468 140735660428352 140234588441104 140234698041045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2880] ppid=2819 vsize=10851096 memory=622376 CPUtime=7.17 cores=0,2,4,6
/proc/2822/task/2880/stat : 2880 (java) R 2819 2822 1113 0 -1 1077944384 11347 13393 0 0 672 38 4 3 20 0 15 0 473413913 11111522304 155594 33554432000 4194304 4196468 140735660428352 140234157132400 140234698041986 0 0 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2881] ppid=2819 vsize=10851096 memory=622376 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2881/stat : 2881 (java) S 2819 2822 1113 0 -1 1077944384 43 13393 0 0 0 0 4 3 20 0 15 0 473413913 11111522304 155594 33554432000 4194304 4196468 140735660428352 140234156078432 140234698041045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2882] ppid=2819 vsize=10851096 memory=14048 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2882/stat : 2882 (java) S 2819 2822 1113 0 -1 1077944384 8 13393 0 0 0 0 4 3 20 0 15 0 473413913 11111522304 155594 33554432000 4194304 4196468 140735660428352 140234037651072 140234698041045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2883] ppid=2819 vsize=10851096 memory=622376 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2883/stat : 2883 (java) S 2819 2822 1113 0 -1 1077944384 2 13393 0 0 0 0 4 3 20 0 15 0 473413916 11111522304 155594 33554432000 4194304 4196468 140735660428352 140233433672272 140234698049435 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2884] ppid=2819 vsize=10851096 memory=622376 CPUtime=5.99 cores=0,2,4,6
/proc/2822/task/2884/stat : 2884 (java) S 2819 2822 1113 0 -1 1077944384 31368 13393 0 0 585 7 4 3 20 0 15 0 473413916 11111522304 155594 33554432000 4194304 4196468 140735660428352 140234122520688 140234698041986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2885] ppid=2819 vsize=10851096 memory=622376 CPUtime=6.32 cores=0,2,4,6
/proc/2822/task/2885/stat : 2885 (java) S 2819 2822 1113 0 -1 1077944384 32084 13393 0 0 619 6 4 3 20 0 15 0 473413916 11111522304 155594 33554432000 4194304 4196468 140735660428352 140234121467888 140234698041986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 79 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2886] ppid=2819 vsize=10851096 memory=279828663920832 CPUtime=5.35 cores=0,2,4,6
/proc/2822/task/2886/stat : 2886 (java) S 2819 2822 1113 0 -1 1077944384 31837 13393 0 0 521 7 4 3 20 0 15 0 473413916 11111522304 155594 33554432000 4194304 4196468 140735660428352 140234120415600 140234698041986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2887] ppid=2819 vsize=10851096 memory=54912 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2887/stat : 2887 (java) S 2819 2822 1113 0 -1 1077944384 3 13393 0 0 0 0 4 3 20 0 15 0 473413916 11111522304 155594 33554432000 4194304 4196468 140735660428352 140232963910112 140234698041045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2888] ppid=2819 vsize=10851096 memory=988 CPUtime=1.36 cores=0,2,4,6
/proc/2822/task/2888/stat : 2888 (java) S 2819 2822 1113 0 -1 1077944384 913 13393 0 0 62 67 4 3 20 0 15 0 473413917 11111522304 155594 33554432000 4194304 4196468 140735660428352 140234119363504 140234698041986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
Current children cumulated CPU time: 2300.13 s
Current children cumulated vsize: 10851096 KiB
Current children cumulated memory: 622376 KiB
[startup+2322.3 s]
/proc/loadavg: 1.31 1.39 1.36 3/227 3228
/proc/meminfo: memFree=1636888/32770624 swapFree=66986236/67108860
[pid=2822] ppid=2819 vsize=10851096 memory=624424 CPUtime=2361.06 cores=0,2,4,6
/proc/2822/stat : 2822 (java) S 2819 2822 1113 0 -1 1077944320 202115 13393 0 0 235818 281 4 3 20 0 15 0 473413902 11111522304 156106 33554432000 4194304 4196468 140735660428352 140735660410896 140234698030839 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
/proc/2822/statm: 2712774 156106 3628 1 0 2674829 0
[pid=2822/tid=2875] ppid=2819 vsize=10851096 memory=622376 CPUtime=2303.08 cores=0,2,4,6
/proc/2822/task/2875/stat : 2875 (java) R 2819 2822 1113 0 -1 4202560 57905 13393 0 0 230266 35 4 3 20 0 15 0 473413911 11111522304 156106 33554432000 4194304 4196468 140735660428352 140234669860512 140234680552062 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2876] ppid=2819 vsize=10851096 memory=622376 CPUtime=7.99 cores=0,2,4,6
/proc/2822/task/2876/stat : 2876 (java) S 2819 2822 1113 0 -1 1077944384 9200 13393 0 0 752 40 4 3 20 0 15 0 473413911 11111522304 156106 33554432000 4194304 4196468 140735660428352 140234702272912 140234698041045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2877] ppid=2819 vsize=10851096 memory=624424 CPUtime=8.01 cores=0,2,4,6
/proc/2822/task/2877/stat : 2877 (java) S 2819 2822 1113 0 -1 1077944384 6948 13393 0 0 752 42 4 3 20 0 15 0 473413911 11111522304 156106 33554432000 4194304 4196468 140735660428352 140234590546192 140234698041045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2878] ppid=2819 vsize=10851096 memory=624424 CPUtime=7.97 cores=0,2,4,6
/proc/2822/task/2878/stat : 2878 (java) S 2819 2822 1113 0 -1 1077944384 9620 13393 0 0 749 41 4 3 20 0 15 0 473413911 11111522304 156106 33554432000 4194304 4196468 140735660428352 140234589493904 140234698041045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2879] ppid=2819 vsize=10851096 memory=624424 CPUtime=8 cores=0,2,4,6
/proc/2822/task/2879/stat : 2879 (java) S 2819 2822 1113 0 -1 1077944384 8577 13393 0 0 752 41 4 3 20 0 15 0 473413911 11111522304 156106 33554432000 4194304 4196468 140735660428352 140234588441104 140234698041045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2880] ppid=2819 vsize=10851096 memory=624424 CPUtime=7.48 cores=0,2,4,6
/proc/2822/task/2880/stat : 2880 (java) S 2819 2822 1113 0 -1 1077944384 11384 13393 0 0 702 39 4 3 20 0 15 0 473413913 11111522304 156106 33554432000 4194304 4196468 140735660428352 140234157132400 140234698041986 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2881] ppid=2819 vsize=10851096 memory=624424 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2881/stat : 2881 (java) S 2819 2822 1113 0 -1 1077944384 43 13393 0 0 0 0 4 3 20 0 15 0 473413913 11111522304 156106 33554432000 4194304 4196468 140735660428352 140234156078432 140234698041045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2882] ppid=2819 vsize=10851096 memory=624424 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2882/stat : 2882 (java) S 2819 2822 1113 0 -1 1077944384 8 13393 0 0 0 0 4 3 20 0 15 0 473413913 11111522304 156106 33554432000 4194304 4196468 140735660428352 140234037651072 140234698041045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2883] ppid=2819 vsize=10851096 memory=2004 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2883/stat : 2883 (java) S 2819 2822 1113 0 -1 1077944384 2 13393 0 0 0 0 4 3 20 0 15 0 473413916 11111522304 156106 33554432000 4194304 4196468 140735660428352 140233433672272 140234698049435 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2884] ppid=2819 vsize=10851096 memory=624424 CPUtime=5.99 cores=0,2,4,6
/proc/2822/task/2884/stat : 2884 (java) S 2819 2822 1113 0 -1 1077944384 31370 13393 0 0 585 7 4 3 20 0 15 0 473413916 11111522304 156106 33554432000 4194304 4196468 140735660428352 140234122520688 140234698041986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2885] ppid=2819 vsize=10851096 memory=624424 CPUtime=6.32 cores=0,2,4,6
/proc/2822/task/2885/stat : 2885 (java) S 2819 2822 1113 0 -1 1077944384 32086 13393 0 0 619 6 4 3 20 0 15 0 473413916 11111522304 156106 33554432000 4194304 4196468 140735660428352 140234121467888 140234698041986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 79 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2886] ppid=2819 vsize=10851096 memory=624424 CPUtime=5.35 cores=0,2,4,6
/proc/2822/task/2886/stat : 2886 (java) S 2819 2822 1113 0 -1 1077944384 31839 13393 0 0 521 7 4 3 20 0 15 0 473413916 11111522304 156106 33554432000 4194304 4196468 140735660428352 140234120415600 140234698041986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2887] ppid=2819 vsize=10851096 memory=624424 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2887/stat : 2887 (java) S 2819 2822 1113 0 -1 1077944384 3 13393 0 0 0 0 4 3 20 0 15 0 473413916 11111522304 156106 33554432000 4194304 4196468 140735660428352 140232963910112 140234698041045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2888] ppid=2819 vsize=10851096 memory=2480 CPUtime=1.39 cores=0,2,4,6
/proc/2822/task/2888/stat : 2888 (java) S 2819 2822 1113 0 -1 1077944384 919 13393 0 0 63 69 4 3 20 0 15 0 473413917 11111522304 156106 33554432000 4194304 4196468 140735660428352 140234119363504 140234698041986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
Current children cumulated CPU time: 2361.06 s
Current children cumulated vsize: 10851096 KiB
Current children cumulated memory: 624424 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2360.7 s]
/proc/loadavg: 1.25 1.35 1.35 3/226 3233
/proc/meminfo: memFree=1637164/32770624 swapFree=66986236/67108860
[pid=2822] ppid=2819 vsize=10851096 memory=624424 CPUtime=2400.05 cores=0,2,4,6
/proc/2822/stat : 2822 (java) S 2819 2822 1113 0 -1 1077944320 202862 13393 0 0 239711 287 4 3 20 0 15 0 473413902 11111522304 156106 33554432000 4194304 4196468 140735660428352 140735660410896 140234698030839 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
/proc/2822/statm: 2712774 156106 3628 1 0 2674829 0
[pid=2822/tid=2875] ppid=2819 vsize=10851096 memory=624424 CPUtime=2341.03 cores=0,2,4,6
/proc/2822/task/2875/stat : 2875 (java) R 2819 2822 1113 0 -1 4202560 58297 13393 0 0 234060 36 4 3 20 0 15 0 473413911 11111522304 156106 33554432000 4194304 4196468 140735660428352 140234669866752 140234274208052 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2876] ppid=2819 vsize=10851096 memory=624424 CPUtime=8.2 cores=0,2,4,6
/proc/2822/task/2876/stat : 2876 (java) S 2819 2822 1113 0 -1 1077944384 9245 13393 0 0 772 41 4 3 20 0 15 0 473413911 11111522304 156106 33554432000 4194304 4196468 140735660428352 140234702272912 140234698041045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2877] ppid=2819 vsize=10851096 memory=624424 CPUtime=8.21 cores=0,2,4,6
/proc/2822/task/2877/stat : 2877 (java) S 2819 2822 1113 0 -1 1077944384 7022 13393 0 0 771 43 4 3 20 0 15 0 473413911 11111522304 156106 33554432000 4194304 4196468 140735660428352 140234590546192 140234698041045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2878] ppid=2819 vsize=10851096 memory=624424 CPUtime=8.18 cores=0,2,4,6
/proc/2822/task/2878/stat : 2878 (java) S 2819 2822 1113 0 -1 1077944384 9650 13393 0 0 769 42 4 3 20 0 15 0 473413911 11111522304 156106 33554432000 4194304 4196468 140735660428352 140234589493904 140234698041045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2879] ppid=2819 vsize=10851096 memory=0 CPUtime=8.21 cores=0,2,4,6
/proc/2822/task/2879/stat : 2879 (java) S 2819 2822 1113 0 -1 1077944384 8582 13393 0 0 772 42 4 3 20 0 15 0 473413911 11111522304 156106 33554432000 4194304 4196468 140735660428352 140234588441104 140234698041045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2880] ppid=2819 vsize=10851096 memory=624424 CPUtime=7.67 cores=0,2,4,6
/proc/2822/task/2880/stat : 2880 (java) S 2819 2822 1113 0 -1 1077944384 11572 13393 0 0 720 40 4 3 20 0 15 0 473413913 11111522304 156106 33554432000 4194304 4196468 140735660428352 140234157132400 140234698041986 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2881] ppid=2819 vsize=10851096 memory=624424 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2881/stat : 2881 (java) S 2819 2822 1113 0 -1 1077944384 43 13393 0 0 0 0 4 3 20 0 15 0 473413913 11111522304 156106 33554432000 4194304 4196468 140735660428352 140234156078432 140234698041045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2882] ppid=2819 vsize=10851096 memory=624424 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2882/stat : 2882 (java) S 2819 2822 1113 0 -1 1077944384 8 13393 0 0 0 0 4 3 20 0 15 0 473413913 11111522304 156106 33554432000 4194304 4196468 140735660428352 140234037651072 140234698041045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2883] ppid=2819 vsize=10851096 memory=624424 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2883/stat : 2883 (java) S 2819 2822 1113 0 -1 1077944384 2 13393 0 0 0 0 4 3 20 0 15 0 473413916 11111522304 156106 33554432000 4194304 4196468 140735660428352 140233433672272 140234698049435 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2884] ppid=2819 vsize=10851096 memory=624424 CPUtime=5.99 cores=0,2,4,6
/proc/2822/task/2884/stat : 2884 (java) S 2819 2822 1113 0 -1 1077944384 31370 13393 0 0 585 7 4 3 20 0 15 0 473413916 11111522304 156106 33554432000 4194304 4196468 140735660428352 140234122520688 140234698041986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2885] ppid=2819 vsize=10851096 memory=624424 CPUtime=6.32 cores=0,2,4,6
/proc/2822/task/2885/stat : 2885 (java) S 2819 2822 1113 0 -1 1077944384 32086 13393 0 0 619 6 4 3 20 0 15 0 473413916 11111522304 156106 33554432000 4194304 4196468 140735660428352 140234121467888 140234698041986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 79 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2886] ppid=2819 vsize=10851096 memory=0 CPUtime=5.35 cores=0,2,4,6
/proc/2822/task/2886/stat : 2886 (java) S 2819 2822 1113 0 -1 1077944384 31839 13393 0 0 521 7 4 3 20 0 15 0 473413916 11111522304 156106 33554432000 4194304 4196468 140735660428352 140234120415600 140234698041986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2887] ppid=2819 vsize=10851096 memory=2257 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2887/stat : 2887 (java) S 2819 2822 1113 0 -1 1077944384 3 13393 0 0 0 0 4 3 20 0 15 0 473413916 11111522304 156106 33554432000 4194304 4196468 140735660428352 140232963910112 140234698041045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2888] ppid=2819 vsize=10851096 memory=624424 CPUtime=1.41 cores=0,2,4,6
/proc/2822/task/2888/stat : 2888 (java) S 2819 2822 1113 0 -1 1077944384 932 13393 0 0 64 70 4 3 20 0 15 0 473413917 11111522304 156106 33554432000 4194304 4196468 140735660428352 140234119363504 140234698041986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
Current children cumulated CPU time: 2400.05 s
Current children cumulated vsize: 10851096 KiB
Current children cumulated memory: 624424 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2360.73 s]
# the end of solver process 2822 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2397.18 s, system=2.92437 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2360.7 s]
/proc/loadavg: 1.25 1.35 1.35 3/226 3233
/proc/meminfo: memFree=1637164/32770624 swapFree=66986236/67108860
[pid=2822] ppid=2819 vsize=10851096 memory=624424 CPUtime=2400.05 cores=0,2,4,6
/proc/2822/stat : 2822 (java) S 2819 2822 1113 0 -1 1077944320 202862 13393 0 0 239711 287 4 3 20 0 15 0 473413902 11111522304 156106 33554432000 4194304 4196468 140735660428352 140735660410896 140234698030839 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
/proc/2822/statm: 2712774 156106 3628 1 0 2674829 0
[pid=2822/tid=2875] ppid=2819 vsize=10851096 memory=624424 CPUtime=2341.03 cores=0,2,4,6
/proc/2822/task/2875/stat : 2875 (java) R 2819 2822 1113 0 -1 4202560 58297 13393 0 0 234060 36 4 3 20 0 15 0 473413911 11111522304 156106 33554432000 4194304 4196468 140735660428352 140234669866752 140234274208052 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2876] ppid=2819 vsize=10851096 memory=624424 CPUtime=8.2 cores=0,2,4,6
/proc/2822/task/2876/stat : 2876 (java) S 2819 2822 1113 0 -1 1077944384 9245 13393 0 0 772 41 4 3 20 0 15 0 473413911 11111522304 156106 33554432000 4194304 4196468 140735660428352 140234702272912 140234698041045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2877] ppid=2819 vsize=10851096 memory=624424 CPUtime=8.21 cores=0,2,4,6
/proc/2822/task/2877/stat : 2877 (java) S 2819 2822 1113 0 -1 1077944384 7022 13393 0 0 771 43 4 3 20 0 15 0 473413911 11111522304 156106 33554432000 4194304 4196468 140735660428352 140234590546192 140234698041045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2878] ppid=2819 vsize=10851096 memory=624424 CPUtime=8.18 cores=0,2,4,6
/proc/2822/task/2878/stat : 2878 (java) S 2819 2822 1113 0 -1 1077944384 9650 13393 0 0 769 42 4 3 20 0 15 0 473413911 11111522304 156106 33554432000 4194304 4196468 140735660428352 140234589493904 140234698041045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2879] ppid=2819 vsize=10851096 memory=0 CPUtime=8.21 cores=0,2,4,6
/proc/2822/task/2879/stat : 2879 (java) S 2819 2822 1113 0 -1 1077944384 8582 13393 0 0 772 42 4 3 20 0 15 0 473413911 11111522304 156106 33554432000 4194304 4196468 140735660428352 140234588441104 140234698041045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2880] ppid=2819 vsize=10851096 memory=624424 CPUtime=7.67 cores=0,2,4,6
/proc/2822/task/2880/stat : 2880 (java) S 2819 2822 1113 0 -1 1077944384 11572 13393 0 0 720 40 4 3 20 0 15 0 473413913 11111522304 156106 33554432000 4194304 4196468 140735660428352 140234157132400 140234698041986 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2881] ppid=2819 vsize=10851096 memory=624424 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2881/stat : 2881 (java) S 2819 2822 1113 0 -1 1077944384 43 13393 0 0 0 0 4 3 20 0 15 0 473413913 11111522304 156106 33554432000 4194304 4196468 140735660428352 140234156078432 140234698041045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2882] ppid=2819 vsize=10851096 memory=624424 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2882/stat : 2882 (java) S 2819 2822 1113 0 -1 1077944384 8 13393 0 0 0 0 4 3 20 0 15 0 473413913 11111522304 156106 33554432000 4194304 4196468 140735660428352 140234037651072 140234698041045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2883] ppid=2819 vsize=10851096 memory=624424 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2883/stat : 2883 (java) S 2819 2822 1113 0 -1 1077944384 2 13393 0 0 0 0 4 3 20 0 15 0 473413916 11111522304 156106 33554432000 4194304 4196468 140735660428352 140233433672272 140234698049435 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2884] ppid=2819 vsize=10851096 memory=624424 CPUtime=5.99 cores=0,2,4,6
/proc/2822/task/2884/stat : 2884 (java) S 2819 2822 1113 0 -1 1077944384 31370 13393 0 0 585 7 4 3 20 0 15 0 473413916 11111522304 156106 33554432000 4194304 4196468 140735660428352 140234122520688 140234698041986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2885] ppid=2819 vsize=10851096 memory=624424 CPUtime=6.32 cores=0,2,4,6
/proc/2822/task/2885/stat : 2885 (java) S 2819 2822 1113 0 -1 1077944384 32086 13393 0 0 619 6 4 3 20 0 15 0 473413916 11111522304 156106 33554432000 4194304 4196468 140735660428352 140234121467888 140234698041986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 79 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2886] ppid=2819 vsize=10851096 memory=0 CPUtime=5.35 cores=0,2,4,6
/proc/2822/task/2886/stat : 2886 (java) S 2819 2822 1113 0 -1 1077944384 31839 13393 0 0 521 7 4 3 20 0 15 0 473413916 11111522304 156106 33554432000 4194304 4196468 140735660428352 140234120415600 140234698041986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2887] ppid=2819 vsize=10851096 memory=2257 CPUtime=0.07 cores=0,2,4,6
/proc/2822/task/2887/stat : 2887 (java) S 2819 2822 1113 0 -1 1077944384 3 13393 0 0 0 0 4 3 20 0 15 0 473413916 11111522304 156106 33554432000 4194304 4196468 140735660428352 140232963910112 140234698041045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
[pid=2822/tid=2888] ppid=2819 vsize=10851096 memory=624424 CPUtime=1.41 cores=0,2,4,6
/proc/2822/task/2888/stat : 2888 (java) S 2819 2822 1113 0 -1 1077944384 932 13393 0 0 64 70 4 3 20 0 15 0 473413917 11111522304 156106 33554432000 4194304 4196468 140735660428352 140234119363504 140234698041986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26906624 140735660432112 140735660434629 140735660434629 140735660437455 0
Current children cumulated CPU time: 2400.05 s
Current children cumulated vsize: 10851096 KiB
Current children cumulated memory: 624424 KiB
Child status: 143
Real time (s): 2360.73
CPU time (s): 2400.1
CPU user time (s): 2397.18
CPU system time (s): 2.92437
CPU usage (%): 101.668
Max. virtual memory (cumulated for all children) (KiB): 10852036
Max. memory (cumulated for all children) (KiB): 879584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.18
system time used= 2.92437
maximum resident set size= 881632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 217036
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3304
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 216526
involuntary context switches= 7543
# summary of solver processes directly reported to runsolver:
# pid: 2822
# total CPU time (s): 2400.1
# total CPU user time (s): 2397.18
# total CPU system time (s): 2.92437
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.0914 second user time and 21.3952 second system time
The end