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 (5302 MiB free)
memory of node 1: 16384 MiB (5423 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304231-1534048984/watcher-4304231-1534048984 -o /tmp/evaluation-result-4304231-1534048984/solver-4304231-1534048984 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1534038877-15391 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=749107145 HOME/instance-4304231-1534048984.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=17163, runsolver pid=17160
Current StackSize limit: 8192 KiB
[startup+0.100112 s]*
/proc/loadavg: 1.41 1.39 1.42 3/206 17220
/proc/meminfo: memFree=10975440/32770624 swapFree=67108496/67108860
[pid=17163] ppid=17160 vsize=10088124 memory=15968 CPUtime=0.09 cores=1,3,5,7
/proc/17163/stat : 17163 (java) S 17160 17163 14233 0 -1 1077944320 4670 12865 0 0 2 0 4 3 20 0 7 0 222461654 10330238976 3992 33554432000 4194304 4196468 140723908910576 140723908893120 140383456214775 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
/proc/17163/statm: 2522031 3992 2026 1 0 2510469 0
[pid=17163/tid=17216] ppid=17160 vsize=10088124 memory=4279135704047453836 CPUtime=0.08 cores=1,3,5,7
/proc/17163/task/17216/stat : 17216 (java) R 17160 17163 14233 0 -1 4202560 2472 12865 0 0 1 0 4 3 20 0 7 0 222461662 10330238976 3992 33554432000 4194304 4196468 140723908910576 140383428057872 140383456236701 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17217] ppid=17160 vsize=10088124 memory=8257237230052613020 CPUtime=0.07 cores=1,3,5,7
/proc/17163/task/17217/stat : 17217 (java) S 17160 17163 14233 0 -1 1077944384 1 12865 0 0 0 0 4 3 20 0 7 0 222461663 10330238976 3992 33554432000 4194304 4196468 140723908910576 140383460457232 140383456224981 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17218] ppid=17160 vsize=10088124 memory=140614781740672 CPUtime=0.07 cores=1,3,5,7
/proc/17163/task/17218/stat : 17218 (java) S 17160 17163 14233 0 -1 1077944384 2 12865 0 0 0 0 4 3 20 0 7 0 222461663 10330238976 3992 33554432000 4194304 4196468 140723908910576 140383356660624 140383456224981 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17219] ppid=17160 vsize=10088124 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17163/task/17219/stat : 17219 (java) S 17160 17163 14233 0 -1 1077944384 1 12865 0 0 0 0 4 3 20 0 7 0 222461663 10330238976 3992 33554432000 4194304 4196468 140723908910576 140382994623504 140383456224981 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17220] ppid=17160 vsize=10088124 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/17163/task/17220/stat : 17220 (java) S 17160 17163 14233 0 -1 1077944384 2 12865 0 0 0 0 4 3 20 0 7 0 222461663 10330238976 3992 33554432000 4194304 4196468 140723908910576 140382993570960 140383456224981 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17221] ppid=17160 vsize=10088124 memory=140614781740672 CPUtime=0.07 cores=1,3,5,7
/proc/17163/task/17221/stat : 17221 (java) S 17160 17163 14233 0 -1 1077944384 2 12865 0 0 0 0 4 3 20 0 7 0 222461664 10330238976 3992 33554432000 4194304 4196468 140723908910576 140382881953776 140383456225922 0 0 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10088124 KiB
Current children cumulated memory: 15968 KiB
[startup+0.210197 s]*
/proc/loadavg: 1.41 1.39 1.42 3/215 17229
/proc/meminfo: memFree=10954108/32770624 swapFree=67108496/67108860
[pid=17163] ppid=17160 vsize=10985364 memory=46152 CPUtime=0.26 cores=1,3,5,7
/proc/17163/stat : 17163 (java) S 17160 17163 14233 0 -1 1077944320 8723 12865 0 0 17 2 4 3 20 0 15 0 222461654 11249012736 11538 33554432000 4194304 4196468 140723908910576 140723908893120 140383456214775 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
/proc/17163/statm: 2746341 11538 2985 1 0 2708764 0
[pid=17163/tid=17216] ppid=17160 vsize=10985364 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/17163/task/17216/stat : 17216 (java) R 17160 17163 14233 0 -1 4202560 5262 12865 0 0 11 1 4 3 20 0 15 0 222461662 11249012736 11238 33554432000 4194304 4196468 140723908910576 140383428039584 140383448931879 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17217] ppid=17160 vsize=10983736 memory=364 CPUtime=0.07 cores=1,3,5,7
/proc/17163/task/17217/stat : 17217 (java) S 17160 17163 14233 0 -1 1077944384 1 12865 0 0 0 0 4 3 20 0 15 0 222461663 11247345664 10998 33554432000 4194304 4196468 140723908910576 140383460457232 140383456224981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17218] ppid=17160 vsize=10983736 memory=140614781756334 CPUtime=0.07 cores=1,3,5,7
/proc/17163/task/17218/stat : 17218 (java) S 17160 17163 14233 0 -1 1077944384 2 12865 0 0 0 0 4 3 20 0 15 0 222461663 11247345664 10998 33554432000 4194304 4196468 140723908910576 140383356660624 140383456224981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17219] ppid=17160 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17163/task/17219/stat : 17219 (java) S 17160 17163 14233 0 -1 1077944384 1 12865 0 0 0 0 4 3 20 0 15 0 222461663 11246329856 10990 33554432000 4194304 4196468 140723908910576 140382994623504 140383456224981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17220] ppid=17160 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/17163/task/17220/stat : 17220 (java) S 17160 17163 14233 0 -1 1077944384 2 12865 0 0 0 0 4 3 20 0 15 0 222461663 11246329856 10990 33554432000 4194304 4196468 140723908910576 140382993570960 140383456224981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17221] ppid=17160 vsize=10982744 memory=140614781740672 CPUtime=0.07 cores=1,3,5,7
/proc/17163/task/17221/stat : 17221 (java) S 17160 17163 14233 0 -1 1077944384 2 12865 0 0 0 0 4 3 20 0 15 0 222461664 11246329856 10990 33554432000 4194304 4196468 140723908910576 140382881953776 140383456225922 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17222] ppid=17160 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/17163/task/17222/stat : 17222 (java) S 17160 17163 14233 0 -1 1077944384 13 12865 0 0 0 0 4 3 20 0 15 0 222461665 11246329856 10990 33554432000 4194304 4196468 140723908910576 140382294762400 140383456224981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17223] ppid=17160 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17163/task/17223/stat : 17223 (java) S 17160 17163 14233 0 -1 1077944384 1 12865 0 0 0 0 4 3 20 0 15 0 222461665 11246329856 10990 33554432000 4194304 4196468 140723908910576 140382146913264 140383456224981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17224] ppid=17160 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17163/task/17224/stat : 17224 (java) S 17160 17163 14233 0 -1 1077944384 3 12865 0 0 0 0 4 3 20 0 15 0 222461668 11246329856 10990 33554432000 4194304 4196468 140723908910576 140381839513808 140383456233371 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17225] ppid=17160 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17163/task/17225/stat : 17225 (java) S 17160 17163 14233 0 -1 1077944384 429 12865 0 0 0 0 4 3 20 0 15 0 222461668 11246329856 10990 33554432000 4194304 4196468 140723908910576 140382880901616 140383456225922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17226] ppid=17160 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/17163/task/17226/stat : 17226 (java) S 17160 17163 14233 0 -1 1077944384 203 12865 0 0 1 0 4 3 20 0 15 0 222461668 11246329856 10990 33554432000 4194304 4196468 140723908910576 140382879849072 140383456225922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17227] ppid=17160 vsize=10982776 memory=140614781740672 CPUtime=0.1 cores=1,3,5,7
/proc/17163/task/17227/stat : 17227 (java) S 17160 17163 14233 0 -1 1077944384 672 12865 0 0 3 0 4 3 20 0 15 0 222461668 11246362624 10990 33554432000 4194304 4196468 140723908910576 140382878796528 140383456225922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17228] ppid=17160 vsize=10982776 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/17163/task/17228/stat : 17228 (java) S 17160 17163 14233 0 -1 1077944384 3 12865 0 0 0 0 4 3 20 0 15 0 222461668 11246362624 10990 33554432000 4194304 4196468 140723908910576 140381408717920 140383456224981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17229] ppid=17160 vsize=10982776 memory=140614781740672 CPUtime=0.07 cores=1,3,5,7
/proc/17163/task/17229/stat : 17229 (java) S 17160 17163 14233 0 -1 1077944384 1 12865 0 0 0 0 4 3 20 0 15 0 222461668 11246362624 10990 33554432000 4194304 4196468 140723908910576 140382877743408 140383456225922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10985364 KiB
Current children cumulated memory: 46152 KiB
[startup+0.310248 s]*
/proc/loadavg: 1.41 1.39 1.42 4/215 17229
/proc/meminfo: memFree=10942076/32770624 swapFree=67108496/67108860
[pid=17163] ppid=17160 vsize=10983192 memory=54432 CPUtime=0.38 cores=1,3,5,7
/proc/17163/stat : 17163 (java) S 17160 17163 14233 0 -1 1077944320 10667 12865 0 0 28 3 4 3 20 0 15 0 222461654 11246788608 13608 33554432000 4194304 4196468 140723908910576 140723908893120 140383456214775 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
/proc/17163/statm: 2745798 13608 3104 1 0 2708109 0
[pid=17163/tid=17216] ppid=17160 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/17163/task/17216/stat : 17216 (java) R 17160 17163 14233 0 -1 4202560 7103 12865 0 0 19 2 4 3 20 0 15 0 222461662 11246788608 13608 33554432000 4194304 4196468 140723908910576 140383428026784 140383440295262 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17217] ppid=17160 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17163/task/17217/stat : 17217 (java) S 17160 17163 14233 0 -1 1077944384 1 12865 0 0 0 0 4 3 20 0 15 0 222461663 11246788608 13608 33554432000 4194304 4196468 140723908910576 140383460457232 140383456224981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17218] ppid=17160 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17163/task/17218/stat : 17218 (java) S 17160 17163 14233 0 -1 1077944384 2 12865 0 0 0 0 4 3 20 0 15 0 222461663 11246788608 13608 33554432000 4194304 4196468 140723908910576 140383356660624 140383456224981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17219] ppid=17160 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17163/task/17219/stat : 17219 (java) S 17160 17163 14233 0 -1 1077944384 1 12865 0 0 0 0 4 3 20 0 15 0 222461663 11246788608 13608 33554432000 4194304 4196468 140723908910576 140382994623504 140383456224981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17220] ppid=17160 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17163/task/17220/stat : 17220 (java) S 17160 17163 14233 0 -1 1077944384 2 12865 0 0 0 0 4 3 20 0 15 0 222461663 11246788608 13608 33554432000 4194304 4196468 140723908910576 140382993570960 140383456224981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17221] ppid=17160 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17163/task/17221/stat : 17221 (java) S 17160 17163 14233 0 -1 1077944384 2 12865 0 0 0 0 4 3 20 0 15 0 222461664 11246788608 13608 33554432000 4194304 4196468 140723908910576 140382881953776 140383456225922 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17222] ppid=17160 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17163/task/17222/stat : 17222 (java) S 17160 17163 14233 0 -1 1077944384 13 12865 0 0 0 0 4 3 20 0 15 0 222461665 11246788608 13608 33554432000 4194304 4196468 140723908910576 140382294762400 140383456224981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17223] ppid=17160 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/17163/task/17223/stat : 17223 (java) S 17160 17163 14233 0 -1 1077944384 1 12865 0 0 0 0 4 3 20 0 15 0 222461665 11246788608 13608 33554432000 4194304 4196468 140723908910576 140382146913264 140383456224981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17224] ppid=17160 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17163/task/17224/stat : 17224 (java) S 17160 17163 14233 0 -1 1077944384 3 12865 0 0 0 0 4 3 20 0 15 0 222461668 11246788608 13608 33554432000 4194304 4196468 140723908910576 140381839513808 140383456233371 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17225] ppid=17160 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17163/task/17225/stat : 17225 (java) S 17160 17163 14233 0 -1 1077944384 434 12865 0 0 1 0 4 3 20 0 15 0 222461668 11246788608 13608 33554432000 4194304 4196468 140723908910576 140382880901616 140383456225922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17226] ppid=17160 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/17163/task/17226/stat : 17226 (java) S 17160 17163 14233 0 -1 1077944384 211 12865 0 0 1 0 4 3 20 0 15 0 222461668 11246788608 13608 33554432000 4194304 4196468 140723908910576 140382879849072 140383456225922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17227] ppid=17160 vsize=10983192 memory=140614781740672 CPUtime=0.11 cores=1,3,5,7
/proc/17163/task/17227/stat : 17227 (java) R 17160 17163 14233 0 -1 4202560 702 12865 0 0 4 0 4 3 20 0 15 0 222461668 11246788608 13608 33554432000 4194304 4196468 140723908910576 140382878796528 140383456236122 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17228] ppid=17160 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/17163/task/17228/stat : 17228 (java) S 17160 17163 14233 0 -1 1077944384 3 12865 0 0 0 0 4 3 20 0 15 0 222461668 11246788608 13608 33554432000 4194304 4196468 140723908910576 140381408717920 140383456224981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17229] ppid=17160 vsize=10983192 memory=140614781740672 CPUtime=0.07 cores=1,3,5,7
/proc/17163/task/17229/stat : 17229 (java) S 17160 17163 14233 0 -1 1077944384 1 12865 0 0 0 0 4 3 20 0 15 0 222461668 11246788608 13608 33554432000 4194304 4196468 140723908910576 140382877743408 140383456225922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 54432 KiB
[startup+0.70077 s]
/proc/loadavg: 1.41 1.39 1.42 3/215 17229
/proc/meminfo: memFree=10930540/32770624 swapFree=67108496/67108860
[pid=17163] ppid=17160 vsize=10983192 memory=87812 CPUtime=0.98 cores=1,3,5,7
/proc/17163/stat : 17163 (java) S 17160 17163 14233 0 -1 1077944320 17076 12865 0 0 86 5 4 3 20 0 15 0 222461654 11246788608 21953 33554432000 4194304 4196468 140723908910576 140723908893120 140383456214775 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
/proc/17163/statm: 2745798 21953 3238 1 0 2708109 0
[pid=17163/tid=17216] ppid=17160 vsize=10983192 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/17163/task/17216/stat : 17216 (java) R 17160 17163 14233 0 -1 4202560 12295 12865 0 0 56 3 4 3 20 0 15 0 222461662 11246788608 21953 33554432000 4194304 4196468 140723908910576 140383428035600 140383456228684 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17217] ppid=17160 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17163/task/17217/stat : 17217 (java) S 17160 17163 14233 0 -1 1077944384 1 12865 0 0 0 0 4 3 20 0 15 0 222461663 11246788608 21953 33554432000 4194304 4196468 140723908910576 140383460457232 140383456224981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17218] ppid=17160 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17163/task/17218/stat : 17218 (java) S 17160 17163 14233 0 -1 1077944384 2 12865 0 0 0 0 4 3 20 0 15 0 222461663 11246788608 21953 33554432000 4194304 4196468 140723908910576 140383356660624 140383456224981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17219] ppid=17160 vsize=10983192 memory=8514701219931451533 CPUtime=0.07 cores=1,3,5,7
/proc/17163/task/17219/stat : 17219 (java) S 17160 17163 14233 0 -1 1077944384 1 12865 0 0 0 0 4 3 20 0 15 0 222461663 11246788608 21953 33554432000 4194304 4196468 140723908910576 140382994623504 140383456224981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17220] ppid=17160 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17163/task/17220/stat : 17220 (java) S 17160 17163 14233 0 -1 1077944384 2 12865 0 0 0 0 4 3 20 0 15 0 222461663 11246788608 21953 33554432000 4194304 4196468 140723908910576 140382993570960 140383456224981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17221] ppid=17160 vsize=10983192 memory=6656426216303648864 CPUtime=0.07 cores=1,3,5,7
/proc/17163/task/17221/stat : 17221 (java) S 17160 17163 14233 0 -1 1077944384 6 12865 0 0 0 0 4 3 20 0 15 0 222461664 11246788608 21953 33554432000 4194304 4196468 140723908910576 140382881953776 140383456225922 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17222] ppid=17160 vsize=10983192 memory=68 CPUtime=0.07 cores=1,3,5,7
/proc/17163/task/17222/stat : 17222 (java) S 17160 17163 14233 0 -1 1077944384 13 12865 0 0 0 0 4 3 20 0 15 0 222461665 11246788608 21953 33554432000 4194304 4196468 140723908910576 140382294762400 140383456224981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17223] ppid=17160 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17163/task/17223/stat : 17223 (java) S 17160 17163 14233 0 -1 1077944384 1 12865 0 0 0 0 4 3 20 0 15 0 222461665 11246788608 21953 33554432000 4194304 4196468 140723908910576 140382146913264 140383456224981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17224] ppid=17160 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17163/task/17224/stat : 17224 (java) S 17160 17163 14233 0 -1 1077944384 3 12865 0 0 0 0 4 3 20 0 15 0 222461668 11246788608 21953 33554432000 4194304 4196468 140723908910576 140381839513808 140383456233371 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17225] ppid=17160 vsize=10983192 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/17163/task/17225/stat : 17225 (java) S 17160 17163 14233 0 -1 1077944384 819 12865 0 0 6 0 4 3 20 0 15 0 222461668 11246788608 21953 33554432000 4194304 4196468 140723908910576 140382880901616 140383456225922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17226] ppid=17160 vsize=10983192 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/17163/task/17226/stat : 17226 (java) S 17160 17163 14233 0 -1 1077944384 826 12865 0 0 9 0 4 3 20 0 15 0 222461668 11246788608 21953 33554432000 4194304 4196468 140723908910576 140382879849072 140383456225922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17227] ppid=17160 vsize=10983192 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/17163/task/17227/stat : 17227 (java) S 17160 17163 14233 0 -1 1077944384 910 12865 0 0 12 0 4 3 20 0 15 0 222461668 11246788608 21953 33554432000 4194304 4196468 140723908910576 140382878796528 140383456225922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17228] ppid=17160 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17163/task/17228/stat : 17228 (java) S 17160 17163 14233 0 -1 1077944384 3 12865 0 0 0 0 4 3 20 0 15 0 222461668 11246788608 21953 33554432000 4194304 4196468 140723908910576 140381408717920 140383456224981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17229] ppid=17160 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17163/task/17229/stat : 17229 (java) S 17160 17163 14233 0 -1 1077944384 1 12865 0 0 0 0 4 3 20 0 15 0 222461668 11246788608 21953 33554432000 4194304 4196468 140723908910576 140382877743408 140383456225922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 87812 KiB
[startup+1.5008 s]
/proc/loadavg: 1.41 1.39 1.42 4/215 17229
/proc/meminfo: memFree=10884208/32770624 swapFree=67108496/67108860
[pid=17163] ppid=17160 vsize=10991948 memory=191864 CPUtime=3.09 cores=1,3,5,7
/proc/17163/stat : 17163 (java) S 17160 17163 14233 0 -1 1077944320 24382 12865 0 0 293 9 4 3 20 0 15 0 222461654 11255754752 47966 33554432000 4194304 4196468 140723908910576 140723908893120 140383456214775 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
/proc/17163/statm: 2747987 47966 3448 1 0 2709645 0
[pid=17163/tid=17216] ppid=17160 vsize=10991948 memory=-5185266903443465577 CPUtime=1.46 cores=1,3,5,7
/proc/17163/task/17216/stat : 17216 (java) R 17160 17163 14233 0 -1 4202560 15038 12865 0 0 133 6 4 3 20 0 15 0 222461662 11255754752 47966 33554432000 4194304 4196468 140723908910576 140383428048208 140383456226710 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17217] ppid=17160 vsize=10991948 memory=-7334328148921326750 CPUtime=0.07 cores=1,3,5,7
/proc/17163/task/17217/stat : 17217 (java) S 17160 17163 14233 0 -1 1077944384 1 12865 0 0 0 0 4 3 20 0 15 0 222461663 11255754752 47966 33554432000 4194304 4196468 140723908910576 140383460457232 140383456224981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17218] ppid=17160 vsize=10991948 memory=6720696446780543624 CPUtime=0.07 cores=1,3,5,7
/proc/17163/task/17218/stat : 17218 (java) S 17160 17163 14233 0 -1 1077944384 2 12865 0 0 0 0 4 3 20 0 15 0 222461663 11255754752 47966 33554432000 4194304 4196468 140723908910576 140383356660624 140383456224981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17219] ppid=17160 vsize=10991948 memory=-5153075247754915967 CPUtime=0.07 cores=1,3,5,7
/proc/17163/task/17219/stat : 17219 (java) S 17160 17163 14233 0 -1 1077944384 1 12865 0 0 0 0 4 3 20 0 15 0 222461663 11255754752 47966 33554432000 4194304 4196468 140723908910576 140382994623504 140383456224981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17220] ppid=17160 vsize=10991948 memory=123196 CPUtime=0.07 cores=1,3,5,7
/proc/17163/task/17220/stat : 17220 (java) S 17160 17163 14233 0 -1 1077944384 2 12865 0 0 0 0 4 3 20 0 15 0 222461663 11255754752 47966 33554432000 4194304 4196468 140723908910576 140382993570960 140383456224981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17221] ppid=17160 vsize=10991948 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17163/task/17221/stat : 17221 (java) S 17160 17163 14233 0 -1 1077944384 6 12865 0 0 0 0 4 3 20 0 15 0 222461664 11255754752 47966 33554432000 4194304 4196468 140723908910576 140382881953776 140383456225922 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17222] ppid=17160 vsize=10991948 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17163/task/17222/stat : 17222 (java) S 17160 17163 14233 0 -1 1077944384 13 12865 0 0 0 0 4 3 20 0 15 0 222461665 11255754752 47966 33554432000 4194304 4196468 140723908910576 140382294762400 140383456224981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17223] ppid=17160 vsize=10991948 memory=281229358335680 CPUtime=0.07 cores=1,3,5,7
/proc/17163/task/17223/stat : 17223 (java) S 17160 17163 14233 0 -1 1077944384 1 12865 0 0 0 0 4 3 20 0 15 0 222461665 11255754752 47966 33554432000 4194304 4196468 140723908910576 140382146913264 140383456224981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17224] ppid=17160 vsize=10991948 memory=281229358749904 CPUtime=0.07 cores=1,3,5,7
/proc/17163/task/17224/stat : 17224 (java) S 17160 17163 14233 0 -1 1077944384 3 12865 0 0 0 0 4 3 20 0 15 0 222461668 11255754752 47966 33554432000 4194304 4196468 140723908910576 140381839513808 140383456233371 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17225] ppid=17160 vsize=10991948 memory=140614679177552 CPUtime=0.64 cores=1,3,5,7
/proc/17163/task/17225/stat : 17225 (java) R 17160 17163 14233 0 -1 4202560 2519 12865 0 0 57 0 4 3 20 0 15 0 222461668 11255754752 47966 33554432000 4194304 4196468 140723908910576 140382880888144 140383441133672 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17226] ppid=17160 vsize=10991948 memory=140614781743185 CPUtime=0.68 cores=1,3,5,7
/proc/17163/task/17226/stat : 17226 (java) R 17160 17163 14233 0 -1 4202560 2951 12865 0 0 61 0 4 3 20 0 15 0 222461668 11255754752 47966 33554432000 4194304 4196468 140723908910576 140382879841560 140383435404336 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17227] ppid=17160 vsize=10991948 memory=7944 CPUtime=0.48 cores=1,3,5,7
/proc/17163/task/17227/stat : 17227 (java) R 17160 17163 14233 0 -1 1077944384 1648 12865 0 0 40 1 4 3 20 0 15 0 222461668 11255754752 47966 33554432000 4194304 4196468 140723908910576 140382878796528 140383456225922 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17228] ppid=17160 vsize=10991948 memory=6 CPUtime=0.07 cores=1,3,5,7
/proc/17163/task/17228/stat : 17228 (java) S 17160 17163 14233 0 -1 1077944384 3 12865 0 0 0 0 4 3 20 0 15 0 222461668 11255754752 47966 33554432000 4194304 4196468 140723908910576 140381408717920 140383456224981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17229] ppid=17160 vsize=10991948 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17163/task/17229/stat : 17229 (java) S 17160 17163 14233 0 -1 1077944384 1 12865 0 0 0 0 4 3 20 0 15 0 222461668 11255754752 47966 33554432000 4194304 4196468 140723908910576 140382877743408 140383456225922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
################
# More data... #
################
[startup+697.479 s]
# the end of solver process 17163 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.55 s, system=12.4338 s
Solver just ended.
Dumping a history of the last processes samples
[startup+696.001 s]*
/proc/loadavg: 4.83 4.45 3.13 6/216 17505
/proc/meminfo: memFree=490996/32770624 swapFree=67108496/67108860
[pid=17163] ppid=17160 vsize=11008352 memory=8446260 CPUtime=2522.48 cores=1,3,5,7
/proc/17163/stat : 17163 (java) S 17160 17163 14233 0 -1 1077944320 1686836 12865 0 0 251010 1231 4 3 20 0 15 0 222461654 11272552448 2111565 33554432000 4194304 4196468 140723908910576 140723908893120 140383456214775 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
/proc/17163/statm: 2752088 2111565 3525 1 0 2713741 0
[pid=17163/tid=17216] ppid=17160 vsize=11008352 memory=6791534058613427641 CPUtime=62.69 cores=1,3,5,7
/proc/17163/task/17216/stat : 17216 (java) S 17160 17163 14233 0 -1 1077944384 83600 12865 0 0 6206 56 4 3 20 0 15 0 222461662 11272552448 2111565 33554432000 4194304 4196468 140723908910576 140383428048704 140383456224981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17217] ppid=17160 vsize=11008352 memory=4126316290023845779 CPUtime=605.51 cores=1,3,5,7
/proc/17163/task/17217/stat : 17217 (java) R 17160 17163 14233 0 -1 4202560 262652 12865 0 0 60224 320 4 3 20 0 15 0 222461663 11272552448 2111565 33554432000 4194304 4196468 140723908910576 140383460457128 140383448842983 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17218] ppid=17160 vsize=11008352 memory=756 CPUtime=608.42 cores=1,3,5,7
/proc/17163/task/17218/stat : 17218 (java) R 17160 17163 14233 0 -1 4202560 402155 12865 0 0 60557 278 4 3 20 0 15 0 222461663 11272552448 2111565 33554432000 4194304 4196468 140723908910576 140383356660520 140383448842983 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17219] ppid=17160 vsize=11008352 memory=1624 CPUtime=612.22 cores=1,3,5,7
/proc/17163/task/17219/stat : 17219 (java) R 17160 17163 14233 0 -1 4202560 309378 12865 0 0 60956 259 4 3 20 0 15 0 222461663 11272552448 2111565 33554432000 4194304 4196468 140723908910576 140382994623704 140383441165902 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17220] ppid=17160 vsize=11008352 memory=1836 CPUtime=608.35 cores=1,3,5,7
/proc/17163/task/17220/stat : 17220 (java) R 17160 17163 14233 0 -1 4202560 276167 12865 0 0 60541 287 4 3 20 0 15 0 222461663 11272552448 2111565 33554432000 4194304 4196468 140723908910576 140382993570544 140383448842983 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17221] ppid=17160 vsize=11008352 memory=1132 CPUtime=13.32 cores=1,3,5,7
/proc/17163/task/17221/stat : 17221 (java) S 17160 17163 14233 0 -1 1077944384 324050 12865 0 0 1309 16 4 3 20 0 15 0 222461664 11272552448 2111565 33554432000 4194304 4196468 140723908910576 140382881952096 140383456224981 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17222] ppid=17160 vsize=11008352 memory=6640 CPUtime=0.07 cores=1,3,5,7
/proc/17163/task/17222/stat : 17222 (java) S 17160 17163 14233 0 -1 1077944384 39 12865 0 0 0 0 4 3 20 0 15 0 222461665 11272552448 2111565 33554432000 4194304 4196468 140723908910576 140382294762464 140383456224981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17223] ppid=17160 vsize=11008352 memory=5420 CPUtime=0.07 cores=1,3,5,7
/proc/17163/task/17223/stat : 17223 (java) S 17160 17163 14233 0 -1 1077944384 22 12865 0 0 0 0 4 3 20 0 15 0 222461665 11272552448 2111565 33554432000 4194304 4196468 140723908910576 140382146913280 140383456224981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17224] ppid=17160 vsize=11008352 memory=4424 CPUtime=0.07 cores=1,3,5,7
/proc/17163/task/17224/stat : 17224 (java) S 17160 17163 14233 0 -1 1077944384 7 12865 0 0 0 0 4 3 20 0 15 0 222461668 11272552448 2111565 33554432000 4194304 4196468 140723908910576 140381839513456 140383456224981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17225] ppid=17160 vsize=11008352 memory=1380 CPUtime=4.93 cores=1,3,5,7
/proc/17163/task/17225/stat : 17225 (java) S 17160 17163 14233 0 -1 1077944384 6725 12865 0 0 484 2 4 3 20 0 15 0 222461668 11272552448 2111565 33554432000 4194304 4196468 140723908910576 140382880901376 140383456224981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17226] ppid=17160 vsize=11008352 memory=6791534058613427641 CPUtime=5.29 cores=1,3,5,7
/proc/17163/task/17226/stat : 17226 (java) S 17160 17163 14233 0 -1 1077944384 7233 12865 0 0 520 2 4 3 20 0 15 0 222461668 11272552448 2111565 33554432000 4194304 4196468 140723908910576 140382879849120 140383456224981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17227] ppid=17160 vsize=11008352 memory=2260 CPUtime=1.84 cores=1,3,5,7
/proc/17163/task/17227/stat : 17227 (java) S 17160 17163 14233 0 -1 1077944384 11791 12865 0 0 173 4 4 3 20 0 15 0 222461668 11272552448 2111565 33554432000 4194304 4196468 140723908910576 140382878796576 140383456224981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17228] ppid=17160 vsize=11008352 memory=1788 CPUtime=0.07 cores=1,3,5,7
/proc/17163/task/17228/stat : 17228 (java) S 17160 17163 14233 0 -1 1077944384 3 12865 0 0 0 0 4 3 20 0 15 0 222461668 11272552448 2111565 33554432000 4194304 4196468 140723908910576 140381408717920 140383456224981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17229] ppid=17160 vsize=11008352 memory=860 CPUtime=0.47 cores=1,3,5,7
/proc/17163/task/17229/stat : 17229 (java) S 17160 17163 14233 0 -1 1077944384 820 12865 0 0 24 16 4 3 20 0 15 0 222461668 11272552448 2111565 33554432000 4194304 4196468 140723908910576 140382877743408 140383456225922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
Current children cumulated CPU time: 2522.48 s
Current children cumulated vsize: 11008352 KiB
Current children cumulated memory: 8446260 KiB
[startup+696.801 s]
/proc/loadavg: 4.83 4.45 3.13 6/216 17505
/proc/meminfo: memFree=490996/32770624 swapFree=67108496/67108860
[pid=17163] ppid=17160 vsize=11008352 memory=8446260 CPUtime=2525.55 cores=1,3,5,7
/proc/17163/stat : 17163 (java) S 17160 17163 14233 0 -1 1077944320 1686844 12865 0 0 251316 1232 4 3 20 0 15 0 222461654 11272552448 2111565 33554432000 4194304 4196468 140723908910576 140723908893120 140383456214775 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
/proc/17163/statm: 2752088 2111565 3525 1 0 2713741 0
[pid=17163/tid=17216] ppid=17160 vsize=11008352 memory=8446260 CPUtime=62.69 cores=1,3,5,7
/proc/17163/task/17216/stat : 17216 (java) S 17160 17163 14233 0 -1 1077944384 83600 12865 0 0 6206 56 4 3 20 0 15 0 222461662 11272552448 2111565 33554432000 4194304 4196468 140723908910576 140383428048704 140383456224981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17217] ppid=17160 vsize=11008352 memory=6791534058613427641 CPUtime=606.26 cores=1,3,5,7
/proc/17163/task/17217/stat : 17217 (java) R 17160 17163 14233 0 -1 4202560 262652 12865 0 0 60299 320 4 3 20 0 15 0 222461663 11272552448 2111565 33554432000 4194304 4196468 140723908910576 140383460457128 140383448842983 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17218] ppid=17160 vsize=11008352 memory=1224 CPUtime=609.17 cores=1,3,5,7
/proc/17163/task/17218/stat : 17218 (java) R 17160 17163 14233 0 -1 4202560 402155 12865 0 0 60632 278 4 3 20 0 15 0 222461663 11272552448 2111565 33554432000 4194304 4196468 140723908910576 140383356660208 140383448842983 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17219] ppid=17160 vsize=11008352 memory=2260 CPUtime=613.01 cores=1,3,5,7
/proc/17163/task/17219/stat : 17219 (java) R 17160 17163 14233 0 -1 4202560 309386 12865 0 0 61035 259 4 3 20 0 15 0 222461663 11272552448 2111565 33554432000 4194304 4196468 140723908910576 140382994623704 140383437811233 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17220] ppid=17160 vsize=11008352 memory=1788 CPUtime=609.11 cores=1,3,5,7
/proc/17163/task/17220/stat : 17220 (java) R 17160 17163 14233 0 -1 4202560 276167 12865 0 0 60617 287 4 3 20 0 15 0 222461663 11272552448 2111565 33554432000 4194304 4196468 140723908910576 140382993570544 140383448842983 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17221] ppid=17160 vsize=11008352 memory=860 CPUtime=13.32 cores=1,3,5,7
/proc/17163/task/17221/stat : 17221 (java) S 17160 17163 14233 0 -1 1077944384 324050 12865 0 0 1309 16 4 3 20 0 15 0 222461664 11272552448 2111565 33554432000 4194304 4196468 140723908910576 140382881952096 140383456224981 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17222] ppid=17160 vsize=11008352 memory=12604 CPUtime=0.07 cores=1,3,5,7
/proc/17163/task/17222/stat : 17222 (java) S 17160 17163 14233 0 -1 1077944384 39 12865 0 0 0 0 4 3 20 0 15 0 222461665 11272552448 2111565 33554432000 4194304 4196468 140723908910576 140382294762464 140383456224981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17223] ppid=17160 vsize=11008352 memory=756 CPUtime=0.07 cores=1,3,5,7
/proc/17163/task/17223/stat : 17223 (java) S 17160 17163 14233 0 -1 1077944384 22 12865 0 0 0 0 4 3 20 0 15 0 222461665 11272552448 2111565 33554432000 4194304 4196468 140723908910576 140382146913280 140383456224981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17224] ppid=17160 vsize=11008352 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/17163/task/17224/stat : 17224 (java) S 17160 17163 14233 0 -1 1077944384 7 12865 0 0 0 0 4 3 20 0 15 0 222461668 11272552448 2111565 33554432000 4194304 4196468 140723908910576 140381839513456 140383456224981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17225] ppid=17160 vsize=11008352 memory=1836 CPUtime=4.93 cores=1,3,5,7
/proc/17163/task/17225/stat : 17225 (java) S 17160 17163 14233 0 -1 1077944384 6725 12865 0 0 484 2 4 3 20 0 15 0 222461668 11272552448 2111565 33554432000 4194304 4196468 140723908910576 140382880901376 140383456224981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17226] ppid=17160 vsize=11008352 memory=1132 CPUtime=5.29 cores=1,3,5,7
/proc/17163/task/17226/stat : 17226 (java) S 17160 17163 14233 0 -1 1077944384 7233 12865 0 0 520 2 4 3 20 0 15 0 222461668 11272552448 2111565 33554432000 4194304 4196468 140723908910576 140382879849120 140383456224981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17227] ppid=17160 vsize=11008352 memory=6640 CPUtime=1.84 cores=1,3,5,7
/proc/17163/task/17227/stat : 17227 (java) S 17160 17163 14233 0 -1 1077944384 11791 12865 0 0 173 4 4 3 20 0 15 0 222461668 11272552448 2111565 33554432000 4194304 4196468 140723908910576 140382878796576 140383456224981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17228] ppid=17160 vsize=11008352 memory=5420 CPUtime=0.07 cores=1,3,5,7
/proc/17163/task/17228/stat : 17228 (java) S 17160 17163 14233 0 -1 1077944384 3 12865 0 0 0 0 4 3 20 0 15 0 222461668 11272552448 2111565 33554432000 4194304 4196468 140723908910576 140381408717920 140383456224981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17229] ppid=17160 vsize=11008352 memory=4424 CPUtime=0.47 cores=1,3,5,7
/proc/17163/task/17229/stat : 17229 (java) S 17160 17163 14233 0 -1 1077944384 820 12865 0 0 24 16 4 3 20 0 15 0 222461668 11272552448 2111565 33554432000 4194304 4196468 140723908910576 140382877743408 140383456225922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
Current children cumulated CPU time: 2525.55 s
Current children cumulated vsize: 11008352 KiB
Current children cumulated memory: 8446260 KiB
[startup+697.201 s]
/proc/loadavg: 4.83 4.45 3.13 6/216 17505
/proc/meminfo: memFree=490996/32770624 swapFree=67108496/67108860
[pid=17163] ppid=17160 vsize=11008352 memory=8446260 CPUtime=2527.09 cores=1,3,5,7
/proc/17163/stat : 17163 (java) S 17160 17163 14233 0 -1 1077944320 1686846 12865 0 0 251470 1232 4 3 20 0 15 0 222461654 11272552448 2111565 33554432000 4194304 4196468 140723908910576 140723908893120 140383456214775 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
/proc/17163/statm: 2752088 2111565 3525 1 0 2713741 0
[pid=17163/tid=17216] ppid=17160 vsize=11008352 memory=288230583166042426 CPUtime=62.69 cores=1,3,5,7
/proc/17163/task/17216/stat : 17216 (java) S 17160 17163 14233 0 -1 1077944384 83600 12865 0 0 6206 56 4 3 20 0 15 0 222461662 11272552448 2111565 33554432000 4194304 4196468 140723908910576 140383428048704 140383456224981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17217] ppid=17160 vsize=11008352 memory=14694093276057294 CPUtime=606.64 cores=1,3,5,7
/proc/17163/task/17217/stat : 17217 (java) R 17160 17163 14233 0 -1 4202560 262652 12865 0 0 60336 321 4 3 20 0 15 0 222461663 11272552448 2111565 33554432000 4194304 4196468 140723908910576 140383460457128 140383448842983 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17218] ppid=17160 vsize=11008352 memory=33860 CPUtime=609.56 cores=1,3,5,7
/proc/17163/task/17218/stat : 17218 (java) R 17160 17163 14233 0 -1 4202560 402155 12865 0 0 60671 278 4 3 20 0 15 0 222461663 11272552448 2111565 33554432000 4194304 4196468 140723908910576 140383356660208 140383448842983 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17219] ppid=17160 vsize=11008352 memory=1180 CPUtime=613.41 cores=1,3,5,7
/proc/17163/task/17219/stat : 17219 (java) R 17160 17163 14233 0 -1 4202560 309386 12865 0 0 61075 259 4 3 20 0 15 0 222461663 11272552448 2111565 33554432000 4194304 4196468 140723908910576 140382994623704 140383441165902 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17220] ppid=17160 vsize=11008352 memory=504 CPUtime=609.49 cores=1,3,5,7
/proc/17163/task/17220/stat : 17220 (java) R 17160 17163 14233 0 -1 4202560 276167 12865 0 0 60655 287 4 3 20 0 15 0 222461663 11272552448 2111565 33554432000 4194304 4196468 140723908910576 140382993570856 140383448842983 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17221] ppid=17160 vsize=11008352 memory=1720 CPUtime=13.32 cores=1,3,5,7
/proc/17163/task/17221/stat : 17221 (java) S 17160 17163 14233 0 -1 1077944384 324050 12865 0 0 1309 16 4 3 20 0 15 0 222461664 11272552448 2111565 33554432000 4194304 4196468 140723908910576 140382881952096 140383456224981 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17222] ppid=17160 vsize=11008352 memory=928 CPUtime=0.07 cores=1,3,5,7
/proc/17163/task/17222/stat : 17222 (java) S 17160 17163 14233 0 -1 1077944384 39 12865 0 0 0 0 4 3 20 0 15 0 222461665 11272552448 2111565 33554432000 4194304 4196468 140723908910576 140382294762464 140383456224981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17223] ppid=17160 vsize=11008352 memory=2288 CPUtime=0.07 cores=1,3,5,7
/proc/17163/task/17223/stat : 17223 (java) S 17160 17163 14233 0 -1 1077944384 22 12865 0 0 0 0 4 3 20 0 15 0 222461665 11272552448 2111565 33554432000 4194304 4196468 140723908910576 140382146913280 140383456224981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17224] ppid=17160 vsize=11008352 memory=932 CPUtime=0.07 cores=1,3,5,7
/proc/17163/task/17224/stat : 17224 (java) S 17160 17163 14233 0 -1 1077944384 7 12865 0 0 0 0 4 3 20 0 15 0 222461668 11272552448 2111565 33554432000 4194304 4196468 140723908910576 140381839513456 140383456224981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17225] ppid=17160 vsize=11008352 memory=1564 CPUtime=4.93 cores=1,3,5,7
/proc/17163/task/17225/stat : 17225 (java) S 17160 17163 14233 0 -1 1077944384 6725 12865 0 0 484 2 4 3 20 0 15 0 222461668 11272552448 2111565 33554432000 4194304 4196468 140723908910576 140382880901376 140383456224981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17226] ppid=17160 vsize=11008352 memory=2212 CPUtime=5.29 cores=1,3,5,7
/proc/17163/task/17226/stat : 17226 (java) S 17160 17163 14233 0 -1 1077944384 7233 12865 0 0 520 2 4 3 20 0 15 0 222461668 11272552448 2111565 33554432000 4194304 4196468 140723908910576 140382879849120 140383456224981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17227] ppid=17160 vsize=11008352 memory=3988 CPUtime=1.84 cores=1,3,5,7
/proc/17163/task/17227/stat : 17227 (java) S 17160 17163 14233 0 -1 1077944384 11791 12865 0 0 173 4 4 3 20 0 15 0 222461668 11272552448 2111565 33554432000 4194304 4196468 140723908910576 140382878796576 140383456224981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17228] ppid=17160 vsize=11008352 memory=2048 CPUtime=0.07 cores=1,3,5,7
/proc/17163/task/17228/stat : 17228 (java) S 17160 17163 14233 0 -1 1077944384 3 12865 0 0 0 0 4 3 20 0 15 0 222461668 11272552448 2111565 33554432000 4194304 4196468 140723908910576 140381408717920 140383456224981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17229] ppid=17160 vsize=11008352 memory=8446260 CPUtime=0.47 cores=1,3,5,7
/proc/17163/task/17229/stat : 17229 (java) S 17160 17163 14233 0 -1 1077944384 822 12865 0 0 24 16 4 3 20 0 15 0 222461668 11272552448 2111565 33554432000 4194304 4196468 140723908910576 140382877743408 140383456225922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
Current children cumulated CPU time: 2527.09 s
Current children cumulated vsize: 11008352 KiB
Current children cumulated memory: 8446260 KiB
[startup+697.401 s]
/proc/loadavg: 4.83 4.45 3.13 6/216 17505
/proc/meminfo: memFree=490996/32770624 swapFree=67108496/67108860
[pid=17163] ppid=17160 vsize=11008352 memory=8446260 CPUtime=2527.86 cores=1,3,5,7
/proc/17163/stat : 17163 (java) S 17160 17163 14233 0 -1 1077944320 1686846 12865 0 0 251547 1232 4 3 20 0 15 0 222461654 11272552448 2111565 33554432000 4194304 4196468 140723908910576 140723908893120 140383456214775 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
/proc/17163/statm: 2752088 2111565 3525 1 0 2713741 0
[pid=17163/tid=17216] ppid=17160 vsize=11008352 memory=1624 CPUtime=62.69 cores=1,3,5,7
/proc/17163/task/17216/stat : 17216 (java) S 17160 17163 14233 0 -1 1077944384 83600 12865 0 0 6206 56 4 3 20 0 15 0 222461662 11272552448 2111565 33554432000 4194304 4196468 140723908910576 140383428048704 140383456224981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17217] ppid=17160 vsize=11008352 memory=1836 CPUtime=606.83 cores=1,3,5,7
/proc/17163/task/17217/stat : 17217 (java) R 17160 17163 14233 0 -1 4202560 262652 12865 0 0 60355 321 4 3 20 0 15 0 222461663 11272552448 2111565 33554432000 4194304 4196468 140723908910576 140383460457128 140383448842983 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17218] ppid=17160 vsize=11008352 memory=1132 CPUtime=609.75 cores=1,3,5,7
/proc/17163/task/17218/stat : 17218 (java) R 17160 17163 14233 0 -1 4202560 402155 12865 0 0 60690 278 4 3 20 0 15 0 222461663 11272552448 2111565 33554432000 4194304 4196468 140723908910576 140383356660208 140383448842983 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17219] ppid=17160 vsize=11008352 memory=6640 CPUtime=613.61 cores=1,3,5,7
/proc/17163/task/17219/stat : 17219 (java) R 17160 17163 14233 0 -1 4202560 309386 12865 0 0 61095 259 4 3 20 0 15 0 222461663 11272552448 2111565 33554432000 4194304 4196468 140723908910576 140382994623704 140383440912472 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17220] ppid=17160 vsize=11008352 memory=5420 CPUtime=609.68 cores=1,3,5,7
/proc/17163/task/17220/stat : 17220 (java) R 17160 17163 14233 0 -1 4202560 276167 12865 0 0 60674 287 4 3 20 0 15 0 222461663 11272552448 2111565 33554432000 4194304 4196468 140723908910576 140382993570544 140383448842983 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17221] ppid=17160 vsize=11008352 memory=4424 CPUtime=13.32 cores=1,3,5,7
/proc/17163/task/17221/stat : 17221 (java) S 17160 17163 14233 0 -1 1077944384 324050 12865 0 0 1309 16 4 3 20 0 15 0 222461664 11272552448 2111565 33554432000 4194304 4196468 140723908910576 140382881952096 140383456224981 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17222] ppid=17160 vsize=11008352 memory=1380 CPUtime=0.07 cores=1,3,5,7
/proc/17163/task/17222/stat : 17222 (java) S 17160 17163 14233 0 -1 1077944384 39 12865 0 0 0 0 4 3 20 0 15 0 222461665 11272552448 2111565 33554432000 4194304 4196468 140723908910576 140382294762464 140383456224981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17223] ppid=17160 vsize=11008352 memory=8446260 CPUtime=0.07 cores=1,3,5,7
/proc/17163/task/17223/stat : 17223 (java) S 17160 17163 14233 0 -1 1077944384 22 12865 0 0 0 0 4 3 20 0 15 0 222461665 11272552448 2111565 33554432000 4194304 4196468 140723908910576 140382146913280 140383456224981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17224] ppid=17160 vsize=11008352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17163/task/17224/stat : 17224 (java) S 17160 17163 14233 0 -1 1077944384 7 12865 0 0 0 0 4 3 20 0 15 0 222461668 11272552448 2111565 33554432000 4194304 4196468 140723908910576 140381839513456 140383456224981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17225] ppid=17160 vsize=11008352 memory=7100839878645619564 CPUtime=4.93 cores=1,3,5,7
/proc/17163/task/17225/stat : 17225 (java) S 17160 17163 14233 0 -1 1077944384 6725 12865 0 0 484 2 4 3 20 0 15 0 222461668 11272552448 2111565 33554432000 4194304 4196468 140723908910576 140382880901376 140383456224981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17226] ppid=17160 vsize=11008352 memory=7897517683652307531 CPUtime=5.29 cores=1,3,5,7
/proc/17163/task/17226/stat : 17226 (java) S 17160 17163 14233 0 -1 1077944384 7233 12865 0 0 520 2 4 3 20 0 15 0 222461668 11272552448 2111565 33554432000 4194304 4196468 140723908910576 140382879849120 140383456224981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17227] ppid=17160 vsize=11008352 memory=8514726395715349656 CPUtime=1.84 cores=1,3,5,7
/proc/17163/task/17227/stat : 17227 (java) S 17160 17163 14233 0 -1 1077944384 11791 12865 0 0 173 4 4 3 20 0 15 0 222461668 11272552448 2111565 33554432000 4194304 4196468 140723908910576 140382878796576 140383456224981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17228] ppid=17160 vsize=11008352 memory=6948037616782961728 CPUtime=0.07 cores=1,3,5,7
/proc/17163/task/17228/stat : 17228 (java) S 17160 17163 14233 0 -1 1077944384 3 12865 0 0 0 0 4 3 20 0 15 0 222461668 11272552448 2111565 33554432000 4194304 4196468 140723908910576 140381408717920 140383456224981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
[pid=17163/tid=17229] ppid=17160 vsize=11008352 memory=6948037616782961728 CPUtime=0.47 cores=1,3,5,7
/proc/17163/task/17229/stat : 17229 (java) S 17160 17163 14233 0 -1 1077944384 822 12865 0 0 24 16 4 3 20 0 15 0 222461668 11272552448 2111565 33554432000 4194304 4196468 140723908910576 140382877743408 140383456225922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6492160 140723908917869 140723908920668 140723908920668 140723908923343 0
Current children cumulated CPU time: 2527.86 s
Current children cumulated vsize: 11008352 KiB
Current children cumulated memory: 8446260 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 697.479
CPU time (s): 2527.98
CPU user time (s): 2515.55
CPU system time (s): 12.4338
CPU usage (%): 362.445
Max. virtual memory (cumulated for all children) (KiB): 11008352
Max. memory (cumulated for all children) (KiB): 8446260
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.55
system time used= 12.4338
maximum resident set size= 8446440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1699713
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1048
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 55079
involuntary context switches= 34727
# summary of solver processes directly reported to runsolver:
# pid: 17163
# total CPU time (s): 2527.98
# total CPU user time (s): 2515.55
# total CPU system time (s): 12.4338
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.24486 second user time and 6.92559 second system time
The end