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 (8573 MiB free)
memory of node 1: 16384 MiB (12287 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293743-1532325240/watcher-4293743-1532325240 -o /tmp/evaluation-result-4293743-1532325240/solver-4293743-1532325240 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1532294157-6740 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=1594885996 -superng HOME/instance-4293743-1532325240.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=12208, runsolver pid=12205
[startup+0.100112 s]*
/proc/loadavg: 0.84 0.97 1.04 2/186 12265
/proc/meminfo: memFree=21355924/32770624 swapFree=67108860/67108860
[pid=12208] ppid=12205 vsize=9972712 memory=18596 CPUtime=0.08 cores=1,3,5,7
/proc/12208/stat : 12208 (java) S 12205 12208 6708 0 -1 1077944320 4304 13179 0 0 1 0 5 2 20 0 6 0 50087152 10212057088 4649 33554432000 4194304 4196468 140725875644144 140725875626688 139814352211703 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
/proc/12208/statm: 2493178 4649 1932 1 0 2481616 0
[pid=12208/tid=12261] ppid=12205 vsize=9972712 memory=-8035107114841901037 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12261/stat : 12261 (java) R 12205 12208 6708 0 -1 4202560 2114 13179 0 0 0 0 5 2 20 0 6 0 50087161 10212057088 4649 33554432000 4194304 4196468 140725875644144 139814324048464 139814352235293 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12262] ppid=12205 vsize=9972712 memory=-5738297875903123798 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12262/stat : 12262 (java) S 12205 12208 6708 0 -1 1077944384 1 13179 0 0 0 0 5 2 20 0 6 0 50087162 10212057088 4649 33554432000 4194304 4196468 140725875644144 139814356454544 139814352221909 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12263] ppid=12205 vsize=9972712 memory=140653847594624 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12263/stat : 12263 (java) S 12205 12208 6708 0 -1 1077944384 1 13179 0 0 0 0 5 2 20 0 6 0 50087162 10212057088 4649 33554432000 4194304 4196468 140725875644144 139814275206160 139814352221909 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12264] ppid=12205 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12264/stat : 12264 (java) S 12205 12208 6708 0 -1 1077944384 1 13179 0 0 0 0 5 2 20 0 6 0 50087162 10212057088 4649 33554432000 4194304 4196468 140725875644144 139814274153360 139814352221909 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12265] ppid=12205 vsize=9972712 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12265/stat : 12265 (java) S 12205 12208 6708 0 -1 1077944384 2 13179 0 0 0 0 5 2 20 0 6 0 50087162 10212057088 4649 33554432000 4194304 4196468 140725875644144 139814273100560 139814352221909 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18596 KiB
[startup+0.209713 s]*
/proc/loadavg: 0.84 0.97 1.04 3/195 12274
/proc/meminfo: memFree=21332044/32770624 swapFree=67108860/67108860
[pid=12208] ppid=12205 vsize=10818856 memory=41628 CPUtime=0.26 cores=1,3,5,7
/proc/12208/stat : 12208 (java) S 12205 12208 6708 0 -1 1077944320 8349 13179 0 0 17 2 5 2 20 0 15 0 50087152 11078508544 10407 33554432000 4194304 4196468 140725875644144 140725875626688 139814352211703 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
/proc/12208/statm: 2704714 10407 2920 1 0 2667149 0
[pid=12208/tid=12261] ppid=12205 vsize=10818856 memory=4134930498285298233 CPUtime=0.18 cores=1,3,5,7
/proc/12208/task/12261/stat : 12261 (java) R 12205 12208 6708 0 -1 4202560 5113 13179 0 0 10 1 5 2 20 0 15 0 50087161 11078508544 10538 33554432000 4194304 4196468 140725875644144 139814324009360 139814332487410 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12262] ppid=12205 vsize=10818856 memory=4126316290023845779 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12262/stat : 12262 (java) S 12205 12208 6708 0 -1 1077944384 1 13179 0 0 0 0 5 2 20 0 15 0 50087162 11078508544 10538 33554432000 4194304 4196468 140725875644144 139814356454544 139814352221909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12263] ppid=12205 vsize=10818856 memory=140653847594624 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12263/stat : 12263 (java) S 12205 12208 6708 0 -1 1077944384 1 13179 0 0 0 0 5 2 20 0 15 0 50087162 11078508544 10538 33554432000 4194304 4196468 140725875644144 139814275206160 139814352221909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12264] ppid=12205 vsize=10818856 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12264/stat : 12264 (java) S 12205 12208 6708 0 -1 1077944384 1 13179 0 0 0 0 5 2 20 0 15 0 50087162 11078508544 10538 33554432000 4194304 4196468 140725875644144 139814274153360 139814352221909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12265] ppid=12205 vsize=10818856 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12265/stat : 12265 (java) S 12205 12208 6708 0 -1 1077944384 2 13179 0 0 0 0 5 2 20 0 15 0 50087162 11078508544 10538 33554432000 4194304 4196468 140725875644144 139814273100560 139814352221909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12266] ppid=12205 vsize=10818856 memory=140653847594624 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12266/stat : 12266 (java) S 12205 12208 6708 0 -1 1077944384 2 13179 0 0 0 0 5 2 20 0 15 0 50087164 11078508544 10538 33554432000 4194304 4196468 140725875644144 139813878888816 139814352222850 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12267] ppid=12205 vsize=10818856 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12267/stat : 12267 (java) S 12205 12208 6708 0 -1 1077944384 13 13179 0 0 0 0 5 2 20 0 15 0 50087164 11078508544 10538 33554432000 4194304 4196468 140725875644144 139813332182048 139814352221909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12268] ppid=12205 vsize=10818856 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12268/stat : 12268 (java) S 12205 12208 6708 0 -1 1077944384 1 13179 0 0 0 0 5 2 20 0 15 0 50087164 11078508544 10538 33554432000 4194304 4196468 140725875644144 139813130855280 139814352221909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12269] ppid=12205 vsize=10818856 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12269/stat : 12269 (java) S 12205 12208 6708 0 -1 1077944384 3 13179 0 0 0 0 5 2 20 0 15 0 50087167 11078508544 10538 33554432000 4194304 4196468 140725875644144 139812890564432 139814352230299 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12270] ppid=12205 vsize=10818856 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12208/task/12270/stat : 12270 (java) S 12205 12208 6708 0 -1 1077944384 517 13179 0 0 1 0 5 2 20 0 15 0 50087167 11078508544 10538 33554432000 4194304 4196468 140725875644144 139813877836656 139814352222850 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12271] ppid=12205 vsize=10818856 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12271/stat : 12271 (java) S 12205 12208 6708 0 -1 1077944384 54 13179 0 0 0 0 5 2 20 0 15 0 50087167 11078508544 10604 33554432000 4194304 4196468 140725875644144 139813876783856 139814352222850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12272] ppid=12205 vsize=10818856 memory=140653847594624 CPUtime=0.1 cores=1,3,5,7
/proc/12208/task/12272/stat : 12272 (java) S 12205 12208 6708 0 -1 1077944384 580 13179 0 0 3 0 5 2 20 0 15 0 50087167 11078508544 10604 33554432000 4194304 4196468 140725875644144 139813875731056 139814352222850 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12273] ppid=12205 vsize=10818856 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12273/stat : 12273 (java) S 12205 12208 6708 0 -1 1077944384 3 13179 0 0 0 0 5 2 20 0 15 0 50087167 11078508544 10604 33554432000 4194304 4196468 140725875644144 139812857006816 139814352221909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12274] ppid=12205 vsize=10818856 memory=140653847594624 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12274/stat : 12274 (java) S 12205 12208 6708 0 -1 1077944384 1 13179 0 0 0 0 5 2 20 0 15 0 50087167 11078508544 10604 33554432000 4194304 4196468 140725875644144 139813874678448 139814352222850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818856 KiB
Current children cumulated memory: 41628 KiB
[startup+0.310026 s]*
/proc/loadavg: 0.84 0.97 1.04 2/195 12274
/proc/meminfo: memFree=21321624/32770624 swapFree=67108860/67108860
[pid=12208] ppid=12205 vsize=10819352 memory=53220 CPUtime=0.38 cores=1,3,5,7
/proc/12208/stat : 12208 (java) S 12205 12208 6708 0 -1 1077944320 10401 13179 0 0 29 2 5 2 20 0 15 0 50087152 11079016448 13305 33554432000 4194304 4196468 140725875644144 140725875626688 139814352211703 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
/proc/12208/statm: 2704838 13305 3067 1 0 2667149 0
[pid=12208/tid=12261] ppid=12205 vsize=10819352 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/12208/task/12261/stat : 12261 (java) R 12205 12208 6708 0 -1 4202560 7012 13179 0 0 19 2 5 2 20 0 15 0 50087161 11079016448 13305 33554432000 4194304 4196468 140725875644144 139814324023712 139814333775232 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12262] ppid=12205 vsize=10819352 memory=1398720917958146503 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12262/stat : 12262 (java) S 12205 12208 6708 0 -1 1077944384 1 13179 0 0 0 0 5 2 20 0 15 0 50087162 11079016448 13305 33554432000 4194304 4196468 140725875644144 139814356454544 139814352221909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12263] ppid=12205 vsize=10819352 memory=140653847601617 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12263/stat : 12263 (java) S 12205 12208 6708 0 -1 1077944384 1 13179 0 0 0 0 5 2 20 0 15 0 50087162 11079016448 13305 33554432000 4194304 4196468 140725875644144 139814275206160 139814352221909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12264] ppid=12205 vsize=10819352 memory=4126316290023845779 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12264/stat : 12264 (java) S 12205 12208 6708 0 -1 1077944384 1 13179 0 0 0 0 5 2 20 0 15 0 50087162 11079016448 13305 33554432000 4194304 4196468 140725875644144 139814274153360 139814352221909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12265] ppid=12205 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12265/stat : 12265 (java) S 12205 12208 6708 0 -1 1077944384 2 13179 0 0 0 0 5 2 20 0 15 0 50087162 11079016448 13305 33554432000 4194304 4196468 140725875644144 139814273100560 139814352221909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12266] ppid=12205 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12266/stat : 12266 (java) S 12205 12208 6708 0 -1 1077944384 2 13179 0 0 0 0 5 2 20 0 15 0 50087164 11079016448 13305 33554432000 4194304 4196468 140725875644144 139813878888816 139814352222850 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12267] ppid=12205 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12267/stat : 12267 (java) S 12205 12208 6708 0 -1 1077944384 13 13179 0 0 0 0 5 2 20 0 15 0 50087164 11079016448 13305 33554432000 4194304 4196468 140725875644144 139813332182048 139814352221909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12268] ppid=12205 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12268/stat : 12268 (java) S 12205 12208 6708 0 -1 1077944384 1 13179 0 0 0 0 5 2 20 0 15 0 50087164 11079016448 13305 33554432000 4194304 4196468 140725875644144 139813130855280 139814352221909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12269] ppid=12205 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12269/stat : 12269 (java) S 12205 12208 6708 0 -1 1077944384 3 13179 0 0 0 0 5 2 20 0 15 0 50087167 11079016448 13305 33554432000 4194304 4196468 140725875644144 139812890564432 139814352230299 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12270] ppid=12205 vsize=10819352 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/12208/task/12270/stat : 12270 (java) S 12205 12208 6708 0 -1 1077944384 517 13179 0 0 2 0 5 2 20 0 15 0 50087167 11079016448 13305 33554432000 4194304 4196468 140725875644144 139813877836656 139814352222850 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12271] ppid=12205 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12208/task/12271/stat : 12271 (java) S 12205 12208 6708 0 -1 1077944384 55 13179 0 0 1 0 5 2 20 0 15 0 50087167 11079016448 13305 33554432000 4194304 4196468 140725875644144 139813876783856 139814352222850 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12272] ppid=12205 vsize=10819352 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/12208/task/12272/stat : 12272 (java) R 12205 12208 6708 0 -1 4202560 598 13179 0 0 5 0 5 2 20 0 15 0 50087167 11079016448 13305 33554432000 4194304 4196468 140725875644144 139813875731056 139814344448830 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12273] ppid=12205 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12273/stat : 12273 (java) S 12205 12208 6708 0 -1 1077944384 3 13179 0 0 0 0 5 2 20 0 15 0 50087167 11079016448 13305 33554432000 4194304 4196468 140725875644144 139812857006816 139814352221909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12274] ppid=12205 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12274/stat : 12274 (java) S 12205 12208 6708 0 -1 1077944384 1 13179 0 0 0 0 5 2 20 0 15 0 50087167 11079016448 13305 33554432000 4194304 4196468 140725875644144 139813874678448 139814352222850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 53220 KiB
[startup+0.700813 s]
/proc/loadavg: 0.84 0.97 1.04 2/195 12274
/proc/meminfo: memFree=21311576/32770624 swapFree=67108860/67108860
[pid=12208] ppid=12205 vsize=10819352 memory=86572 CPUtime=0.97 cores=1,3,5,7
/proc/12208/stat : 12208 (java) S 12205 12208 6708 0 -1 1077944320 16813 13179 0 0 86 4 5 2 20 0 15 0 50087152 11079016448 21643 33554432000 4194304 4196468 140725875644144 140725875626688 139814352211703 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
/proc/12208/statm: 2704838 21643 3235 1 0 2667149 0
[pid=12208/tid=12261] ppid=12205 vsize=10819352 memory=0 CPUtime=0.65 cores=1,3,5,7
/proc/12208/task/12261/stat : 12261 (java) R 12205 12208 6708 0 -1 4202560 12477 13179 0 0 55 3 5 2 20 0 15 0 50087161 11079016448 21643 33554432000 4194304 4196468 140725875644144 139814324032528 139814333775263 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12262] ppid=12205 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12262/stat : 12262 (java) S 12205 12208 6708 0 -1 1077944384 1 13179 0 0 0 0 5 2 20 0 15 0 50087162 11079016448 21643 33554432000 4194304 4196468 140725875644144 139814356454544 139814352221909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12263] ppid=12205 vsize=10819352 memory=4140 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12263/stat : 12263 (java) S 12205 12208 6708 0 -1 1077944384 1 13179 0 0 0 0 5 2 20 0 15 0 50087162 11079016448 21643 33554432000 4194304 4196468 140725875644144 139814275206160 139814352221909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12264] ppid=12205 vsize=10819352 memory=2241 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12264/stat : 12264 (java) S 12205 12208 6708 0 -1 1077944384 1 13179 0 0 0 0 5 2 20 0 15 0 50087162 11079016448 21643 33554432000 4194304 4196468 140725875644144 139814274153360 139814352221909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12265] ppid=12205 vsize=10819352 memory=2244 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12265/stat : 12265 (java) S 12205 12208 6708 0 -1 1077944384 2 13179 0 0 0 0 5 2 20 0 15 0 50087162 11079016448 21643 33554432000 4194304 4196468 140725875644144 139814273100560 139814352221909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12266] ppid=12205 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12266/stat : 12266 (java) S 12205 12208 6708 0 -1 1077944384 5 13179 0 0 0 0 5 2 20 0 15 0 50087164 11079016448 21643 33554432000 4194304 4196468 140725875644144 139813878888816 139814352222850 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12267] ppid=12205 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12267/stat : 12267 (java) S 12205 12208 6708 0 -1 1077944384 13 13179 0 0 0 0 5 2 20 0 15 0 50087164 11079016448 21643 33554432000 4194304 4196468 140725875644144 139813332182048 139814352221909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12268] ppid=12205 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12268/stat : 12268 (java) S 12205 12208 6708 0 -1 1077944384 1 13179 0 0 0 0 5 2 20 0 15 0 50087164 11079016448 21643 33554432000 4194304 4196468 140725875644144 139813130855280 139814352221909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12269] ppid=12205 vsize=10819352 memory=19265 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12269/stat : 12269 (java) S 12205 12208 6708 0 -1 1077944384 3 13179 0 0 0 0 5 2 20 0 15 0 50087167 11079016448 21643 33554432000 4194304 4196468 140725875644144 139812890564432 139814352230299 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12270] ppid=12205 vsize=10819352 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/12208/task/12270/stat : 12270 (java) S 12205 12208 6708 0 -1 1077944384 1106 13179 0 0 10 0 5 2 20 0 15 0 50087167 11079016448 21643 33554432000 4194304 4196468 140725875644144 139813877836656 139814352222850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12271] ppid=12205 vsize=10819352 memory=-9174445032661854264 CPUtime=0.14 cores=1,3,5,7
/proc/12208/task/12271/stat : 12271 (java) S 12205 12208 6708 0 -1 1077944384 328 13179 0 0 7 0 5 2 20 0 15 0 50087167 11079016448 21643 33554432000 4194304 4196468 140725875644144 139813876783856 139814352222850 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12272] ppid=12205 vsize=10819352 memory=4206186544037388384 CPUtime=0.2 cores=1,3,5,7
/proc/12208/task/12272/stat : 12272 (java) S 12205 12208 6708 0 -1 1077944384 679 13179 0 0 13 0 5 2 20 0 15 0 50087167 11079016448 21643 33554432000 4194304 4196468 140725875644144 139813875731056 139814352222850 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12273] ppid=12205 vsize=10819352 memory=6944656575208382560 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12273/stat : 12273 (java) S 12205 12208 6708 0 -1 1077944384 3 13179 0 0 0 0 5 2 20 0 15 0 50087167 11079016448 21643 33554432000 4194304 4196468 140725875644144 139812857006816 139814352221909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12274] ppid=12205 vsize=10819352 memory=6943526294502006880 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12274/stat : 12274 (java) S 12205 12208 6708 0 -1 1077944384 1 13179 0 0 0 0 5 2 20 0 15 0 50087167 11079016448 21643 33554432000 4194304 4196468 140725875644144 139813874678448 139814352222850 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
Current children cumulated CPU time: 0.97 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 86572 KiB
[startup+1.50082 s]
/proc/loadavg: 0.84 0.97 1.04 2/195 12274
/proc/meminfo: memFree=21264724/32770624 swapFree=67108860/67108860
[pid=12208] ppid=12205 vsize=10828108 memory=236300 CPUtime=3.15 cores=1,3,5,7
/proc/12208/stat : 12208 (java) S 12205 12208 6708 0 -1 1077944320 23938 13179 0 0 299 9 5 2 20 0 15 0 50087152 11087982592 59075 33554432000 4194304 4196468 140725875644144 140725875626688 139814352211703 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
/proc/12208/statm: 2707027 59075 3478 1 0 2668685 0
[pid=12208/tid=12261] ppid=12205 vsize=10828108 memory=0 CPUtime=1.44 cores=1,3,5,7
/proc/12208/task/12261/stat : 12261 (java) R 12205 12208 6708 0 -1 4202560 15415 13179 0 0 131 6 5 2 20 0 15 0 50087161 11087982592 59075 33554432000 4194304 4196468 140725875644144 139814324012488 139814337579011 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12262] ppid=12205 vsize=10828108 memory=7090746447412684391 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12262/stat : 12262 (java) S 12205 12208 6708 0 -1 1077944384 222 13179 0 0 0 0 5 2 20 0 15 0 50087162 11087982592 59075 33554432000 4194304 4196468 140725875644144 139814356454544 139814352221909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12263] ppid=12205 vsize=10828108 memory=276 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12263/stat : 12263 (java) S 12205 12208 6708 0 -1 1077944384 88 13179 0 0 0 0 5 2 20 0 15 0 50087162 11087982592 59075 33554432000 4194304 4196468 140725875644144 139814275206160 139814352221909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12264] ppid=12205 vsize=10828108 memory=7092163812657687657 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12264/stat : 12264 (java) S 12205 12208 6708 0 -1 1077944384 35 13179 0 0 0 0 5 2 20 0 15 0 50087162 11087982592 59075 33554432000 4194304 4196468 140725875644144 139814274153360 139814352221909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12265] ppid=12205 vsize=10828108 memory=7162531440177276259 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12265/stat : 12265 (java) S 12205 12208 6708 0 -1 1077944384 5 13179 0 0 0 0 5 2 20 0 15 0 50087162 11087982592 59136 33554432000 4194304 4196468 140725875644144 139814273100560 139814352221909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12266] ppid=12205 vsize=10828108 memory=4140 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12266/stat : 12266 (java) S 12205 12208 6708 0 -1 1077944384 88 13179 0 0 0 0 5 2 20 0 15 0 50087164 11087982592 59136 33554432000 4194304 4196468 140725875644144 139813878888816 139814352222850 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12267] ppid=12205 vsize=10828108 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12267/stat : 12267 (java) S 12205 12208 6708 0 -1 1077944384 13 13179 0 0 0 0 5 2 20 0 15 0 50087164 11087982592 59136 33554432000 4194304 4196468 140725875644144 139813332182048 139814352221909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12268] ppid=12205 vsize=10828108 memory=140653736729664 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12268/stat : 12268 (java) S 12205 12208 6708 0 -1 1077944384 1 13179 0 0 0 0 5 2 20 0 15 0 50087164 11087982592 59136 33554432000 4194304 4196468 140725875644144 139813130855280 139814352221909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12269] ppid=12205 vsize=10828108 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12269/stat : 12269 (java) S 12205 12208 6708 0 -1 1077944384 3 13179 0 0 0 0 5 2 20 0 15 0 50087167 11087982592 59136 33554432000 4194304 4196468 140725875644144 139812890564432 139814352230299 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12270] ppid=12205 vsize=10828108 memory=6791534058613427641 CPUtime=0.69 cores=1,3,5,7
/proc/12208/task/12270/stat : 12270 (java) R 12205 12208 6708 0 -1 4202560 2958 13179 0 0 62 0 5 2 20 0 15 0 50087167 11087982592 59136 33554432000 4194304 4196468 140725875644144 139813877822680 139814337130580 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12271] ppid=12205 vsize=10828108 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/12208/task/12271/stat : 12271 (java) R 12205 12208 6708 0 -1 4202560 1439 13179 0 0 59 0 5 2 20 0 15 0 50087167 11087982592 59136 33554432000 4194304 4196468 140725875644144 139813876770424 139814337093427 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12272] ppid=12205 vsize=10828108 memory=0 CPUtime=0.49 cores=1,3,5,7
/proc/12208/task/12272/stat : 12272 (java) S 12205 12208 6708 0 -1 1077944384 1475 13179 0 0 42 0 5 2 20 0 15 0 50087167 11087982592 59136 33554432000 4194304 4196468 140725875644144 139813875731056 139814352222850 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12273] ppid=12205 vsize=10828108 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12273/stat : 12273 (java) S 12205 12208 6708 0 -1 1077944384 3 13179 0 0 0 0 5 2 20 0 15 0 50087167 11087982592 59136 33554432000 4194304 4196468 140725875644144 139812857006816 139814352221909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12274] ppid=12205 vsize=10828108 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12274/stat : 12274 (java) S 12205 12208 6708 0 -1 1077944384 1 13179 0 0 0 0 5 2 20 0 15 0 50087167 11087982592 59136 33554432000 4194304 4196468 140725875644144 139813874678448 139814352222850 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
Current children cumulated CPU time: 3.15 s
Current children cumulated vsize: 10828108 KiB
################
# More data... #
################
[startup+785.155 s]
# the end of solver process 12208 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2514.7 s, system=13.4545 s
Solver just ended.
Dumping a history of the last processes samples
[startup+784.001 s]*
/proc/loadavg: 3.81 3.31 2.27 5/194 12320
/proc/meminfo: memFree=13095076/32770624 swapFree=67108860/67108860
[pid=12208] ppid=12205 vsize=10844512 memory=8263688 CPUtime=2523.83 cores=1,3,5,7
/proc/12208/stat : 12208 (java) S 12205 12208 6708 0 -1 1077944320 499520 13179 0 0 251039 1337 5 2 20 0 15 0 50087152 11104780288 2065922 33554432000 4194304 4196468 140725875644144 140725875626688 139814352211703 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
/proc/12208/statm: 2711128 2065922 3521 1 0 2672781 0
[pid=12208/tid=12261] ppid=12205 vsize=10844512 memory=6791534058613427641 CPUtime=180.18 cores=1,3,5,7
/proc/12208/task/12261/stat : 12261 (java) S 12205 12208 6708 0 -1 1077944384 75377 13179 0 0 17992 19 5 2 20 0 15 0 50087161 11104780288 2065922 33554432000 4194304 4196468 140725875644144 139814324046064 139814352221909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12262] ppid=12205 vsize=10844512 memory=4126316290023845779 CPUtime=583.96 cores=1,3,5,7
/proc/12208/task/12262/stat : 12262 (java) R 12205 12208 6708 0 -1 4202560 45777 13179 0 0 58060 329 5 2 20 0 15 0 50087162 11104780288 2065922 33554432000 4194304 4196468 140725875644144 139814356454440 139814344839911 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12263] ppid=12205 vsize=10844512 memory=16436 CPUtime=581.22 cores=1,3,5,7
/proc/12208/task/12263/stat : 12263 (java) R 12205 12208 6708 0 -1 4202560 36478 13179 0 0 57792 323 5 2 20 0 15 0 50087162 11104780288 2065922 33554432000 4194304 4196468 140725875644144 139814275206048 139814336909365 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12264] ppid=12205 vsize=10844512 memory=4140 CPUtime=582.53 cores=1,3,5,7
/proc/12208/task/12264/stat : 12264 (java) R 12205 12208 6708 0 -1 4202560 34578 13179 0 0 57923 323 5 2 20 0 15 0 50087162 11104780288 2065922 33554432000 4194304 4196468 140725875644144 139814274152944 139814344839911 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12265] ppid=12205 vsize=10844512 memory=16508 CPUtime=582.45 cores=1,3,5,7
/proc/12208/task/12265/stat : 12265 (java) R 12205 12208 6708 0 -1 4202560 35391 13179 0 0 57928 310 5 2 20 0 15 0 50087162 11104780288 2065922 33554432000 4194304 4196468 140725875644144 139814273100456 139814344839911 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12266] ppid=12205 vsize=10844512 memory=8263688 CPUtime=4.94 cores=1,3,5,7
/proc/12208/task/12266/stat : 12266 (java) S 12205 12208 6708 0 -1 1077944384 230665 13179 0 0 475 12 5 2 20 0 15 0 50087164 11104780288 2065922 33554432000 4194304 4196468 140725875644144 139813878887136 139814352221909 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12267] ppid=12205 vsize=10844512 memory=1296 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12267/stat : 12267 (java) S 12205 12208 6708 0 -1 1077944384 15 13179 0 0 0 0 5 2 20 0 15 0 50087164 11104780288 2065922 33554432000 4194304 4196468 140725875644144 139813332182112 139814352221909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12268] ppid=12205 vsize=10844512 memory=2412 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12268/stat : 12268 (java) S 12205 12208 6708 0 -1 1077944384 3 13179 0 0 0 0 5 2 20 0 15 0 50087164 11104780288 2065922 33554432000 4194304 4196468 140725875644144 139813130855296 139814352221909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12269] ppid=12205 vsize=10844512 memory=8263688 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12269/stat : 12269 (java) S 12205 12208 6708 0 -1 1077944384 6 13179 0 0 0 0 5 2 20 0 15 0 50087167 11104780288 2065922 33554432000 4194304 4196468 140725875644144 139812890564080 139814352221909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12270] ppid=12205 vsize=10844512 memory=4140 CPUtime=3.57 cores=1,3,5,7
/proc/12208/task/12270/stat : 12270 (java) S 12205 12208 6708 0 -1 1077944384 16207 13179 0 0 348 2 5 2 20 0 15 0 50087167 11104780288 2065922 33554432000 4194304 4196468 140725875644144 139813877836416 139814352221909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12271] ppid=12205 vsize=10844512 memory=4616 CPUtime=3.33 cores=1,3,5,7
/proc/12208/task/12271/stat : 12271 (java) S 12205 12208 6708 0 -1 1077944384 11872 13179 0 0 324 2 5 2 20 0 15 0 50087167 11104780288 2065922 33554432000 4194304 4196468 140725875644144 139813876783904 139814352221909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12272] ppid=12205 vsize=10844512 memory=1232 CPUtime=1.77 cores=1,3,5,7
/proc/12208/task/12272/stat : 12272 (java) S 12205 12208 6708 0 -1 1077944384 10076 13179 0 0 168 2 5 2 20 0 15 0 50087167 11104780288 2065922 33554432000 4194304 4196468 140725875644144 139813875731104 139814352221909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12273] ppid=12205 vsize=10844512 memory=11964 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12273/stat : 12273 (java) S 12205 12208 6708 0 -1 1077944384 3 13179 0 0 0 0 5 2 20 0 15 0 50087167 11104780288 2065922 33554432000 4194304 4196468 140725875644144 139812857006816 139814352221909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12274] ppid=12205 vsize=10844512 memory=1708 CPUtime=0.39 cores=1,3,5,7
/proc/12208/task/12274/stat : 12274 (java) S 12205 12208 6708 0 -1 1077944384 878 13179 0 0 18 14 5 2 20 0 15 0 50087167 11104780288 2065922 33554432000 4194304 4196468 140725875644144 139813874678448 139814352222850 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
Current children cumulated CPU time: 2523.83 s
Current children cumulated vsize: 10844512 KiB
Current children cumulated memory: 8263688 KiB
[startup+784.801 s]
/proc/loadavg: 3.81 3.31 2.27 5/194 12320
/proc/meminfo: memFree=13095076/32770624 swapFree=67108860/67108860
[pid=12208] ppid=12205 vsize=10844512 memory=8263688 CPUtime=2526.89 cores=1,3,5,7
/proc/12208/stat : 12208 (java) S 12205 12208 6708 0 -1 1077944320 499625 13179 0 0 251344 1338 5 2 20 0 15 0 50087152 11104780288 2065922 33554432000 4194304 4196468 140725875644144 140725875626688 139814352211703 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
/proc/12208/statm: 2711128 2065922 3521 1 0 2672781 0
[pid=12208/tid=12261] ppid=12205 vsize=10844512 memory=2204 CPUtime=180.18 cores=1,3,5,7
/proc/12208/task/12261/stat : 12261 (java) S 12205 12208 6708 0 -1 1077944384 75377 13179 0 0 17992 19 5 2 20 0 15 0 50087161 11104780288 2065922 33554432000 4194304 4196468 140725875644144 139814324046064 139814352221909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12262] ppid=12205 vsize=10844512 memory=7532 CPUtime=584.7 cores=1,3,5,7
/proc/12208/task/12262/stat : 12262 (java) R 12205 12208 6708 0 -1 4202560 45777 13179 0 0 58134 329 5 2 20 0 15 0 50087162 11104780288 2065922 33554432000 4194304 4196468 140725875644144 139814356454440 139814344839911 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12263] ppid=12205 vsize=10844512 memory=6791534058613427641 CPUtime=582.01 cores=1,3,5,7
/proc/12208/task/12263/stat : 12263 (java) R 12205 12208 6708 0 -1 4202560 36583 13179 0 0 57871 323 5 2 20 0 15 0 50087162 11104780288 2065922 33554432000 4194304 4196468 140725875644144 139814275206048 139814337196999 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12264] ppid=12205 vsize=10844512 memory=1580 CPUtime=583.29 cores=1,3,5,7
/proc/12208/task/12264/stat : 12264 (java) R 12205 12208 6708 0 -1 4202560 34578 13179 0 0 57999 323 5 2 20 0 15 0 50087162 11104780288 2065922 33554432000 4194304 4196468 140725875644144 139814274152944 139814344839911 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12265] ppid=12205 vsize=10844512 memory=2244 CPUtime=583.21 cores=1,3,5,7
/proc/12208/task/12265/stat : 12265 (java) R 12205 12208 6708 0 -1 4202560 35391 13179 0 0 58004 310 5 2 20 0 15 0 50087162 11104780288 2065922 33554432000 4194304 4196468 140725875644144 139814273100144 139814344839911 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12266] ppid=12205 vsize=10844512 memory=4136 CPUtime=4.94 cores=1,3,5,7
/proc/12208/task/12266/stat : 12266 (java) S 12205 12208 6708 0 -1 1077944384 230665 13179 0 0 475 12 5 2 20 0 15 0 50087164 11104780288 2065922 33554432000 4194304 4196468 140725875644144 139813878887136 139814352221909 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12267] ppid=12205 vsize=10844512 memory=1232 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12267/stat : 12267 (java) S 12205 12208 6708 0 -1 1077944384 15 13179 0 0 0 0 5 2 20 0 15 0 50087164 11104780288 2065922 33554432000 4194304 4196468 140725875644144 139813332182112 139814352221909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12268] ppid=12205 vsize=10844512 memory=11964 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12268/stat : 12268 (java) S 12205 12208 6708 0 -1 1077944384 3 13179 0 0 0 0 5 2 20 0 15 0 50087164 11104780288 2065922 33554432000 4194304 4196468 140725875644144 139813130855296 139814352221909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12269] ppid=12205 vsize=10844512 memory=1708 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12269/stat : 12269 (java) S 12205 12208 6708 0 -1 1077944384 6 13179 0 0 0 0 5 2 20 0 15 0 50087167 11104780288 2065922 33554432000 4194304 4196468 140725875644144 139812890564080 139814352221909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12270] ppid=12205 vsize=10844512 memory=8388 CPUtime=3.57 cores=1,3,5,7
/proc/12208/task/12270/stat : 12270 (java) S 12205 12208 6708 0 -1 1077944384 16207 13179 0 0 348 2 5 2 20 0 15 0 50087167 11104780288 2065922 33554432000 4194304 4196468 140725875644144 139813877836416 139814352221909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12271] ppid=12205 vsize=10844512 memory=16508 CPUtime=3.33 cores=1,3,5,7
/proc/12208/task/12271/stat : 12271 (java) S 12205 12208 6708 0 -1 1077944384 11872 13179 0 0 324 2 5 2 20 0 15 0 50087167 11104780288 2065922 33554432000 4194304 4196468 140725875644144 139813876783904 139814352221909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12272] ppid=12205 vsize=10844512 memory=1296 CPUtime=1.77 cores=1,3,5,7
/proc/12208/task/12272/stat : 12272 (java) S 12205 12208 6708 0 -1 1077944384 10076 13179 0 0 168 2 5 2 20 0 15 0 50087167 11104780288 2065922 33554432000 4194304 4196468 140725875644144 139813875731104 139814352221909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12273] ppid=12205 vsize=10844512 memory=2412 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12273/stat : 12273 (java) S 12205 12208 6708 0 -1 1077944384 3 13179 0 0 0 0 5 2 20 0 15 0 50087167 11104780288 2065922 33554432000 4194304 4196468 140725875644144 139812857006816 139814352221909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12274] ppid=12205 vsize=10844512 memory=1836 CPUtime=0.39 cores=1,3,5,7
/proc/12208/task/12274/stat : 12274 (java) S 12205 12208 6708 0 -1 1077944384 878 13179 0 0 18 14 5 2 20 0 15 0 50087167 11104780288 2065922 33554432000 4194304 4196468 140725875644144 139813874678448 139814352222850 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
Current children cumulated CPU time: 2526.89 s
Current children cumulated vsize: 10844512 KiB
Current children cumulated memory: 8263688 KiB
[startup+785.001 s]*
/proc/loadavg: 3.81 3.31 2.27 4/194 12320
/proc/meminfo: memFree=13095076/32770624 swapFree=67108860/67108860
[pid=12208] ppid=12205 vsize=10844512 memory=8263688 CPUtime=2527.69 cores=1,3,5,7
/proc/12208/stat : 12208 (java) S 12205 12208 6708 0 -1 1077944320 499660 13179 0 0 251424 1338 5 2 20 0 15 0 50087152 11104780288 2065922 33554432000 4194304 4196468 140725875644144 140725875626688 139814352211703 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
/proc/12208/statm: 2711128 2065922 3521 1 0 2672781 0
[pid=12208/tid=12261] ppid=12205 vsize=10844512 memory=6791534058613427641 CPUtime=180.18 cores=1,3,5,7
/proc/12208/task/12261/stat : 12261 (java) S 12205 12208 6708 0 -1 1077944384 75377 13179 0 0 17992 19 5 2 20 0 15 0 50087161 11104780288 2065922 33554432000 4194304 4196468 140725875644144 139814324046064 139814352221909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12262] ppid=12205 vsize=10844512 memory=4126316290023845779 CPUtime=584.9 cores=1,3,5,7
/proc/12208/task/12262/stat : 12262 (java) R 12205 12208 6708 0 -1 1077944384 45777 13179 0 0 58153 330 5 2 20 0 15 0 50087162 11104780288 2065922 33554432000 4194304 4196468 140725875644144 139814356454128 139814352222850 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12263] ppid=12205 vsize=10844512 memory=4126316290023845779 CPUtime=582.22 cores=1,3,5,7
/proc/12208/task/12263/stat : 12263 (java) R 12205 12208 6708 0 -1 4202560 36618 13179 0 0 57892 323 5 2 20 0 15 0 50087162 11104780288 2065922 33554432000 4194304 4196468 140725875644144 139814275206048 139814333808161 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12264] ppid=12205 vsize=10844512 memory=8263688 CPUtime=583.49 cores=1,3,5,7
/proc/12208/task/12264/stat : 12264 (java) R 12205 12208 6708 0 -1 4202560 34578 13179 0 0 58019 323 5 2 20 0 15 0 50087162 11104780288 2065922 33554432000 4194304 4196468 140725875644144 139814274152944 139814344839911 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12265] ppid=12205 vsize=10844512 memory=6791534058613427641 CPUtime=583.41 cores=1,3,5,7
/proc/12208/task/12265/stat : 12265 (java) R 12205 12208 6708 0 -1 4202560 35391 13179 0 0 58024 310 5 2 20 0 15 0 50087162 11104780288 2065922 33554432000 4194304 4196468 140725875644144 139814273100144 139814344839911 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12266] ppid=12205 vsize=10844512 memory=1836 CPUtime=4.94 cores=1,3,5,7
/proc/12208/task/12266/stat : 12266 (java) S 12205 12208 6708 0 -1 1077944384 230665 13179 0 0 475 12 5 2 20 0 15 0 50087164 11104780288 2065922 33554432000 4194304 4196468 140725875644144 139813878887136 139814352221909 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12267] ppid=12205 vsize=10844512 memory=792 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12267/stat : 12267 (java) S 12205 12208 6708 0 -1 1077944384 15 13179 0 0 0 0 5 2 20 0 15 0 50087164 11104780288 2065922 33554432000 4194304 4196468 140725875644144 139813332182112 139814352221909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12268] ppid=12205 vsize=10844512 memory=1960 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12268/stat : 12268 (java) S 12205 12208 6708 0 -1 1077944384 3 13179 0 0 0 0 5 2 20 0 15 0 50087164 11104780288 2065922 33554432000 4194304 4196468 140725875644144 139813130855296 139814352221909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12269] ppid=12205 vsize=10844512 memory=8263688 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12269/stat : 12269 (java) S 12205 12208 6708 0 -1 1077944384 6 13179 0 0 0 0 5 2 20 0 15 0 50087167 11104780288 2065922 33554432000 4194304 4196468 140725875644144 139812890564080 139814352221909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12270] ppid=12205 vsize=10844512 memory=4616 CPUtime=3.57 cores=1,3,5,7
/proc/12208/task/12270/stat : 12270 (java) S 12205 12208 6708 0 -1 1077944384 16207 13179 0 0 348 2 5 2 20 0 15 0 50087167 11104780288 2065922 33554432000 4194304 4196468 140725875644144 139813877836416 139814352221909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12271] ppid=12205 vsize=10844512 memory=1232 CPUtime=3.33 cores=1,3,5,7
/proc/12208/task/12271/stat : 12271 (java) S 12205 12208 6708 0 -1 1077944384 11872 13179 0 0 324 2 5 2 20 0 15 0 50087167 11104780288 2065922 33554432000 4194304 4196468 140725875644144 139813876783904 139814352221909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12272] ppid=12205 vsize=10844512 memory=11964 CPUtime=1.77 cores=1,3,5,7
/proc/12208/task/12272/stat : 12272 (java) S 12205 12208 6708 0 -1 1077944384 10076 13179 0 0 168 2 5 2 20 0 15 0 50087167 11104780288 2065922 33554432000 4194304 4196468 140725875644144 139813875731104 139814352221909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12273] ppid=12205 vsize=10844512 memory=1708 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12273/stat : 12273 (java) S 12205 12208 6708 0 -1 1077944384 3 13179 0 0 0 0 5 2 20 0 15 0 50087167 11104780288 2065922 33554432000 4194304 4196468 140725875644144 139812857006816 139814352221909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12274] ppid=12205 vsize=10844512 memory=8388 CPUtime=0.39 cores=1,3,5,7
/proc/12208/task/12274/stat : 12274 (java) S 12205 12208 6708 0 -1 1077944384 878 13179 0 0 18 14 5 2 20 0 15 0 50087167 11104780288 2065922 33554432000 4194304 4196468 140725875644144 139813874678448 139814352222850 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
Current children cumulated CPU time: 2527.69 s
Current children cumulated vsize: 10844512 KiB
Current children cumulated memory: 8263688 KiB
[startup+785.11 s]
/proc/loadavg: 3.81 3.31 2.27 4/194 12320
/proc/meminfo: memFree=13095076/32770624 swapFree=67108860/67108860
[pid=12208] ppid=12205 vsize=10844512 memory=8263688 CPUtime=2528.08 cores=1,3,5,7
/proc/12208/stat : 12208 (java) S 12205 12208 6708 0 -1 1077944320 499676 13179 0 0 251463 1338 5 2 20 0 15 0 50087152 11104780288 2065922 33554432000 4194304 4196468 140725875644144 140725875626688 139814352211703 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
/proc/12208/statm: 2711128 2065922 3521 1 0 2672781 0
[pid=12208/tid=12261] ppid=12205 vsize=10844512 memory=8263688 CPUtime=180.18 cores=1,3,5,7
/proc/12208/task/12261/stat : 12261 (java) S 12205 12208 6708 0 -1 1077944384 75377 13179 0 0 17992 19 5 2 20 0 15 0 50087161 11104780288 2065922 33554432000 4194304 4196468 140725875644144 139814324046064 139814352221909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12262] ppid=12205 vsize=10844512 memory=8263688 CPUtime=585 cores=1,3,5,7
/proc/12208/task/12262/stat : 12262 (java) R 12205 12208 6708 0 -1 4202560 45777 13179 0 0 58163 330 5 2 20 0 15 0 50087162 11104780288 2065922 33554432000 4194304 4196468 140725875644144 139814356454440 139814344839911 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12263] ppid=12205 vsize=10844512 memory=8263688 CPUtime=582.32 cores=1,3,5,7
/proc/12208/task/12263/stat : 12263 (java) R 12205 12208 6708 0 -1 4202560 36634 13179 0 0 57902 323 5 2 20 0 15 0 50087162 11104780288 2065922 33554432000 4194304 4196468 140725875644144 139814275206048 139814333808714 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12264] ppid=12205 vsize=10844512 memory=8263688 CPUtime=583.58 cores=1,3,5,7
/proc/12208/task/12264/stat : 12264 (java) R 12205 12208 6708 0 -1 4202560 34578 13179 0 0 58028 323 5 2 20 0 15 0 50087162 11104780288 2065922 33554432000 4194304 4196468 140725875644144 139814274152944 139814344839911 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12265] ppid=12205 vsize=10844512 memory=8263688 CPUtime=583.51 cores=1,3,5,7
/proc/12208/task/12265/stat : 12265 (java) R 12205 12208 6708 0 -1 4202560 35391 13179 0 0 58034 310 5 2 20 0 15 0 50087162 11104780288 2065922 33554432000 4194304 4196468 140725875644144 139814273100144 139814344839911 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12266] ppid=12205 vsize=10844512 memory=8263688 CPUtime=4.94 cores=1,3,5,7
/proc/12208/task/12266/stat : 12266 (java) S 12205 12208 6708 0 -1 1077944384 230665 13179 0 0 475 12 5 2 20 0 15 0 50087164 11104780288 2065922 33554432000 4194304 4196468 140725875644144 139813878887136 139814352221909 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12267] ppid=12205 vsize=10844512 memory=8263688 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12267/stat : 12267 (java) S 12205 12208 6708 0 -1 1077944384 15 13179 0 0 0 0 5 2 20 0 15 0 50087164 11104780288 2065922 33554432000 4194304 4196468 140725875644144 139813332182112 139814352221909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12268] ppid=12205 vsize=10844512 memory=8263688 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12268/stat : 12268 (java) S 12205 12208 6708 0 -1 1077944384 3 13179 0 0 0 0 5 2 20 0 15 0 50087164 11104780288 2065922 33554432000 4194304 4196468 140725875644144 139813130855296 139814352221909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12269] ppid=12205 vsize=10844512 memory=8263688 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12269/stat : 12269 (java) S 12205 12208 6708 0 -1 1077944384 6 13179 0 0 0 0 5 2 20 0 15 0 50087167 11104780288 2065922 33554432000 4194304 4196468 140725875644144 139812890564080 139814352221909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12270] ppid=12205 vsize=10844512 memory=8263688 CPUtime=3.57 cores=1,3,5,7
/proc/12208/task/12270/stat : 12270 (java) S 12205 12208 6708 0 -1 1077944384 16207 13179 0 0 348 2 5 2 20 0 15 0 50087167 11104780288 2065922 33554432000 4194304 4196468 140725875644144 139813877836416 139814352221909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12271] ppid=12205 vsize=10844512 memory=8263688 CPUtime=3.33 cores=1,3,5,7
/proc/12208/task/12271/stat : 12271 (java) S 12205 12208 6708 0 -1 1077944384 11872 13179 0 0 324 2 5 2 20 0 15 0 50087167 11104780288 2065922 33554432000 4194304 4196468 140725875644144 139813876783904 139814352221909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12272] ppid=12205 vsize=10844512 memory=1012 CPUtime=1.77 cores=1,3,5,7
/proc/12208/task/12272/stat : 12272 (java) S 12205 12208 6708 0 -1 1077944384 10076 13179 0 0 168 2 5 2 20 0 15 0 50087167 11104780288 2065922 33554432000 4194304 4196468 140725875644144 139813875731104 139814352221909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12273] ppid=12205 vsize=10844512 memory=8263688 CPUtime=0.07 cores=1,3,5,7
/proc/12208/task/12273/stat : 12273 (java) S 12205 12208 6708 0 -1 1077944384 3 13179 0 0 0 0 5 2 20 0 15 0 50087167 11104780288 2065922 33554432000 4194304 4196468 140725875644144 139812857006816 139814352221909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
[pid=12208/tid=12274] ppid=12205 vsize=10844512 memory=8263688 CPUtime=0.39 cores=1,3,5,7
/proc/12208/task/12274/stat : 12274 (java) S 12205 12208 6708 0 -1 1077944384 878 13179 0 0 18 14 5 2 20 0 15 0 50087167 11104780288 2065922 33554432000 4194304 4196468 140725875644144 139813874678448 139814352222850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33325056 140725875652779 140725875656028 140725875656028 140725875658703 0
Current children cumulated CPU time: 2528.08 s
Current children cumulated vsize: 10844512 KiB
Current children cumulated memory: 8263688 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 785.155
CPU time (s): 2528.16
CPU user time (s): 2514.7
CPU system time (s): 13.4545
CPU usage (%): 321.995
Max. virtual memory (cumulated for all children) (KiB): 10844512
Max. memory (cumulated for all children) (KiB): 8263688
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.7
system time used= 13.4545
maximum resident set size= 8263860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 512857
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1000
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 73806
involuntary context switches= 27938
# summary of solver processes directly reported to runsolver:
# pid: 12208
# total CPU time (s): 2528.16
# total CPU user time (s): 2514.7
# total CPU system time (s): 13.4545
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.10078 second user time and 7.24979 second system time
The end