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 (161 MiB free)
memory of node 1: 16384 MiB (2147 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304504-1534107442/watcher-4304504-1534107442 -o /tmp/evaluation-result-4304504-1534107442/solver-4304504-1534107442 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1534097471-21026 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=412581216 -superng HOME/instance-4304504-1534107442.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=23268, runsolver pid=23265
[startup+0.100109 s]*
/proc/loadavg: 1.48 1.50 1.58 3/209 23324
/proc/meminfo: memFree=2361648/32770624 swapFree=67108856/67108860
[pid=23268] ppid=23265 vsize=10005480 memory=16948 CPUtime=0.1 cores=1,3,5,7
/proc/23268/stat : 23268 (java) S 23265 23268 20994 0 -1 1077944320 4371 13131 0 0 1 1 5 3 20 0 6 0 228307387 10245611520 4237 33554432000 4194304 4196468 140735891204096 140735891186640 140254277566199 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
/proc/23268/statm: 2501370 4237 1934 1 0 2489808 0
[pid=23268/tid=23321] ppid=23265 vsize=10005480 memory=4279135704047322765 CPUtime=0.08 cores=1,3,5,7
/proc/23268/task/23321/stat : 23321 (java) R 23265 23268 20994 0 -1 4202560 2183 13131 0 0 0 0 5 3 20 0 6 0 228307396 10245611520 4237 33554432000 4194304 4196468 140735891204096 140254249402960 140254277588125 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23322] ppid=23265 vsize=10005480 memory=8257237230052613020 CPUtime=0.08 cores=1,3,5,7
/proc/23268/task/23322/stat : 23322 (java) S 23265 23268 20994 0 -1 1077944384 1 13131 0 0 0 0 5 3 20 0 6 0 228307397 10245611520 4237 33554432000 4194304 4196468 140735891204096 140254281808528 140254277576405 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23323] ppid=23265 vsize=10005480 memory=139921354774144 CPUtime=0.08 cores=1,3,5,7
/proc/23268/task/23323/stat : 23323 (java) S 23265 23268 20994 0 -1 1077944384 1 13131 0 0 0 0 5 3 20 0 6 0 228307397 10245611520 4237 33554432000 4194304 4196468 140735891204096 140254171413008 140254277576405 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23324] ppid=23265 vsize=10005480 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23268/task/23324/stat : 23324 (java) S 23265 23268 20994 0 -1 1077944384 2 13131 0 0 0 0 5 3 20 0 6 0 228307397 10245611520 4237 33554432000 4194304 4196468 140735891204096 140253816658320 140254277576405 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23325] ppid=23265 vsize=10005480 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/23268/task/23325/stat : 23325 (java) S 23265 23268 20994 0 -1 1077944384 2 13131 0 0 0 0 5 3 20 0 6 0 228307397 10245611520 4237 33554432000 4194304 4196468 140735891204096 140253815605520 140254277576405 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 16948 KiB
[startup+0.210318 s]*
/proc/loadavg: 1.48 1.50 1.58 3/219 23334
/proc/meminfo: memFree=2335432/32770624 swapFree=67108856/67108860
[pid=23268] ppid=23265 vsize=10982696 memory=43984 CPUtime=0.27 cores=1,3,5,7
/proc/23268/stat : 23268 (java) S 23265 23268 20994 0 -1 1077944320 8390 13131 0 0 16 3 5 3 20 0 15 0 228307387 11246280704 10996 33554432000 4194304 4196468 140735891204096 140735891186640 140254277566199 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
/proc/23268/statm: 2745674 10996 2936 1 0 2708109 0
[pid=23268/tid=23321] ppid=23265 vsize=10982696 memory=-6517102902069810590 CPUtime=0.19 cores=1,3,5,7
/proc/23268/task/23321/stat : 23321 (java) R 23265 23268 20994 0 -1 4202560 4923 13131 0 0 9 2 5 3 20 0 15 0 228307396 11246280704 10996 33554432000 4194304 4196468 140735891204096 140254249363856 140254260752998 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23322] ppid=23265 vsize=10982696 memory=-7025452035940392864 CPUtime=0.08 cores=1,3,5,7
/proc/23268/task/23322/stat : 23322 (java) S 23265 23268 20994 0 -1 1077944384 1 13131 0 0 0 0 5 3 20 0 15 0 228307397 11246280704 10996 33554432000 4194304 4196468 140735891204096 140254281808528 140254277576405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23323] ppid=23265 vsize=10982696 memory=139921354774144 CPUtime=0.08 cores=1,3,5,7
/proc/23268/task/23323/stat : 23323 (java) S 23265 23268 20994 0 -1 1077944384 1 13131 0 0 0 0 5 3 20 0 15 0 228307397 11246280704 10996 33554432000 4194304 4196468 140735891204096 140254171413008 140254277576405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23324] ppid=23265 vsize=10982696 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23268/task/23324/stat : 23324 (java) S 23265 23268 20994 0 -1 1077944384 2 13131 0 0 0 0 5 3 20 0 15 0 228307397 11246280704 10996 33554432000 4194304 4196468 140735891204096 140253816658320 140254277576405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23325] ppid=23265 vsize=10982696 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/23268/task/23325/stat : 23325 (java) S 23265 23268 20994 0 -1 1077944384 2 13131 0 0 0 0 5 3 20 0 15 0 228307397 11246280704 10996 33554432000 4194304 4196468 140735891204096 140253815605520 140254277576405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23326] ppid=23265 vsize=10982696 memory=139921354774144 CPUtime=0.08 cores=1,3,5,7
/proc/23268/task/23326/stat : 23326 (java) S 23265 23268 20994 0 -1 1077944384 2 13131 0 0 0 0 5 3 20 0 15 0 228307398 11246280704 10996 33554432000 4194304 4196468 140735891204096 140253770656624 140254277577346 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23327] ppid=23265 vsize=10982696 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/23268/task/23327/stat : 23327 (java) S 23265 23268 20994 0 -1 1077944384 13 13131 0 0 0 0 5 3 20 0 15 0 228307399 11246280704 10996 33554432000 4194304 4196468 140735891204096 140253096568352 140254277576405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23328] ppid=23265 vsize=10982696 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23268/task/23328/stat : 23328 (java) S 23265 23268 20994 0 -1 1077944384 1 13131 0 0 0 0 5 3 20 0 15 0 228307399 11246280704 10996 33554432000 4194304 4196468 140735891204096 140252895241584 140254277576405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23329] ppid=23265 vsize=10982696 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23268/task/23329/stat : 23329 (java) S 23265 23268 20994 0 -1 1077944384 3 13131 0 0 0 0 5 3 20 0 15 0 228307402 11246280704 10996 33554432000 4194304 4196468 140735891204096 140252587841872 140254277584795 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23330] ppid=23265 vsize=10982696 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/23268/task/23330/stat : 23330 (java) S 23265 23268 20994 0 -1 1077944384 374 13131 0 0 1 0 5 3 20 0 15 0 228307402 11246280704 10996 33554432000 4194304 4196468 140735891204096 140253769603440 140254277577346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23331] ppid=23265 vsize=10982696 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/23268/task/23331/stat : 23331 (java) S 23265 23268 20994 0 -1 1077944384 260 13131 0 0 0 0 5 3 20 0 15 0 228307402 11246280704 10996 33554432000 4194304 4196468 140735891204096 140253700548848 140254277577346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23332] ppid=23265 vsize=10982696 memory=139921354774144 CPUtime=0.11 cores=1,3,5,7
/proc/23268/task/23332/stat : 23332 (java) S 23265 23268 20994 0 -1 1077944384 612 13131 0 0 3 0 5 3 20 0 15 0 228307402 11246280704 10996 33554432000 4194304 4196468 140735891204096 140253699496048 140254277577346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23333] ppid=23265 vsize=10982696 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/23268/task/23333/stat : 23333 (java) S 23265 23268 20994 0 -1 1077944384 3 13131 0 0 0 0 5 3 20 0 15 0 228307402 11246280704 10996 33554432000 4194304 4196468 140735891204096 140252157044960 140254277576405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23334] ppid=23265 vsize=10982696 memory=139921354774144 CPUtime=0.08 cores=1,3,5,7
/proc/23268/task/23334/stat : 23334 (java) S 23265 23268 20994 0 -1 1077944384 1 13131 0 0 0 0 5 3 20 0 15 0 228307402 11246280704 10996 33554432000 4194304 4196468 140735891204096 140253698444464 140254277577346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10982696 KiB
Current children cumulated memory: 43984 KiB
[startup+0.310871 s]*
/proc/loadavg: 1.48 1.50 1.58 3/219 23334
/proc/meminfo: memFree=2324392/32770624 swapFree=67108856/67108860
[pid=23268] ppid=23265 vsize=10983192 memory=55328 CPUtime=0.38 cores=1,3,5,7
/proc/23268/stat : 23268 (java) S 23265 23268 20994 0 -1 1077944320 10414 13131 0 0 27 3 5 3 20 0 15 0 228307387 11246788608 13832 33554432000 4194304 4196468 140735891204096 140735891186640 140254277566199 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
/proc/23268/statm: 2745798 13832 3068 1 0 2708109 0
[pid=23268/tid=23321] ppid=23265 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/23268/task/23321/stat : 23321 (java) R 23265 23268 20994 0 -1 4202560 6938 13131 0 0 18 2 5 3 20 0 15 0 228307396 11246788608 13832 33554432000 4194304 4196468 140735891204096 140254249378208 140254277580086 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23322] ppid=23265 vsize=10983192 memory=7084813469699035216 CPUtime=0.08 cores=1,3,5,7
/proc/23268/task/23322/stat : 23322 (java) S 23265 23268 20994 0 -1 1077944384 1 13131 0 0 0 0 5 3 20 0 15 0 228307397 11246788608 13832 33554432000 4194304 4196468 140735891204096 140254281808528 140254277576405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23323] ppid=23265 vsize=10983192 memory=2080 CPUtime=0.08 cores=1,3,5,7
/proc/23268/task/23323/stat : 23323 (java) S 23265 23268 20994 0 -1 1077944384 1 13131 0 0 0 0 5 3 20 0 15 0 228307397 11246788608 13832 33554432000 4194304 4196468 140735891204096 140254171413008 140254277576405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23324] ppid=23265 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23268/task/23324/stat : 23324 (java) S 23265 23268 20994 0 -1 1077944384 2 13131 0 0 0 0 5 3 20 0 15 0 228307397 11246788608 13832 33554432000 4194304 4196468 140735891204096 140253816658320 140254277576405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23325] ppid=23265 vsize=10983192 memory=4126316290023845779 CPUtime=0.08 cores=1,3,5,7
/proc/23268/task/23325/stat : 23325 (java) S 23265 23268 20994 0 -1 1077944384 2 13131 0 0 0 0 5 3 20 0 15 0 228307397 11246788608 13832 33554432000 4194304 4196468 140735891204096 140253815605520 140254277576405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23326] ppid=23265 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23268/task/23326/stat : 23326 (java) S 23265 23268 20994 0 -1 1077944384 2 13131 0 0 0 0 5 3 20 0 15 0 228307398 11246788608 13832 33554432000 4194304 4196468 140735891204096 140253770656624 140254277577346 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23327] ppid=23265 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23268/task/23327/stat : 23327 (java) S 23265 23268 20994 0 -1 1077944384 13 13131 0 0 0 0 5 3 20 0 15 0 228307399 11246788608 13832 33554432000 4194304 4196468 140735891204096 140253096568352 140254277576405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23328] ppid=23265 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23268/task/23328/stat : 23328 (java) S 23265 23268 20994 0 -1 1077944384 1 13131 0 0 0 0 5 3 20 0 15 0 228307399 11246788608 13832 33554432000 4194304 4196468 140735891204096 140252895241584 140254277576405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23329] ppid=23265 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23268/task/23329/stat : 23329 (java) S 23265 23268 20994 0 -1 1077944384 3 13131 0 0 0 0 5 3 20 0 15 0 228307402 11246788608 13832 33554432000 4194304 4196468 140735891204096 140252587841872 140254277584795 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23330] ppid=23265 vsize=10983192 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/23268/task/23330/stat : 23330 (java) S 23265 23268 20994 0 -1 1077944384 374 13131 0 0 2 0 5 3 20 0 15 0 228307402 11246788608 13832 33554432000 4194304 4196468 140735891204096 140253769603440 140254277577346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23331] ppid=23265 vsize=10983192 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/23268/task/23331/stat : 23331 (java) S 23265 23268 20994 0 -1 1077944384 263 13131 0 0 1 0 5 3 20 0 15 0 228307402 11246788608 13832 33554432000 4194304 4196468 140735891204096 140253700548848 140254277577346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23332] ppid=23265 vsize=10983192 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/23268/task/23332/stat : 23332 (java) S 23265 23268 20994 0 -1 1077944384 618 13131 0 0 5 0 5 3 20 0 15 0 228307402 11246788608 13832 33554432000 4194304 4196468 140735891204096 140253699496048 140254277577346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23333] ppid=23265 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23268/task/23333/stat : 23333 (java) S 23265 23268 20994 0 -1 1077944384 3 13131 0 0 0 0 5 3 20 0 15 0 228307402 11246788608 13832 33554432000 4194304 4196468 140735891204096 140252157044960 140254277576405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23334] ppid=23265 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23268/task/23334/stat : 23334 (java) S 23265 23268 20994 0 -1 1077944384 1 13131 0 0 0 0 5 3 20 0 15 0 228307402 11246788608 13832 33554432000 4194304 4196468 140735891204096 140253698444464 140254277577346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 55328 KiB
[startup+0.700801 s]
/proc/loadavg: 1.48 1.50 1.58 3/219 23334
/proc/meminfo: memFree=2311740/32770624 swapFree=67108856/67108860
[pid=23268] ppid=23265 vsize=10983192 memory=88872 CPUtime=0.98 cores=1,3,5,7
/proc/23268/stat : 23268 (java) S 23265 23268 20994 0 -1 1077944320 16832 13131 0 0 85 5 5 3 20 0 15 0 228307387 11246788608 22218 33554432000 4194304 4196468 140735891204096 140735891186640 140254277566199 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
/proc/23268/statm: 2745798 22218 3240 1 0 2708109 0
[pid=23268/tid=23321] ppid=23265 vsize=10983192 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/23268/task/23321/stat : 23321 (java) R 23265 23268 20994 0 -1 4202560 12408 13131 0 0 55 4 5 3 20 0 15 0 228307396 11246788608 22218 33554432000 4194304 4196468 140735891204096 140254249387024 140254261646686 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23322] ppid=23265 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23268/task/23322/stat : 23322 (java) S 23265 23268 20994 0 -1 1077944384 1 13131 0 0 0 0 5 3 20 0 15 0 228307397 11246788608 22218 33554432000 4194304 4196468 140735891204096 140254281808528 140254277576405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23323] ppid=23265 vsize=10983192 memory=3768 CPUtime=0.08 cores=1,3,5,7
/proc/23268/task/23323/stat : 23323 (java) S 23265 23268 20994 0 -1 1077944384 1 13131 0 0 0 0 5 3 20 0 15 0 228307397 11246788608 22218 33554432000 4194304 4196468 140735891204096 140254171413008 140254277576405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23324] ppid=23265 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23268/task/23324/stat : 23324 (java) S 23265 23268 20994 0 -1 1077944384 2 13131 0 0 0 0 5 3 20 0 15 0 228307397 11246788608 22218 33554432000 4194304 4196468 140735891204096 140253816658320 140254277576405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23325] ppid=23265 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23268/task/23325/stat : 23325 (java) S 23265 23268 20994 0 -1 1077944384 2 13131 0 0 0 0 5 3 20 0 15 0 228307397 11246788608 22218 33554432000 4194304 4196468 140735891204096 140253815605520 140254277576405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23326] ppid=23265 vsize=10983192 memory=4420 CPUtime=0.08 cores=1,3,5,7
/proc/23268/task/23326/stat : 23326 (java) S 23265 23268 20994 0 -1 1077944384 5 13131 0 0 0 0 5 3 20 0 15 0 228307398 11246788608 22218 33554432000 4194304 4196468 140735891204096 140253770656624 140254277577346 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23327] ppid=23265 vsize=10983192 memory=6628 CPUtime=0.08 cores=1,3,5,7
/proc/23268/task/23327/stat : 23327 (java) S 23265 23268 20994 0 -1 1077944384 13 13131 0 0 0 0 5 3 20 0 15 0 228307399 11246788608 22218 33554432000 4194304 4196468 140735891204096 140253096568352 140254277576405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23328] ppid=23265 vsize=10983192 memory=8836 CPUtime=0.08 cores=1,3,5,7
/proc/23268/task/23328/stat : 23328 (java) S 23265 23268 20994 0 -1 1077944384 1 13131 0 0 0 0 5 3 20 0 15 0 228307399 11246788608 22218 33554432000 4194304 4196468 140735891204096 140252895241584 140254277576405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23329] ppid=23265 vsize=10983192 memory=11044 CPUtime=0.08 cores=1,3,5,7
/proc/23268/task/23329/stat : 23329 (java) S 23265 23268 20994 0 -1 1077944384 3 13131 0 0 0 0 5 3 20 0 15 0 228307402 11246788608 22218 33554432000 4194304 4196468 140735891204096 140252587841872 140254277584795 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23330] ppid=23265 vsize=10983192 memory=13252 CPUtime=0.18 cores=1,3,5,7
/proc/23268/task/23330/stat : 23330 (java) S 23265 23268 20994 0 -1 1077944384 980 13131 0 0 10 0 5 3 20 0 15 0 228307402 11246788608 22218 33554432000 4194304 4196468 140735891204096 140253769603440 140254277577346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23331] ppid=23265 vsize=10983192 memory=15460 CPUtime=0.15 cores=1,3,5,7
/proc/23268/task/23331/stat : 23331 (java) S 23265 23268 20994 0 -1 1077944384 534 13131 0 0 7 0 5 3 20 0 15 0 228307402 11246788608 22218 33554432000 4194304 4196468 140735891204096 140253700548848 140254277577346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23332] ppid=23265 vsize=10983192 memory=17668 CPUtime=0.2 cores=1,3,5,7
/proc/23268/task/23332/stat : 23332 (java) S 23265 23268 20994 0 -1 1077944384 689 13131 0 0 12 0 5 3 20 0 15 0 228307402 11246788608 22218 33554432000 4194304 4196468 140735891204096 140253699496048 140254277577346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23333] ppid=23265 vsize=10983192 memory=19876 CPUtime=0.08 cores=1,3,5,7
/proc/23268/task/23333/stat : 23333 (java) S 23265 23268 20994 0 -1 1077944384 3 13131 0 0 0 0 5 3 20 0 15 0 228307402 11246788608 22218 33554432000 4194304 4196468 140735891204096 140252157044960 140254277576405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23334] ppid=23265 vsize=10983192 memory=22084 CPUtime=0.08 cores=1,3,5,7
/proc/23268/task/23334/stat : 23334 (java) S 23265 23268 20994 0 -1 1077944384 1 13131 0 0 0 0 5 3 20 0 15 0 228307402 11246788608 22218 33554432000 4194304 4196468 140735891204096 140253698444464 140254277577346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88872 KiB
[startup+1.50077 s]
/proc/loadavg: 1.48 1.50 1.58 5/219 23334
/proc/meminfo: memFree=2265656/32770624 swapFree=67108856/67108860
[pid=23268] ppid=23265 vsize=10998092 memory=188144 CPUtime=2.5 cores=1,3,5,7
/proc/23268/stat : 23268 (java) S 23265 23268 20994 0 -1 1077944320 24203 13131 0 0 232 10 5 3 20 0 15 0 228307387 11262046208 47036 33554432000 4194304 4196468 140735891204096 140735891186640 140254277566199 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
/proc/23268/statm: 2749523 47036 3469 1 0 2711181 0
[pid=23268/tid=23321] ppid=23265 vsize=10998092 memory=0 CPUtime=1.43 cores=1,3,5,7
/proc/23268/task/23321/stat : 23321 (java) R 23265 23268 20994 0 -1 4202560 17568 13131 0 0 128 7 5 3 20 0 15 0 228307396 11262046208 47036 33554432000 4194304 4196468 140735891204096 140254249373872 140254277578134 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23322] ppid=23265 vsize=10998092 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/23268/task/23322/stat : 23322 (java) S 23265 23268 20994 0 -1 1077944384 182 13131 0 0 1 0 5 3 20 0 15 0 228307397 11262046208 47036 33554432000 4194304 4196468 140735891204096 140254281808528 140254277576405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23323] ppid=23265 vsize=10998092 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/23268/task/23323/stat : 23323 (java) S 23265 23268 20994 0 -1 1077944384 34 13131 0 0 1 0 5 3 20 0 15 0 228307397 11262046208 47036 33554432000 4194304 4196468 140735891204096 140254171413008 140254277576405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23324] ppid=23265 vsize=10998092 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/23268/task/23324/stat : 23324 (java) S 23265 23268 20994 0 -1 1077944384 27 13131 0 0 1 0 5 3 20 0 15 0 228307397 11262046208 47036 33554432000 4194304 4196468 140735891204096 140253816658320 140254277576405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23325] ppid=23265 vsize=10998092 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/23268/task/23325/stat : 23325 (java) S 23265 23268 20994 0 -1 1077944384 58 13131 0 0 1 0 5 3 20 0 15 0 228307397 11262046208 47036 33554432000 4194304 4196468 140735891204096 140253815605520 140254277576405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23326] ppid=23265 vsize=10998092 memory=-7965959130280075168 CPUtime=0.09 cores=1,3,5,7
/proc/23268/task/23326/stat : 23326 (java) S 23265 23268 20994 0 -1 1077944384 58 13131 0 0 1 0 5 3 20 0 15 0 228307398 11262046208 47036 33554432000 4194304 4196468 140735891204096 140253770656624 140254277577346 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23327] ppid=23265 vsize=10998092 memory=279842486561024 CPUtime=0.08 cores=1,3,5,7
/proc/23268/task/23327/stat : 23327 (java) S 23265 23268 20994 0 -1 1077944384 13 13131 0 0 0 0 5 3 20 0 15 0 228307399 11262046208 47036 33554432000 4194304 4196468 140735891204096 140253096568416 140254277576405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23328] ppid=23265 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23268/task/23328/stat : 23328 (java) S 23265 23268 20994 0 -1 1077944384 2 13131 0 0 0 0 5 3 20 0 15 0 228307399 11262046208 47036 33554432000 4194304 4196468 140735891204096 140252895241600 140254277576405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23329] ppid=23265 vsize=10998092 memory=11796 CPUtime=0.08 cores=1,3,5,7
/proc/23268/task/23329/stat : 23329 (java) S 23265 23268 20994 0 -1 1077944384 3 13131 0 0 0 0 5 3 20 0 15 0 228307402 11262046208 47036 33554432000 4194304 4196468 140735891204096 140252587841872 140254277584795 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23330] ppid=23265 vsize=10998092 memory=5772 CPUtime=0.35 cores=1,3,5,7
/proc/23268/task/23330/stat : 23330 (java) R 23265 23268 20994 0 -1 4202560 1279 13131 0 0 27 0 5 3 20 0 15 0 228307402 11262046208 47036 33554432000 4194304 4196468 140735891204096 140253769603440 140254277578134 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23331] ppid=23265 vsize=10998092 memory=4616 CPUtime=0.4 cores=1,3,5,7
/proc/23268/task/23331/stat : 23331 (java) R 23265 23268 20994 0 -1 1077944384 1360 13131 0 0 32 0 5 3 20 0 15 0 228307402 11262046208 47036 33554432000 4194304 4196468 140735891204096 140253700548848 140254277577346 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23332] ppid=23265 vsize=10998092 memory=1388 CPUtime=0.44 cores=1,3,5,7
/proc/23268/task/23332/stat : 23332 (java) R 23265 23268 20994 0 -1 4202560 1423 13131 0 0 36 0 5 3 20 0 15 0 228307402 11262046208 47036 33554432000 4194304 4196468 140735891204096 140253699496048 140254277578134 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23333] ppid=23265 vsize=10998092 memory=1228 CPUtime=0.08 cores=1,3,5,7
/proc/23268/task/23333/stat : 23333 (java) S 23265 23268 20994 0 -1 1077944384 3 13131 0 0 0 0 5 3 20 0 15 0 228307402 11262046208 47036 33554432000 4194304 4196468 140735891204096 140252157044960 140254277576405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23334] ppid=23265 vsize=10998092 memory=880 CPUtime=0.08 cores=1,3,5,7
/proc/23268/task/23334/stat : 23334 (java) S 23265 23268 20994 0 -1 1077944384 1 13131 0 0 0 0 5 3 20 0 15 0 228307402 11262046208 47036 33554432000 4194304 4196468 140735891204096 140253698444464 140254277577346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
Current children cumulated CPU time: 2.5 s
Current children cumulated vsize: 10998092 KiB
################
# More data... #
################
/proc/23268/task/23321/stat : 23321 (java) R 23265 23268 20994 0 -1 4202560 3604928 13131 0 0 236202 320 5 3 20 0 15 0 228307396 11280941056 950345 33554432000 4194304 4196468 140735891204096 140254249399696 140253870366432 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23322] ppid=23265 vsize=11016544 memory=3801380 CPUtime=15.64 cores=1,3,5,7
/proc/23268/task/23322/stat : 23322 (java) S 23265 23268 20994 0 -1 1077944384 150915 13131 0 0 1454 102 5 3 20 0 15 0 228307397 11280941056 950345 33554432000 4194304 4196468 140735891204096 140254281808528 140254277576405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23323] ppid=23265 vsize=11016544 memory=3472328296227679313 CPUtime=15.63 cores=1,3,5,7
/proc/23268/task/23323/stat : 23323 (java) S 23265 23268 20994 0 -1 1077944384 161743 13131 0 0 1455 100 5 3 20 0 15 0 228307397 11280941056 950345 33554432000 4194304 4196468 140735891204096 140254171413008 140254277576405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23324] ppid=23265 vsize=11016544 memory=3801380 CPUtime=15.62 cores=1,3,5,7
/proc/23268/task/23324/stat : 23324 (java) S 23265 23268 20994 0 -1 1077944384 153361 13131 0 0 1457 97 5 3 20 0 15 0 228307397 11280941056 950345 33554432000 4194304 4196468 140735891204096 140253816658320 140254277576405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23325] ppid=23265 vsize=11016544 memory=3801380 CPUtime=15.67 cores=1,3,5,7
/proc/23268/task/23325/stat : 23325 (java) S 23265 23268 20994 0 -1 1077944384 153049 13131 0 0 1465 94 5 3 20 0 15 0 228307397 11280941056 950345 33554432000 4194304 4196468 140735891204096 140253815605520 140254277576405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23326] ppid=23265 vsize=11016544 memory=3801380 CPUtime=1.21 cores=1,3,5,7
/proc/23268/task/23326/stat : 23326 (java) S 23265 23268 20994 0 -1 1077944384 35567 13131 0 0 92 21 5 3 20 0 15 0 228307398 11280941056 950345 33554432000 4194304 4196468 140735891204096 140253770656624 140254277577346 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23327] ppid=23265 vsize=11016544 memory=3801380 CPUtime=0.08 cores=1,3,5,7
/proc/23268/task/23327/stat : 23327 (java) S 23265 23268 20994 0 -1 1077944384 31 13131 0 0 0 0 5 3 20 0 15 0 228307399 11280941056 950345 33554432000 4194304 4196468 140735891204096 140253096568480 140254277576405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23328] ppid=23265 vsize=11016544 memory=3801380 CPUtime=0.08 cores=1,3,5,7
/proc/23268/task/23328/stat : 23328 (java) S 23265 23268 20994 0 -1 1077944384 29 13131 0 0 0 0 5 3 20 0 15 0 228307399 11280941056 950345 33554432000 4194304 4196468 140735891204096 140252895241760 140254277576405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23329] ppid=23265 vsize=11016544 memory=3801380 CPUtime=0.08 cores=1,3,5,7
/proc/23268/task/23329/stat : 23329 (java) S 23265 23268 20994 0 -1 1077944384 3 13131 0 0 0 0 5 3 20 0 15 0 228307402 11280941056 950345 33554432000 4194304 4196468 140735891204096 140252587841872 140254277584795 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23330] ppid=23265 vsize=11016544 memory=3768 CPUtime=13.09 cores=1,3,5,7
/proc/23268/task/23330/stat : 23330 (java) S 23265 23268 20994 0 -1 1077944384 90072 13131 0 0 1292 9 5 3 20 0 15 0 228307402 11280941056 950345 33554432000 4194304 4196468 140735891204096 140253769603440 140254277577346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23331] ppid=23265 vsize=11016544 memory=62240 CPUtime=12.68 cores=1,3,5,7
/proc/23268/task/23331/stat : 23331 (java) S 23265 23268 20994 0 -1 1077944384 86644 13131 0 0 1249 11 5 3 20 0 15 0 228307402 11280941056 950345 33554432000 4194304 4196468 140735891204096 140253700548848 140254277577346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23332] ppid=23265 vsize=11016544 memory=3801380 CPUtime=3.36 cores=1,3,5,7
/proc/23268/task/23332/stat : 23332 (java) S 23265 23268 20994 0 -1 1077944384 73724 13131 0 0 320 8 5 3 20 0 15 0 228307402 11280941056 950345 33554432000 4194304 4196468 140735891204096 140253699496048 140254277577346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23333] ppid=23265 vsize=11016544 memory=3768 CPUtime=0.08 cores=1,3,5,7
/proc/23268/task/23333/stat : 23333 (java) S 23265 23268 20994 0 -1 1077944384 3 13131 0 0 0 0 5 3 20 0 15 0 228307402 11280941056 950345 33554432000 4194304 4196468 140735891204096 140252157044960 140254277576405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23334] ppid=23265 vsize=11016544 memory=3801380 CPUtime=1.53 cores=1,3,5,7
/proc/23268/task/23334/stat : 23334 (java) S 23265 23268 20994 0 -1 1077944384 3112 13131 0 0 58 87 5 3 20 0 15 0 228307402 11280941056 950345 33554432000 4194304 4196468 140735891204096 140253698444464 140254277577346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
Current children cumulated CPU time: 2459.13 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3801380 KiB
[startup+2442.3 s]
/proc/loadavg: 1.47 1.67 1.72 4/219 23563
/proc/meminfo: memFree=2894376/32770624 swapFree=67108852/67108860
[pid=23268] ppid=23265 vsize=11016544 memory=3801380 CPUtime=2519.63 cores=1,3,5,7
/proc/23268/stat : 23268 (java) S 23265 23268 20994 0 -1 1077944320 4532717 13131 0 0 251122 833 5 3 20 0 15 0 228307387 11280941056 950345 33554432000 4194304 4196468 140735891204096 140735891186640 140254277566199 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
/proc/23268/statm: 2754136 950345 3533 1 0 2715789 0
[pid=23268/tid=23321] ppid=23265 vsize=11016544 memory=3801380 CPUtime=2425.14 cores=1,3,5,7
/proc/23268/task/23321/stat : 23321 (java) R 23265 23268 20994 0 -1 4202560 3615353 13131 0 0 242184 322 5 3 20 0 15 0 228307396 11280941056 950345 33554432000 4194304 4196468 140735891204096 140254249399728 140253862952631 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23322] ppid=23265 vsize=11016544 memory=3801380 CPUtime=15.79 cores=1,3,5,7
/proc/23268/task/23322/stat : 23322 (java) S 23265 23268 20994 0 -1 1077944384 151881 13131 0 0 1469 102 5 3 20 0 15 0 228307397 11280941056 950345 33554432000 4194304 4196468 140735891204096 140254281808528 140254277576405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23323] ppid=23265 vsize=11016544 memory=3801380 CPUtime=15.78 cores=1,3,5,7
/proc/23268/task/23323/stat : 23323 (java) S 23265 23268 20994 0 -1 1077944384 162282 13131 0 0 1470 100 5 3 20 0 15 0 228307397 11280941056 950345 33554432000 4194304 4196468 140735891204096 140254171413008 140254277576405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23324] ppid=23265 vsize=11016544 memory=3801380 CPUtime=15.77 cores=1,3,5,7
/proc/23268/task/23324/stat : 23324 (java) S 23265 23268 20994 0 -1 1077944384 153968 13131 0 0 1471 98 5 3 20 0 15 0 228307397 11280941056 950345 33554432000 4194304 4196468 140735891204096 140253816658320 140254277576405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23325] ppid=23265 vsize=11016544 memory=3801380 CPUtime=15.81 cores=1,3,5,7
/proc/23268/task/23325/stat : 23325 (java) S 23265 23268 20994 0 -1 1077944384 154587 13131 0 0 1479 94 5 3 20 0 15 0 228307397 11280941056 950345 33554432000 4194304 4196468 140735891204096 140253815605520 140254277576405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23326] ppid=23265 vsize=11016544 memory=3801380 CPUtime=1.23 cores=1,3,5,7
/proc/23268/task/23326/stat : 23326 (java) S 23265 23268 20994 0 -1 1077944384 35885 13131 0 0 93 22 5 3 20 0 15 0 228307398 11280941056 950345 33554432000 4194304 4196468 140735891204096 140253770656624 140254277577346 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23327] ppid=23265 vsize=11016544 memory=3801380 CPUtime=0.08 cores=1,3,5,7
/proc/23268/task/23327/stat : 23327 (java) S 23265 23268 20994 0 -1 1077944384 31 13131 0 0 0 0 5 3 20 0 15 0 228307399 11280941056 950345 33554432000 4194304 4196468 140735891204096 140253096568480 140254277576405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23328] ppid=23265 vsize=11016544 memory=880 CPUtime=0.08 cores=1,3,5,7
/proc/23268/task/23328/stat : 23328 (java) S 23265 23268 20994 0 -1 1077944384 29 13131 0 0 0 0 5 3 20 0 15 0 228307399 11280941056 950345 33554432000 4194304 4196468 140735891204096 140252895241760 140254277576405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23329] ppid=23265 vsize=11016544 memory=3801380 CPUtime=0.08 cores=1,3,5,7
/proc/23268/task/23329/stat : 23329 (java) S 23265 23268 20994 0 -1 1077944384 3 13131 0 0 0 0 5 3 20 0 15 0 228307402 11280941056 950345 33554432000 4194304 4196468 140735891204096 140252587841872 140254277584795 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23330] ppid=23265 vsize=11016544 memory=3801380 CPUtime=13.09 cores=1,3,5,7
/proc/23268/task/23330/stat : 23330 (java) S 23265 23268 20994 0 -1 1077944384 90075 13131 0 0 1292 9 5 3 20 0 15 0 228307402 11280941056 950345 33554432000 4194304 4196468 140735891204096 140253769603440 140254277577346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23331] ppid=23265 vsize=11016544 memory=3801380 CPUtime=12.7 cores=1,3,5,7
/proc/23268/task/23331/stat : 23331 (java) S 23265 23268 20994 0 -1 1077944384 88905 13131 0 0 1250 12 5 3 20 0 15 0 228307402 11280941056 950345 33554432000 4194304 4196468 140735891204096 140253700548848 140254277577346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23332] ppid=23265 vsize=11016544 memory=3801380 CPUtime=3.36 cores=1,3,5,7
/proc/23268/task/23332/stat : 23332 (java) S 23265 23268 20994 0 -1 1077944384 74366 13131 0 0 320 8 5 3 20 0 15 0 228307402 11280941056 950345 33554432000 4194304 4196468 140735891204096 140253699496048 140254277577346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23333] ppid=23265 vsize=11016544 memory=3801380 CPUtime=0.08 cores=1,3,5,7
/proc/23268/task/23333/stat : 23333 (java) S 23265 23268 20994 0 -1 1077944384 3 13131 0 0 0 0 5 3 20 0 15 0 228307402 11280941056 950345 33554432000 4194304 4196468 140735891204096 140252157044960 140254277576405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23334] ppid=23265 vsize=11016544 memory=2252 CPUtime=1.57 cores=1,3,5,7
/proc/23268/task/23334/stat : 23334 (java) S 23265 23268 20994 0 -1 1077944384 3157 13131 0 0 59 90 5 3 20 0 15 0 228307402 11280941056 950345 33554432000 4194304 4196468 140735891204096 140253698444464 140254277577346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
Current children cumulated CPU time: 2519.63 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3801380 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2442.7 s]
/proc/loadavg: 1.47 1.67 1.72 4/219 23563
/proc/meminfo: memFree=2894376/32770624 swapFree=67108852/67108860
[pid=23268] ppid=23265 vsize=11016544 memory=3801380 CPUtime=2520.03 cores=1,3,5,7
/proc/23268/stat : 23268 (java) S 23265 23268 20994 0 -1 1077944320 4532717 13131 0 0 251162 833 5 3 20 0 15 0 228307387 11280941056 950345 33554432000 4194304 4196468 140735891204096 140735891186640 140254277566199 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
/proc/23268/statm: 2754136 950345 3533 1 0 2715789 0
[pid=23268/tid=23321] ppid=23265 vsize=11016544 memory=3801380 CPUtime=2425.54 cores=1,3,5,7
/proc/23268/task/23321/stat : 23321 (java) R 23265 23268 20994 0 -1 4202560 3615353 13131 0 0 242224 322 5 3 20 0 15 0 228307396 11280941056 950345 33554432000 4194304 4196468 140735891204096 140254249399728 140253870596935 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23322] ppid=23265 vsize=11016544 memory=3801380 CPUtime=15.79 cores=1,3,5,7
/proc/23268/task/23322/stat : 23322 (java) S 23265 23268 20994 0 -1 1077944384 151881 13131 0 0 1469 102 5 3 20 0 15 0 228307397 11280941056 950345 33554432000 4194304 4196468 140735891204096 140254281808528 140254277576405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23323] ppid=23265 vsize=11016544 memory=3801380 CPUtime=15.78 cores=1,3,5,7
/proc/23268/task/23323/stat : 23323 (java) S 23265 23268 20994 0 -1 1077944384 162282 13131 0 0 1470 100 5 3 20 0 15 0 228307397 11280941056 950345 33554432000 4194304 4196468 140735891204096 140254171413008 140254277576405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23324] ppid=23265 vsize=11016544 memory=3801380 CPUtime=15.77 cores=1,3,5,7
/proc/23268/task/23324/stat : 23324 (java) S 23265 23268 20994 0 -1 1077944384 153968 13131 0 0 1471 98 5 3 20 0 15 0 228307397 11280941056 950345 33554432000 4194304 4196468 140735891204096 140253816658320 140254277576405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23325] ppid=23265 vsize=11016544 memory=3801380 CPUtime=15.81 cores=1,3,5,7
/proc/23268/task/23325/stat : 23325 (java) S 23265 23268 20994 0 -1 1077944384 154587 13131 0 0 1479 94 5 3 20 0 15 0 228307397 11280941056 950345 33554432000 4194304 4196468 140735891204096 140253815605520 140254277576405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23326] ppid=23265 vsize=11016544 memory=3801380 CPUtime=1.23 cores=1,3,5,7
/proc/23268/task/23326/stat : 23326 (java) S 23265 23268 20994 0 -1 1077944384 35885 13131 0 0 93 22 5 3 20 0 15 0 228307398 11280941056 950345 33554432000 4194304 4196468 140735891204096 140253770656624 140254277577346 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23327] ppid=23265 vsize=11016544 memory=3801380 CPUtime=0.08 cores=1,3,5,7
/proc/23268/task/23327/stat : 23327 (java) S 23265 23268 20994 0 -1 1077944384 31 13131 0 0 0 0 5 3 20 0 15 0 228307399 11280941056 950345 33554432000 4194304 4196468 140735891204096 140253096568480 140254277576405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23328] ppid=23265 vsize=11016544 memory=880 CPUtime=0.08 cores=1,3,5,7
/proc/23268/task/23328/stat : 23328 (java) S 23265 23268 20994 0 -1 1077944384 29 13131 0 0 0 0 5 3 20 0 15 0 228307399 11280941056 950345 33554432000 4194304 4196468 140735891204096 140252895241760 140254277576405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23329] ppid=23265 vsize=11016544 memory=3801380 CPUtime=0.08 cores=1,3,5,7
/proc/23268/task/23329/stat : 23329 (java) S 23265 23268 20994 0 -1 1077944384 3 13131 0 0 0 0 5 3 20 0 15 0 228307402 11280941056 950345 33554432000 4194304 4196468 140735891204096 140252587841872 140254277584795 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23330] ppid=23265 vsize=11016544 memory=3801380 CPUtime=13.09 cores=1,3,5,7
/proc/23268/task/23330/stat : 23330 (java) S 23265 23268 20994 0 -1 1077944384 90075 13131 0 0 1292 9 5 3 20 0 15 0 228307402 11280941056 950345 33554432000 4194304 4196468 140735891204096 140253769603440 140254277577346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23331] ppid=23265 vsize=11016544 memory=3801380 CPUtime=12.7 cores=1,3,5,7
/proc/23268/task/23331/stat : 23331 (java) S 23265 23268 20994 0 -1 1077944384 88905 13131 0 0 1250 12 5 3 20 0 15 0 228307402 11280941056 950345 33554432000 4194304 4196468 140735891204096 140253700548848 140254277577346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23332] ppid=23265 vsize=11016544 memory=3801380 CPUtime=3.36 cores=1,3,5,7
/proc/23268/task/23332/stat : 23332 (java) S 23265 23268 20994 0 -1 1077944384 74366 13131 0 0 320 8 5 3 20 0 15 0 228307402 11280941056 950345 33554432000 4194304 4196468 140735891204096 140253699496048 140254277577346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23333] ppid=23265 vsize=11016544 memory=3801380 CPUtime=0.08 cores=1,3,5,7
/proc/23268/task/23333/stat : 23333 (java) S 23265 23268 20994 0 -1 1077944384 3 13131 0 0 0 0 5 3 20 0 15 0 228307402 11280941056 950345 33554432000 4194304 4196468 140735891204096 140252157044960 140254277576405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23334] ppid=23265 vsize=11016544 memory=2252 CPUtime=1.57 cores=1,3,5,7
/proc/23268/task/23334/stat : 23334 (java) S 23265 23268 20994 0 -1 1077944384 3157 13131 0 0 59 90 5 3 20 0 15 0 228307402 11280941056 950345 33554432000 4194304 4196468 140735891204096 140253698444464 140254277577346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3801380 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2442.76 s]
# the end of solver process 23268 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2511.71 s, system=8.40536 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2442.7 s]
/proc/loadavg: 1.47 1.67 1.72 4/219 23563
/proc/meminfo: memFree=2894376/32770624 swapFree=67108852/67108860
[pid=23268] ppid=23265 vsize=11016544 memory=3801380 CPUtime=2520.03 cores=1,3,5,7
/proc/23268/stat : 23268 (java) S 23265 23268 20994 0 -1 1077944320 4532717 13131 0 0 251162 833 5 3 20 0 15 0 228307387 11280941056 950345 33554432000 4194304 4196468 140735891204096 140735891186640 140254277566199 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
/proc/23268/statm: 2754136 950345 3533 1 0 2715789 0
[pid=23268/tid=23321] ppid=23265 vsize=11016544 memory=3801380 CPUtime=2425.54 cores=1,3,5,7
/proc/23268/task/23321/stat : 23321 (java) R 23265 23268 20994 0 -1 4202560 3615353 13131 0 0 242224 322 5 3 20 0 15 0 228307396 11280941056 950345 33554432000 4194304 4196468 140735891204096 140254249399728 140253870596935 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23322] ppid=23265 vsize=11016544 memory=3801380 CPUtime=15.79 cores=1,3,5,7
/proc/23268/task/23322/stat : 23322 (java) S 23265 23268 20994 0 -1 1077944384 151881 13131 0 0 1469 102 5 3 20 0 15 0 228307397 11280941056 950345 33554432000 4194304 4196468 140735891204096 140254281808528 140254277576405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23323] ppid=23265 vsize=11016544 memory=3801380 CPUtime=15.78 cores=1,3,5,7
/proc/23268/task/23323/stat : 23323 (java) S 23265 23268 20994 0 -1 1077944384 162282 13131 0 0 1470 100 5 3 20 0 15 0 228307397 11280941056 950345 33554432000 4194304 4196468 140735891204096 140254171413008 140254277576405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23324] ppid=23265 vsize=11016544 memory=3801380 CPUtime=15.77 cores=1,3,5,7
/proc/23268/task/23324/stat : 23324 (java) S 23265 23268 20994 0 -1 1077944384 153968 13131 0 0 1471 98 5 3 20 0 15 0 228307397 11280941056 950345 33554432000 4194304 4196468 140735891204096 140253816658320 140254277576405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23325] ppid=23265 vsize=11016544 memory=3801380 CPUtime=15.81 cores=1,3,5,7
/proc/23268/task/23325/stat : 23325 (java) S 23265 23268 20994 0 -1 1077944384 154587 13131 0 0 1479 94 5 3 20 0 15 0 228307397 11280941056 950345 33554432000 4194304 4196468 140735891204096 140253815605520 140254277576405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23326] ppid=23265 vsize=11016544 memory=3801380 CPUtime=1.23 cores=1,3,5,7
/proc/23268/task/23326/stat : 23326 (java) S 23265 23268 20994 0 -1 1077944384 35885 13131 0 0 93 22 5 3 20 0 15 0 228307398 11280941056 950345 33554432000 4194304 4196468 140735891204096 140253770656624 140254277577346 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23327] ppid=23265 vsize=11016544 memory=3801380 CPUtime=0.08 cores=1,3,5,7
/proc/23268/task/23327/stat : 23327 (java) S 23265 23268 20994 0 -1 1077944384 31 13131 0 0 0 0 5 3 20 0 15 0 228307399 11280941056 950345 33554432000 4194304 4196468 140735891204096 140253096568480 140254277576405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23328] ppid=23265 vsize=11016544 memory=880 CPUtime=0.08 cores=1,3,5,7
/proc/23268/task/23328/stat : 23328 (java) S 23265 23268 20994 0 -1 1077944384 29 13131 0 0 0 0 5 3 20 0 15 0 228307399 11280941056 950345 33554432000 4194304 4196468 140735891204096 140252895241760 140254277576405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23329] ppid=23265 vsize=11016544 memory=3801380 CPUtime=0.08 cores=1,3,5,7
/proc/23268/task/23329/stat : 23329 (java) S 23265 23268 20994 0 -1 1077944384 3 13131 0 0 0 0 5 3 20 0 15 0 228307402 11280941056 950345 33554432000 4194304 4196468 140735891204096 140252587841872 140254277584795 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23330] ppid=23265 vsize=11016544 memory=3801380 CPUtime=13.09 cores=1,3,5,7
/proc/23268/task/23330/stat : 23330 (java) S 23265 23268 20994 0 -1 1077944384 90075 13131 0 0 1292 9 5 3 20 0 15 0 228307402 11280941056 950345 33554432000 4194304 4196468 140735891204096 140253769603440 140254277577346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23331] ppid=23265 vsize=11016544 memory=3801380 CPUtime=12.7 cores=1,3,5,7
/proc/23268/task/23331/stat : 23331 (java) S 23265 23268 20994 0 -1 1077944384 88905 13131 0 0 1250 12 5 3 20 0 15 0 228307402 11280941056 950345 33554432000 4194304 4196468 140735891204096 140253700548848 140254277577346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23332] ppid=23265 vsize=11016544 memory=3801380 CPUtime=3.36 cores=1,3,5,7
/proc/23268/task/23332/stat : 23332 (java) S 23265 23268 20994 0 -1 1077944384 74366 13131 0 0 320 8 5 3 20 0 15 0 228307402 11280941056 950345 33554432000 4194304 4196468 140735891204096 140253699496048 140254277577346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23333] ppid=23265 vsize=11016544 memory=3801380 CPUtime=0.08 cores=1,3,5,7
/proc/23268/task/23333/stat : 23333 (java) S 23265 23268 20994 0 -1 1077944384 3 13131 0 0 0 0 5 3 20 0 15 0 228307402 11280941056 950345 33554432000 4194304 4196468 140735891204096 140252157044960 140254277576405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
[pid=23268/tid=23334] ppid=23265 vsize=11016544 memory=2252 CPUtime=1.57 cores=1,3,5,7
/proc/23268/task/23334/stat : 23334 (java) S 23265 23268 20994 0 -1 1077944384 3157 13131 0 0 59 90 5 3 20 0 15 0 228307402 11280941056 950345 33554432000 4194304 4196468 140735891204096 140253698444464 140254277577346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39616512 140735891212900 140735891215708 140735891215708 140735891218383 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3801380 KiB
Child status: 143
Real time (s): 2442.76
CPU time (s): 2520.11
CPU user time (s): 2511.71
CPU system time (s): 8.40536
CPU usage (%): 103.167
Max. virtual memory (cumulated for all children) (KiB): 11016544
Max. memory (cumulated for all children) (KiB): 3802396
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2511.71
system time used= 8.40536
maximum resident set size= 3805592
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4547807
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3280
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 76818
involuntary context switches= 2774
# summary of solver processes directly reported to runsolver:
# pid: 23268
# total CPU time (s): 2520.11
# total CPU user time (s): 2511.71
# total CPU system time (s): 8.40536
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.0793 second user time and 22.9522 second system time
The end