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 (10815 MiB free)
memory of node 1: 16384 MiB (15632 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396237-1568401476/watcher-4396237-1568401476 -o /tmp/evaluation-result-4396237-1568401476/solver-4396237-1568401476 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1568401436-22174 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1205319357 HOME/instance-4396237-1568401476.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=22199, runsolver pid=22194
Current StackSize limit: 8192 KiB
[startup+0.100926 s]*
/proc/loadavg: 0.67 0.73 0.98 3/208 22314
/proc/meminfo: memFree=27068136/32770624 swapFree=67020672/67108860
[pid=22199] ppid=22194 vsize=9972712 memory=18956 CPUtime=0.08 cores=1,3,5,7
/proc/22199/stat : 22199 (java) S 22194 22199 22142 0 -1 1077944320 4474 13372 0 0 1 0 5 2 20 0 6 0 416420208 10212057088 4739 33554432000 4194304 4196468 140737067872800 140737067855344 139697176514295 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
/proc/22199/statm: 2493178 4739 1935 1 0 2481616 0
[pid=22199/tid=22307] ppid=22194 vsize=9972712 memory=-6517102902069810590 CPUtime=0.08 cores=1,3,5,7
/proc/22199/task/22307/stat : 22307 (java) R 22194 22199 22142 0 -1 4202560 2276 13372 0 0 1 0 5 2 20 0 6 0 416420217 10212057088 4739 33554432000 4194304 4196468 140737067872800 139697148351056 139697161637232 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22309] ppid=22194 vsize=9972712 memory=-9181546050914066336 CPUtime=0.07 cores=1,3,5,7
/proc/22199/task/22309/stat : 22309 (java) S 22194 22199 22142 0 -1 1077944384 1 13372 0 0 0 0 5 2 20 0 6 0 416420218 10212057088 4739 33554432000 4194304 4196468 140737067872800 139697180756240 139697176524501 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22310] ppid=22194 vsize=9972712 memory=140117086684800 CPUtime=0.07 cores=1,3,5,7
/proc/22199/task/22310/stat : 22310 (java) S 22194 22199 22142 0 -1 1077944384 1 13372 0 0 0 0 5 2 20 0 6 0 416420218 10212057088 4739 33554432000 4194304 4196468 140737067872800 139697101715856 139697176524501 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22311] ppid=22194 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22199/task/22311/stat : 22311 (java) S 22194 22199 22142 0 -1 1077944384 1 13372 0 0 0 0 5 2 20 0 6 0 416420218 10212057088 4739 33554432000 4194304 4196468 140737067872800 139696748177936 139697176524501 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22312] ppid=22194 vsize=9972712 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/22199/task/22312/stat : 22312 (java) S 22194 22199 22142 0 -1 1077944384 2 13372 0 0 0 0 5 2 20 0 6 0 416420218 10212057088 4739 33554432000 4194304 4196468 140737067872800 139696747125392 139697176524501 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18956 KiB
[startup+0.21037 s]*
/proc/loadavg: 0.67 0.73 0.98 4/228 22334
/proc/meminfo: memFree=27029724/32770624 swapFree=67020672/67108860
[pid=22199] ppid=22194 vsize=10819664 memory=38888 CPUtime=0.25 cores=1,3,5,7
/proc/22199/stat : 22199 (java) S 22194 22199 22142 0 -1 1077944320 7076 13372 0 0 17 1 5 2 20 0 15 0 416420208 11079335936 9722 33554432000 4194304 4196468 140737067872800 140737067855344 139697176514295 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
/proc/22199/statm: 2704916 9722 3164 1 0 2667149 0
[pid=22199/tid=22307] ppid=22194 vsize=10819664 memory=-5504934085814682416 CPUtime=0.18 cores=1,3,5,7
/proc/22199/task/22307/stat : 22307 (java) R 22194 22199 22142 0 -1 4202560 3552 13372 0 0 10 1 5 2 20 0 15 0 416420217 11079335936 9722 33554432000 4194304 4196468 140737067872800 139697148346832 139697162582414 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22309] ppid=22194 vsize=10819664 memory=-9181546050914066336 CPUtime=0.07 cores=1,3,5,7
/proc/22199/task/22309/stat : 22309 (java) S 22194 22199 22142 0 -1 1077944384 1 13372 0 0 0 0 5 2 20 0 15 0 416420218 11079335936 9722 33554432000 4194304 4196468 140737067872800 139697180756240 139697176524501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22310] ppid=22194 vsize=10819664 memory=140117086684800 CPUtime=0.07 cores=1,3,5,7
/proc/22199/task/22310/stat : 22310 (java) S 22194 22199 22142 0 -1 1077944384 1 13372 0 0 0 0 5 2 20 0 15 0 416420218 11079335936 9722 33554432000 4194304 4196468 140737067872800 139697101715856 139697176524501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22311] ppid=22194 vsize=10819664 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22199/task/22311/stat : 22311 (java) S 22194 22199 22142 0 -1 1077944384 1 13372 0 0 0 0 5 2 20 0 15 0 416420218 11079335936 9722 33554432000 4194304 4196468 140737067872800 139696748177936 139697176524501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22312] ppid=22194 vsize=10819664 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/22199/task/22312/stat : 22312 (java) S 22194 22199 22142 0 -1 1077944384 2 13372 0 0 0 0 5 2 20 0 15 0 416420218 11079335936 9722 33554432000 4194304 4196468 140737067872800 139696747125392 139697176524501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22317] ppid=22194 vsize=10819664 memory=140117086684800 CPUtime=0.07 cores=1,3,5,7
/proc/22199/task/22317/stat : 22317 (java) S 22194 22199 22142 0 -1 1077944384 2 13372 0 0 0 0 5 2 20 0 15 0 416420219 11079335936 9722 33554432000 4194304 4196468 140737067872800 139696703166960 139697176525442 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22319] ppid=22194 vsize=10819664 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/22199/task/22319/stat : 22319 (java) S 22194 22199 22142 0 -1 1077944384 13 13372 0 0 0 0 5 2 20 0 15 0 416420220 11079335936 9722 33554432000 4194304 4196468 140737067872800 139696092997024 139697176524501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22320] ppid=22194 vsize=10819664 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22199/task/22320/stat : 22320 (java) S 22194 22199 22142 0 -1 1077944384 1 13372 0 0 0 0 5 2 20 0 15 0 416420220 11079335936 10234 33554432000 4194304 4196468 140737067872800 139695958779376 139697176524501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22323] ppid=22194 vsize=10819664 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22199/task/22323/stat : 22323 (java) S 22194 22199 22142 0 -1 1077944384 3 13372 0 0 0 0 5 2 20 0 15 0 416420223 11079335936 10234 33554432000 4194304 4196468 140737067872800 139695718488784 139697176532891 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22324] ppid=22194 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22199/task/22324/stat : 22324 (java) S 22194 22199 22142 0 -1 1077944384 599 13372 0 0 1 0 5 2 20 0 15 0 416420223 11079335936 10234 33554432000 4194304 4196468 140737067872800 139696702113776 139697176525442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22325] ppid=22194 vsize=10819664 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/22199/task/22325/stat : 22325 (java) S 22194 22199 22142 0 -1 1077944384 66 13372 0 0 0 0 5 2 20 0 15 0 416420223 11079335936 10234 33554432000 4194304 4196468 140737067872800 139696701061232 139697176525442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22326] ppid=22194 vsize=10819664 memory=140117086684800 CPUtime=0.1 cores=1,3,5,7
/proc/22199/task/22326/stat : 22326 (java) R 22194 22199 22142 0 -1 4202560 623 13372 0 0 3 0 5 2 20 0 15 0 416420223 11079335936 10234 33554432000 4194304 4196468 140737067872800 139696700008688 139697155648791 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22327] ppid=22194 vsize=10819664 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/22199/task/22327/stat : 22327 (java) S 22194 22199 22142 0 -1 1077944384 3 13372 0 0 0 0 5 2 20 0 15 0 416420223 11079335936 10234 33554432000 4194304 4196468 140737067872800 139695684930144 139697176524501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22332] ppid=22194 vsize=10819664 memory=140117086684800 CPUtime=0.07 cores=1,3,5,7
/proc/22199/task/22332/stat : 22332 (java) S 22194 22199 22142 0 -1 1077944384 1 13372 0 0 0 0 5 2 20 0 15 0 416420223 11079335936 10234 33554432000 4194304 4196468 140737067872800 139696698956592 139697176525442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10819664 KiB
Current children cumulated memory: 38888 KiB
[startup+0.31039 s]*
/proc/loadavg: 0.67 0.73 0.98 5/228 22334
/proc/meminfo: memFree=27004132/32770624 swapFree=67020672/67108860
[pid=22199] ppid=22194 vsize=10820148 memory=50272 CPUtime=0.4 cores=1,3,5,7
/proc/22199/stat : 22199 (java) S 22194 22199 22142 0 -1 1077944320 10792 13372 0 0 30 3 5 2 20 0 15 0 416420208 11079831552 12568 33554432000 4194304 4196468 140737067872800 140737067855344 139697176514295 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
/proc/22199/statm: 2705037 12568 3316 1 0 2667149 0
[pid=22199/tid=22307] ppid=22194 vsize=10820148 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/22199/task/22307/stat : 22307 (java) R 22194 22199 22142 0 -1 4202560 7240 13372 0 0 19 2 5 2 20 0 15 0 416420217 11079831552 12633 33554432000 4194304 4196468 140737067872800 139697148314208 139697159013360 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22309] ppid=22194 vsize=10820148 memory=8025788835569559914 CPUtime=0.07 cores=1,3,5,7
/proc/22199/task/22309/stat : 22309 (java) S 22194 22199 22142 0 -1 1077944384 1 13372 0 0 0 0 5 2 20 0 15 0 416420218 11079831552 12633 33554432000 4194304 4196468 140737067872800 139697180756240 139697176524501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22310] ppid=22194 vsize=10820148 memory=5787233549803348032 CPUtime=0.07 cores=1,3,5,7
/proc/22199/task/22310/stat : 22310 (java) S 22194 22199 22142 0 -1 1077944384 1 13372 0 0 0 0 5 2 20 0 15 0 416420218 11079831552 12633 33554432000 4194304 4196468 140737067872800 139697101715856 139697176524501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22311] ppid=22194 vsize=10820148 memory=7649539514166364354 CPUtime=0.07 cores=1,3,5,7
/proc/22199/task/22311/stat : 22311 (java) S 22194 22199 22142 0 -1 1077944384 1 13372 0 0 0 0 5 2 20 0 15 0 416420218 11079831552 12633 33554432000 4194304 4196468 140737067872800 139696748177936 139697176524501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22312] ppid=22194 vsize=10820148 memory=4872558044660077418 CPUtime=0.07 cores=1,3,5,7
/proc/22199/task/22312/stat : 22312 (java) S 22194 22199 22142 0 -1 1077944384 2 13372 0 0 0 0 5 2 20 0 15 0 416420218 11079831552 12633 33554432000 4194304 4196468 140737067872800 139696747125392 139697176524501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22317] ppid=22194 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22199/task/22317/stat : 22317 (java) S 22194 22199 22142 0 -1 1077944384 2 13372 0 0 0 0 5 2 20 0 15 0 416420219 11079831552 12633 33554432000 4194304 4196468 140737067872800 139696703166960 139697176525442 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22319] ppid=22194 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22199/task/22319/stat : 22319 (java) S 22194 22199 22142 0 -1 1077944384 13 13372 0 0 0 0 5 2 20 0 15 0 416420220 11079831552 12633 33554432000 4194304 4196468 140737067872800 139696092997024 139697176524501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22320] ppid=22194 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22199/task/22320/stat : 22320 (java) S 22194 22199 22142 0 -1 1077944384 1 13372 0 0 0 0 5 2 20 0 15 0 416420220 11079831552 12633 33554432000 4194304 4196468 140737067872800 139695958779376 139697176524501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22323] ppid=22194 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22199/task/22323/stat : 22323 (java) S 22194 22199 22142 0 -1 1077944384 3 13372 0 0 0 0 5 2 20 0 15 0 416420223 11079831552 12633 33554432000 4194304 4196468 140737067872800 139695718488784 139697176532891 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22324] ppid=22194 vsize=10820148 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/22199/task/22324/stat : 22324 (java) R 22194 22199 22142 0 -1 1077944384 599 13372 0 0 2 0 5 2 20 0 15 0 416420223 11079831552 12633 33554432000 4194304 4196468 140737067872800 139696702113776 139697176525442 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22325] ppid=22194 vsize=10820148 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/22199/task/22325/stat : 22325 (java) S 22194 22199 22142 0 -1 1077944384 76 13372 0 0 2 0 5 2 20 0 15 0 416420223 11079831552 12633 33554432000 4194304 4196468 140737067872800 139696701061232 139697176525442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22326] ppid=22194 vsize=10820148 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/22199/task/22326/stat : 22326 (java) S 22194 22199 22142 0 -1 1077944384 645 13372 0 0 5 0 5 2 20 0 15 0 416420223 11079831552 12633 33554432000 4194304 4196468 140737067872800 139696700008688 139697176525442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22327] ppid=22194 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22199/task/22327/stat : 22327 (java) S 22194 22199 22142 0 -1 1077944384 3 13372 0 0 0 0 5 2 20 0 15 0 416420223 11079831552 12633 33554432000 4194304 4196468 140737067872800 139695684930144 139697176524501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22332] ppid=22194 vsize=10820148 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22199/task/22332/stat : 22332 (java) S 22194 22199 22142 0 -1 1077944384 1 13372 0 0 0 0 5 2 20 0 15 0 416420223 11079831552 12633 33554432000 4194304 4196468 140737067872800 139696698956592 139697176525442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820148 KiB
Current children cumulated memory: 50272 KiB
[startup+0.700747 s]
/proc/loadavg: 0.67 0.73 0.98 4/228 22334
/proc/meminfo: memFree=26973976/32770624 swapFree=67020672/67108860
[pid=22199] ppid=22194 vsize=10824360 memory=83512 CPUtime=1.08 cores=1,3,5,7
/proc/22199/stat : 22199 (java) S 22194 22199 22142 0 -1 1077944320 15074 13372 0 0 97 4 5 2 20 0 15 0 416420208 11084144640 20878 33554432000 4194304 4196468 140737067872800 140737067855344 139697176514295 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
/proc/22199/statm: 2706090 20878 3503 1 0 2668173 0
[pid=22199/tid=22307] ppid=22194 vsize=10824360 memory=2241 CPUtime=0.65 cores=1,3,5,7
/proc/22199/task/22307/stat : 22307 (java) R 22194 22199 22142 0 -1 4202560 10306 13372 0 0 55 3 5 2 20 0 15 0 416420217 11084144640 20878 33554432000 4194304 4196468 140737067872800 139697148327008 139697176536221 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22309] ppid=22194 vsize=10824360 memory=2244 CPUtime=0.07 cores=1,3,5,7
/proc/22199/task/22309/stat : 22309 (java) S 22194 22199 22142 0 -1 1077944384 1 13372 0 0 0 0 5 2 20 0 15 0 416420218 11084144640 20878 33554432000 4194304 4196468 140737067872800 139697180756240 139697176524501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22310] ppid=22194 vsize=10824360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22199/task/22310/stat : 22310 (java) S 22194 22199 22142 0 -1 1077944384 1 13372 0 0 0 0 5 2 20 0 15 0 416420218 11084144640 20878 33554432000 4194304 4196468 140737067872800 139697101715856 139697176524501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22311] ppid=22194 vsize=10824360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22199/task/22311/stat : 22311 (java) S 22194 22199 22142 0 -1 1077944384 1 13372 0 0 0 0 5 2 20 0 15 0 416420218 11084144640 20878 33554432000 4194304 4196468 140737067872800 139696748177936 139697176524501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22312] ppid=22194 vsize=10824360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22199/task/22312/stat : 22312 (java) S 22194 22199 22142 0 -1 1077944384 2 13372 0 0 0 0 5 2 20 0 15 0 416420218 11084144640 20878 33554432000 4194304 4196468 140737067872800 139696747125392 139697176524501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22317] ppid=22194 vsize=10824360 memory=6944652177228980320 CPUtime=0.07 cores=1,3,5,7
/proc/22199/task/22317/stat : 22317 (java) S 22194 22199 22142 0 -1 1077944384 5 13372 0 0 0 0 5 2 20 0 15 0 416420219 11084144640 20878 33554432000 4194304 4196468 140737067872800 139696703166960 139697176525442 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22319] ppid=22194 vsize=10824360 memory=6944656592455359580 CPUtime=0.07 cores=1,3,5,7
/proc/22199/task/22319/stat : 22319 (java) S 22194 22199 22142 0 -1 1077944384 13 13372 0 0 0 0 5 2 20 0 15 0 416420220 11084144640 20878 33554432000 4194304 4196468 140737067872800 139696092997024 139697176524501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22320] ppid=22194 vsize=10824360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22199/task/22320/stat : 22320 (java) S 22194 22199 22142 0 -1 1077944384 1 13372 0 0 0 0 5 2 20 0 15 0 416420220 11084144640 20878 33554432000 4194304 4196468 140737067872800 139695958779376 139697176524501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22323] ppid=22194 vsize=10824360 memory=6944656592455097440 CPUtime=0.07 cores=1,3,5,7
/proc/22199/task/22323/stat : 22323 (java) S 22194 22199 22142 0 -1 1077944384 3 13372 0 0 0 0 5 2 20 0 15 0 416420223 11084144640 20878 33554432000 4194304 4196468 140737067872800 139695718488784 139697176532891 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22324] ppid=22194 vsize=10824360 memory=140116932724560 CPUtime=0.19 cores=1,3,5,7
/proc/22199/task/22324/stat : 22324 (java) S 22194 22199 22142 0 -1 1077944384 1013 13372 0 0 12 0 5 2 20 0 15 0 416420223 11084144640 20878 33554432000 4194304 4196468 140737067872800 139696702113776 139697176525442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22325] ppid=22194 vsize=10824360 memory=24964 CPUtime=0.19 cores=1,3,5,7
/proc/22199/task/22325/stat : 22325 (java) S 22194 22199 22142 0 -1 1077944384 643 13372 0 0 12 0 5 2 20 0 15 0 416420223 11084144640 20878 33554432000 4194304 4196468 140737067872800 139696701061232 139697176525442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22326] ppid=22194 vsize=10824360 memory=2244 CPUtime=0.24 cores=1,3,5,7
/proc/22199/task/22326/stat : 22326 (java) S 22194 22199 22142 0 -1 1077944384 872 13372 0 0 17 0 5 2 20 0 15 0 416420223 11084144640 20878 33554432000 4194304 4196468 140737067872800 139696700008688 139697176525442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22327] ppid=22194 vsize=10824360 memory=140116932722032 CPUtime=0.07 cores=1,3,5,7
/proc/22199/task/22327/stat : 22327 (java) S 22194 22199 22142 0 -1 1077944384 3 13372 0 0 0 0 5 2 20 0 15 0 416420223 11084144640 20878 33554432000 4194304 4196468 140737067872800 139695684930144 139697176524501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22332] ppid=22194 vsize=10824360 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22199/task/22332/stat : 22332 (java) S 22194 22199 22142 0 -1 1077944384 1 13372 0 0 0 0 5 2 20 0 15 0 416420223 11084144640 20878 33554432000 4194304 4196468 140737067872800 139696698956592 139697176525442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
Current children cumulated CPU time: 1.08 s
Current children cumulated vsize: 10824360 KiB
Current children cumulated memory: 83512 KiB
[startup+1.50072 s]
/proc/loadavg: 0.78 0.75 0.99 9/228 22334
/proc/meminfo: memFree=26830224/32770624 swapFree=67020672/67108860
[pid=22199] ppid=22194 vsize=10832628 memory=220912 CPUtime=2.9 cores=1,3,5,7
/proc/22199/stat : 22199 (java) S 22194 22199 22142 0 -1 1077944320 23823 13372 0 0 273 10 5 2 20 0 15 0 416420208 11092611072 55228 33554432000 4194304 4196468 140737067872800 140737067855344 139697176514295 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
/proc/22199/statm: 2708157 55228 3579 1 0 2670221 0
[pid=22199/tid=22307] ppid=22194 vsize=10832628 memory=24 CPUtime=1.41 cores=1,3,5,7
/proc/22199/task/22307/stat : 22307 (java) R 22194 22199 22142 0 -1 4202560 15418 13372 0 0 129 5 5 2 20 0 15 0 416420217 11092611072 55228 33554432000 4194304 4196468 140737067872800 139697148343024 139697176536221 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22309] ppid=22194 vsize=10832628 memory=29 CPUtime=0.08 cores=1,3,5,7
/proc/22199/task/22309/stat : 22309 (java) S 22194 22199 22142 0 -1 1077944384 61 13372 0 0 1 0 5 2 20 0 15 0 416420218 11092611072 55228 33554432000 4194304 4196468 140737067872800 139697180756240 139697176524501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22310] ppid=22194 vsize=10832628 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22199/task/22310/stat : 22310 (java) S 22194 22199 22142 0 -1 1077944384 32 13372 0 0 1 0 5 2 20 0 15 0 416420218 11092611072 55228 33554432000 4194304 4196468 140737067872800 139697101715856 139697176524501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22311] ppid=22194 vsize=10832628 memory=105556 CPUtime=0.08 cores=1,3,5,7
/proc/22199/task/22311/stat : 22311 (java) S 22194 22199 22142 0 -1 1077944384 89 13372 0 0 1 0 5 2 20 0 15 0 416420218 11092611072 55228 33554432000 4194304 4196468 140737067872800 139696748177936 139697176524501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22312] ppid=22194 vsize=10832628 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22199/task/22312/stat : 22312 (java) S 22194 22199 22142 0 -1 1077944384 305 13372 0 0 1 0 5 2 20 0 15 0 416420218 11092611072 55228 33554432000 4194304 4196468 140737067872800 139696747125392 139697176524501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22317] ppid=22194 vsize=10832628 memory=6944656592455359580 CPUtime=0.08 cores=1,3,5,7
/proc/22199/task/22317/stat : 22317 (java) S 22194 22199 22142 0 -1 1077944384 138 13372 0 0 1 0 5 2 20 0 15 0 416420219 11092611072 55228 33554432000 4194304 4196468 140737067872800 139696703166960 139697176525442 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22319] ppid=22194 vsize=10832628 memory=280233865952672 CPUtime=0.07 cores=1,3,5,7
/proc/22199/task/22319/stat : 22319 (java) S 22194 22199 22142 0 -1 1077944384 13 13372 0 0 0 0 5 2 20 0 15 0 416420220 11092611072 55228 33554432000 4194304 4196468 140737067872800 139696092997088 139697176524501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22320] ppid=22194 vsize=10832628 memory=280233866116112 CPUtime=0.07 cores=1,3,5,7
/proc/22199/task/22320/stat : 22320 (java) S 22194 22199 22142 0 -1 1077944384 2 13372 0 0 0 0 5 2 20 0 15 0 416420220 11092611072 55228 33554432000 4194304 4196468 140737067872800 139695958779392 139697176524501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22323] ppid=22194 vsize=10832628 memory=3472468395980806000 CPUtime=0.07 cores=1,3,5,7
/proc/22199/task/22323/stat : 22323 (java) S 22194 22199 22142 0 -1 1077944384 3 13372 0 0 0 0 5 2 20 0 15 0 416420223 11092611072 55228 33554432000 4194304 4196468 140737067872800 139695718488784 139697176532891 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22324] ppid=22194 vsize=10832628 memory=6943526294502006880 CPUtime=0.55 cores=1,3,5,7
/proc/22199/task/22324/stat : 22324 (java) S 22194 22199 22142 0 -1 1077944384 2004 13372 0 0 48 0 5 2 20 0 15 0 416420223 11092611072 55228 33554432000 4194304 4196468 140737067872800 139696702113776 139697176525442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22325] ppid=22194 vsize=10832628 memory=6944652177228980320 CPUtime=0.56 cores=1,3,5,7
/proc/22199/task/22325/stat : 22325 (java) S 22194 22199 22142 0 -1 1077944384 2107 13372 0 0 49 0 5 2 20 0 15 0 416420223 11092611072 55228 33554432000 4194304 4196468 140737067872800 139696701061232 139697176525442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22326] ppid=22194 vsize=10832628 memory=6944656592455359580 CPUtime=0.44 cores=1,3,5,7
/proc/22199/task/22326/stat : 22326 (java) S 22194 22199 22142 0 -1 1077944384 1437 13372 0 0 37 0 5 2 20 0 15 0 416420223 11092611072 55228 33554432000 4194304 4196468 140737067872800 139696700008688 139697176525442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22327] ppid=22194 vsize=10832628 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22199/task/22327/stat : 22327 (java) S 22194 22199 22142 0 -1 1077944384 3 13372 0 0 0 0 5 2 20 0 15 0 416420223 11092611072 55228 33554432000 4194304 4196468 140737067872800 139695684930144 139697176524501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22332] ppid=22194 vsize=10832628 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22199/task/22332/stat : 22332 (java) S 22194 22199 22142 0 -1 1077944384 1 13372 0 0 0 0 5 2 20 0 15 0 416420223 11092611072 55228 33554432000 4194304 4196468 140737067872800 139696698956592 139697176525442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
Current children cumulated CPU time: 2.9 s
Current children cumulated vsize: 10832628 KiB
################
# More data... #
################
/proc/22199/task/22307/stat : 22307 (java) R 22194 22199 22142 0 -1 4202560 122781 13372 0 0 237748 60 5 2 20 0 15 0 416420217 11109408768 577267 33554432000 4194304 4196468 140737067872800 139697148324528 139696794332359 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22309] ppid=22194 vsize=10849032 memory=2309036 CPUtime=2.08 cores=1,3,5,7
/proc/22199/task/22309/stat : 22309 (java) S 22194 22199 22142 0 -1 1077944384 27688 13372 0 0 189 12 5 2 20 0 15 0 416420218 11109408768 577267 33554432000 4194304 4196468 140737067872800 139697180756240 139697176524501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22310] ppid=22194 vsize=10849032 memory=2309036 CPUtime=2.1 cores=1,3,5,7
/proc/22199/task/22310/stat : 22310 (java) S 22194 22199 22142 0 -1 1077944384 22459 13372 0 0 191 12 5 2 20 0 15 0 416420218 11109408768 577267 33554432000 4194304 4196468 140737067872800 139697101715856 139697176524501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22311] ppid=22194 vsize=10849032 memory=2309068 CPUtime=2.08 cores=1,3,5,7
/proc/22199/task/22311/stat : 22311 (java) S 22194 22199 22142 0 -1 1077944384 24787 13372 0 0 190 11 5 2 20 0 15 0 416420218 11109408768 577267 33554432000 4194304 4196468 140737067872800 139696748177936 139697176524501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22312] ppid=22194 vsize=10849032 memory=2309068 CPUtime=2.09 cores=1,3,5,7
/proc/22199/task/22312/stat : 22312 (java) S 22194 22199 22142 0 -1 1077944384 20996 13372 0 0 189 13 5 2 20 0 15 0 416420218 11109408768 577267 33554432000 4194304 4196468 140737067872800 139696747125392 139697176524501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22317] ppid=22194 vsize=10849032 memory=2309068 CPUtime=1.53 cores=1,3,5,7
/proc/22199/task/22317/stat : 22317 (java) S 22194 22199 22142 0 -1 1077944384 24270 13372 0 0 135 11 5 2 20 0 15 0 416420219 11109408768 577267 33554432000 4194304 4196468 140737067872800 139696703166960 139697176525442 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22319] ppid=22194 vsize=10849032 memory=2309068 CPUtime=0.07 cores=1,3,5,7
/proc/22199/task/22319/stat : 22319 (java) S 22194 22199 22142 0 -1 1077944384 24 13372 0 0 0 0 5 2 20 0 15 0 416420220 11109408768 577267 33554432000 4194304 4196468 140737067872800 139696092997152 139697176524501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22320] ppid=22194 vsize=10849032 memory=2309068 CPUtime=0.07 cores=1,3,5,7
/proc/22199/task/22320/stat : 22320 (java) S 22194 22199 22142 0 -1 1077944384 32 13372 0 0 0 0 5 2 20 0 15 0 416420220 11109408768 577267 33554432000 4194304 4196468 140737067872800 139695958779552 139697176524501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22323] ppid=22194 vsize=10849032 memory=4120 CPUtime=0.07 cores=1,3,5,7
/proc/22199/task/22323/stat : 22323 (java) S 22194 22199 22142 0 -1 1077944384 3 13372 0 0 0 0 5 2 20 0 15 0 416420223 11109408768 577267 33554432000 4194304 4196468 140737067872800 139695718488784 139697176532891 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22324] ppid=22194 vsize=10849032 memory=2309068 CPUtime=6.36 cores=1,3,5,7
/proc/22199/task/22324/stat : 22324 (java) S 22194 22199 22142 0 -1 1077944384 38526 13372 0 0 624 5 5 2 20 0 15 0 416420223 11109408768 577267 33554432000 4194304 4196468 140737067872800 139696702113776 139697176525442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22325] ppid=22194 vsize=10849032 memory=288230583166042426 CPUtime=6.62 cores=1,3,5,7
/proc/22199/task/22325/stat : 22325 (java) S 22194 22199 22142 0 -1 1077944384 36538 13372 0 0 649 6 5 2 20 0 15 0 416420223 11109408768 577267 33554432000 4194304 4196468 140737067872800 139696701061232 139697176525442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22326] ppid=22194 vsize=10849032 memory=2309068 CPUtime=2.11 cores=1,3,5,7
/proc/22199/task/22326/stat : 22326 (java) S 22194 22199 22142 0 -1 1077944384 32825 13372 0 0 199 5 5 2 20 0 15 0 416420223 11109408768 577267 33554432000 4194304 4196468 140737067872800 139696700008688 139697176525442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22327] ppid=22194 vsize=10849032 memory=4120 CPUtime=0.07 cores=1,3,5,7
/proc/22199/task/22327/stat : 22327 (java) S 22194 22199 22142 0 -1 1077944384 3 13372 0 0 0 0 5 2 20 0 15 0 416420223 11109408768 577267 33554432000 4194304 4196468 140737067872800 139695684930144 139697176524501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22332] ppid=22194 vsize=10849032 memory=2309068 CPUtime=1.37 cores=1,3,5,7
/proc/22199/task/22332/stat : 22332 (java) S 22194 22199 22142 0 -1 1077944384 2698 13372 0 0 58 72 5 2 20 0 15 0 416420223 11109408768 577267 33554432000 4194304 4196468 140737067872800 139696698956592 139697176525442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
Current children cumulated CPU time: 2403.96 s
Current children cumulated vsize: 10849032 KiB
Current children cumulated memory: 2309068 KiB
[startup+2442.3 s]
/proc/loadavg: 1.30 1.46 1.46 3/228 22556
/proc/meminfo: memFree=22240116/32770624 swapFree=67020720/67108860
[pid=22199] ppid=22194 vsize=10849032 memory=2311196 CPUtime=2464.23 cores=1,3,5,7
/proc/22199/stat : 22199 (java) S 22194 22199 22142 0 -1 1077944320 359506 13372 0 0 246223 193 5 2 20 0 15 0 416420208 11109408768 577799 33554432000 4194304 4196468 140737067872800 140737067855344 139697176514295 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
/proc/22199/statm: 2712258 577799 3631 1 0 2674317 0
[pid=22199/tid=22307] ppid=22194 vsize=10849032 memory=2311180 CPUtime=2437.97 cores=1,3,5,7
/proc/22199/task/22307/stat : 22307 (java) R 22194 22199 22142 0 -1 4202560 124107 13372 0 0 243730 60 5 2 20 0 15 0 416420217 11109408768 577799 33554432000 4194304 4196468 140737067872800 139697148350112 139696794333040 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22309] ppid=22194 vsize=10849032 memory=2309116 CPUtime=2.17 cores=1,3,5,7
/proc/22199/task/22309/stat : 22309 (java) S 22194 22199 22142 0 -1 1077944384 28061 13372 0 0 198 12 5 2 20 0 15 0 416420218 11109408768 577799 33554432000 4194304 4196468 140737067872800 139697180756240 139697176524501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22310] ppid=22194 vsize=10849032 memory=2309084 CPUtime=2.19 cores=1,3,5,7
/proc/22199/task/22310/stat : 22310 (java) S 22194 22199 22142 0 -1 1077944384 22911 13372 0 0 199 13 5 2 20 0 15 0 416420218 11109408768 577799 33554432000 4194304 4196468 140737067872800 139697101715856 139697176524501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22311] ppid=22194 vsize=10849032 memory=2311172 CPUtime=2.17 cores=1,3,5,7
/proc/22199/task/22311/stat : 22311 (java) S 22194 22199 22142 0 -1 1077944384 25229 13372 0 0 198 12 5 2 20 0 15 0 416420218 11109408768 577799 33554432000 4194304 4196468 140737067872800 139696748177936 139697176524501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22312] ppid=22194 vsize=10849032 memory=2311180 CPUtime=2.17 cores=1,3,5,7
/proc/22199/task/22312/stat : 22312 (java) S 22194 22199 22142 0 -1 1077944384 21342 13372 0 0 197 13 5 2 20 0 15 0 416420218 11109408768 577799 33554432000 4194304 4196468 140737067872800 139696747125392 139697176524501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22317] ppid=22194 vsize=10849032 memory=2311180 CPUtime=1.59 cores=1,3,5,7
/proc/22199/task/22317/stat : 22317 (java) S 22194 22199 22142 0 -1 1077944384 24695 13372 0 0 141 11 5 2 20 0 15 0 416420219 11109408768 577799 33554432000 4194304 4196468 140737067872800 139696703166960 139697176525442 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22319] ppid=22194 vsize=10849032 memory=4120 CPUtime=0.07 cores=1,3,5,7
/proc/22199/task/22319/stat : 22319 (java) S 22194 22199 22142 0 -1 1077944384 24 13372 0 0 0 0 5 2 20 0 15 0 416420220 11109408768 577799 33554432000 4194304 4196468 140737067872800 139696092997152 139697176524501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22320] ppid=22194 vsize=10849032 memory=2311196 CPUtime=0.07 cores=1,3,5,7
/proc/22199/task/22320/stat : 22320 (java) S 22194 22199 22142 0 -1 1077944384 32 13372 0 0 0 0 5 2 20 0 15 0 416420220 11109408768 577799 33554432000 4194304 4196468 140737067872800 139695958779552 139697176524501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22323] ppid=22194 vsize=10849032 memory=2311196 CPUtime=0.07 cores=1,3,5,7
/proc/22199/task/22323/stat : 22323 (java) S 22194 22199 22142 0 -1 1077944384 3 13372 0 0 0 0 5 2 20 0 15 0 416420223 11109408768 577799 33554432000 4194304 4196468 140737067872800 139695718488784 139697176532891 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22324] ppid=22194 vsize=10849032 memory=2309084 CPUtime=6.36 cores=1,3,5,7
/proc/22199/task/22324/stat : 22324 (java) S 22194 22199 22142 0 -1 1077944384 38531 13372 0 0 624 5 5 2 20 0 15 0 416420223 11109408768 577799 33554432000 4194304 4196468 140737067872800 139696702113776 139697176525442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22325] ppid=22194 vsize=10849032 memory=2311180 CPUtime=6.62 cores=1,3,5,7
/proc/22199/task/22325/stat : 22325 (java) S 22194 22199 22142 0 -1 1077944384 36542 13372 0 0 649 6 5 2 20 0 15 0 416420223 11109408768 577799 33554432000 4194304 4196468 140737067872800 139696701061232 139697176525442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22326] ppid=22194 vsize=10849032 memory=2311180 CPUtime=2.11 cores=1,3,5,7
/proc/22199/task/22326/stat : 22326 (java) S 22194 22199 22142 0 -1 1077944384 33075 13372 0 0 199 5 5 2 20 0 15 0 416420223 11109408768 577799 33554432000 4194304 4196468 140737067872800 139696700008688 139697176525442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22327] ppid=22194 vsize=10849032 memory=2311180 CPUtime=0.07 cores=1,3,5,7
/proc/22199/task/22327/stat : 22327 (java) S 22194 22199 22142 0 -1 1077944384 3 13372 0 0 0 0 5 2 20 0 15 0 416420223 11109408768 577799 33554432000 4194304 4196468 140737067872800 139695684930144 139697176524501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22332] ppid=22194 vsize=10849032 memory=2311196 CPUtime=1.4 cores=1,3,5,7
/proc/22199/task/22332/stat : 22332 (java) S 22194 22199 22142 0 -1 1077944384 2741 13372 0 0 60 73 5 2 20 0 15 0 416420223 11109408768 577799 33554432000 4194304 4196468 140737067872800 139696698956592 139697176525442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
Current children cumulated CPU time: 2464.23 s
Current children cumulated vsize: 10849032 KiB
Current children cumulated memory: 2311196 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2497.9 s]
/proc/loadavg: 1.56 1.49 1.47 3/227 22819
/proc/meminfo: memFree=24602248/32770624 swapFree=67020720/67108860
[pid=22199] ppid=22194 vsize=10849032 memory=2311280 CPUtime=2520.06 cores=1,3,5,7
/proc/22199/stat : 22199 (java) S 22194 22199 22142 0 -1 1077944320 362140 13372 0 0 251802 197 5 2 20 0 15 0 416420208 11109408768 577820 33554432000 4194304 4196468 140737067872800 140737067855344 139697176514295 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
/proc/22199/statm: 2712258 577820 3631 1 0 2674317 0
[pid=22199/tid=22307] ppid=22194 vsize=10849032 memory=2311252 CPUtime=2493.38 cores=1,3,5,7
/proc/22199/task/22307/stat : 22307 (java) R 22194 22199 22142 0 -1 4202560 125018 13372 0 0 249270 61 5 2 20 0 15 0 416420217 11109408768 577820 33554432000 4194304 4196468 140737067872800 139697148349200 139696794331792 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22309] ppid=22194 vsize=10849032 memory=2311252 CPUtime=2.25 cores=1,3,5,7
/proc/22199/task/22309/stat : 22309 (java) S 22194 22199 22142 0 -1 1077944384 28442 13372 0 0 206 12 5 2 20 0 15 0 416420218 11109408768 577820 33554432000 4194304 4196468 140737067872800 139697180756240 139697176524501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22310] ppid=22194 vsize=10849032 memory=2311252 CPUtime=2.27 cores=1,3,5,7
/proc/22199/task/22310/stat : 22310 (java) S 22194 22199 22142 0 -1 1077944384 23198 13372 0 0 207 13 5 2 20 0 15 0 416420218 11109408768 577820 33554432000 4194304 4196468 140737067872800 139697101715856 139697176524501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22311] ppid=22194 vsize=10849032 memory=2311220 CPUtime=2.25 cores=1,3,5,7
/proc/22199/task/22311/stat : 22311 (java) S 22194 22199 22142 0 -1 1077944384 25479 13372 0 0 206 12 5 2 20 0 15 0 416420218 11109408768 577820 33554432000 4194304 4196468 140737067872800 139696748177936 139697176524501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22312] ppid=22194 vsize=10849032 memory=2311280 CPUtime=2.26 cores=1,3,5,7
/proc/22199/task/22312/stat : 22312 (java) S 22194 22199 22142 0 -1 1077944384 21678 13372 0 0 205 14 5 2 20 0 15 0 416420218 11109408768 577820 33554432000 4194304 4196468 140737067872800 139696747125392 139697176524501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22317] ppid=22194 vsize=10849032 memory=2311280 CPUtime=1.66 cores=1,3,5,7
/proc/22199/task/22317/stat : 22317 (java) S 22194 22199 22142 0 -1 1077944384 25120 13372 0 0 147 12 5 2 20 0 15 0 416420219 11109408768 577820 33554432000 4194304 4196468 140737067872800 139696703166960 139697176525442 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22319] ppid=22194 vsize=10849032 memory=2311280 CPUtime=0.07 cores=1,3,5,7
/proc/22199/task/22319/stat : 22319 (java) S 22194 22199 22142 0 -1 1077944384 24 13372 0 0 0 0 5 2 20 0 15 0 416420220 11109408768 577820 33554432000 4194304 4196468 140737067872800 139696092997152 139697176524501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22320] ppid=22194 vsize=10849032 memory=2311280 CPUtime=0.07 cores=1,3,5,7
/proc/22199/task/22320/stat : 22320 (java) S 22194 22199 22142 0 -1 1077944384 32 13372 0 0 0 0 5 2 20 0 15 0 416420220 11109408768 577820 33554432000 4194304 4196468 140737067872800 139695958779552 139697176524501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22323] ppid=22194 vsize=10849032 memory=1296 CPUtime=0.07 cores=1,3,5,7
/proc/22199/task/22323/stat : 22323 (java) S 22194 22199 22142 0 -1 1077944384 3 13372 0 0 0 0 5 2 20 0 15 0 416420223 11109408768 577820 33554432000 4194304 4196468 140737067872800 139695718488784 139697176532891 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22324] ppid=22194 vsize=10849032 memory=2184 CPUtime=6.36 cores=1,3,5,7
/proc/22199/task/22324/stat : 22324 (java) S 22194 22199 22142 0 -1 1077944384 38535 13372 0 0 624 5 5 2 20 0 15 0 416420223 11109408768 577820 33554432000 4194304 4196468 140737067872800 139696702113776 139697176525442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22325] ppid=22194 vsize=10849032 memory=2311280 CPUtime=6.62 cores=1,3,5,7
/proc/22199/task/22325/stat : 22325 (java) S 22194 22199 22142 0 -1 1077944384 36546 13372 0 0 649 6 5 2 20 0 15 0 416420223 11109408768 577820 33554432000 4194304 4196468 140737067872800 139696701061232 139697176525442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22326] ppid=22194 vsize=10849032 memory=2311280 CPUtime=2.11 cores=1,3,5,7
/proc/22199/task/22326/stat : 22326 (java) S 22194 22199 22142 0 -1 1077944384 33079 13372 0 0 199 5 5 2 20 0 15 0 416420223 11109408768 577820 33554432000 4194304 4196468 140737067872800 139696700008688 139697176525442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22327] ppid=22194 vsize=10849032 memory=1364 CPUtime=0.07 cores=1,3,5,7
/proc/22199/task/22327/stat : 22327 (java) S 22194 22199 22142 0 -1 1077944384 3 13372 0 0 0 0 5 2 20 0 15 0 416420223 11109408768 577820 33554432000 4194304 4196468 140737067872800 139695684930144 139697176524501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22332] ppid=22194 vsize=10849032 memory=1836 CPUtime=1.42 cores=1,3,5,7
/proc/22199/task/22332/stat : 22332 (java) S 22194 22199 22142 0 -1 1077944384 2773 13372 0 0 61 74 5 2 20 0 15 0 416420223 11109408768 577820 33554432000 4194304 4196468 140737067872800 139696698956592 139697176525442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10849032 KiB
Current children cumulated memory: 2311280 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2497.95 s]
# the end of solver process 22199 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.11 s, system=2.02459 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2497.9 s]
/proc/loadavg: 1.56 1.49 1.47 3/227 22819
/proc/meminfo: memFree=24602248/32770624 swapFree=67020720/67108860
[pid=22199] ppid=22194 vsize=10849032 memory=2311280 CPUtime=2520.06 cores=1,3,5,7
/proc/22199/stat : 22199 (java) S 22194 22199 22142 0 -1 1077944320 362140 13372 0 0 251802 197 5 2 20 0 15 0 416420208 11109408768 577820 33554432000 4194304 4196468 140737067872800 140737067855344 139697176514295 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
/proc/22199/statm: 2712258 577820 3631 1 0 2674317 0
[pid=22199/tid=22307] ppid=22194 vsize=10849032 memory=2311252 CPUtime=2493.38 cores=1,3,5,7
/proc/22199/task/22307/stat : 22307 (java) R 22194 22199 22142 0 -1 4202560 125018 13372 0 0 249270 61 5 2 20 0 15 0 416420217 11109408768 577820 33554432000 4194304 4196468 140737067872800 139697148349200 139696794331792 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22309] ppid=22194 vsize=10849032 memory=2311252 CPUtime=2.25 cores=1,3,5,7
/proc/22199/task/22309/stat : 22309 (java) S 22194 22199 22142 0 -1 1077944384 28442 13372 0 0 206 12 5 2 20 0 15 0 416420218 11109408768 577820 33554432000 4194304 4196468 140737067872800 139697180756240 139697176524501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22310] ppid=22194 vsize=10849032 memory=2311252 CPUtime=2.27 cores=1,3,5,7
/proc/22199/task/22310/stat : 22310 (java) S 22194 22199 22142 0 -1 1077944384 23198 13372 0 0 207 13 5 2 20 0 15 0 416420218 11109408768 577820 33554432000 4194304 4196468 140737067872800 139697101715856 139697176524501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22311] ppid=22194 vsize=10849032 memory=2311220 CPUtime=2.25 cores=1,3,5,7
/proc/22199/task/22311/stat : 22311 (java) S 22194 22199 22142 0 -1 1077944384 25479 13372 0 0 206 12 5 2 20 0 15 0 416420218 11109408768 577820 33554432000 4194304 4196468 140737067872800 139696748177936 139697176524501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22312] ppid=22194 vsize=10849032 memory=2311280 CPUtime=2.26 cores=1,3,5,7
/proc/22199/task/22312/stat : 22312 (java) S 22194 22199 22142 0 -1 1077944384 21678 13372 0 0 205 14 5 2 20 0 15 0 416420218 11109408768 577820 33554432000 4194304 4196468 140737067872800 139696747125392 139697176524501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22317] ppid=22194 vsize=10849032 memory=2311280 CPUtime=1.66 cores=1,3,5,7
/proc/22199/task/22317/stat : 22317 (java) S 22194 22199 22142 0 -1 1077944384 25120 13372 0 0 147 12 5 2 20 0 15 0 416420219 11109408768 577820 33554432000 4194304 4196468 140737067872800 139696703166960 139697176525442 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22319] ppid=22194 vsize=10849032 memory=2311280 CPUtime=0.07 cores=1,3,5,7
/proc/22199/task/22319/stat : 22319 (java) S 22194 22199 22142 0 -1 1077944384 24 13372 0 0 0 0 5 2 20 0 15 0 416420220 11109408768 577820 33554432000 4194304 4196468 140737067872800 139696092997152 139697176524501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22320] ppid=22194 vsize=10849032 memory=2311280 CPUtime=0.07 cores=1,3,5,7
/proc/22199/task/22320/stat : 22320 (java) S 22194 22199 22142 0 -1 1077944384 32 13372 0 0 0 0 5 2 20 0 15 0 416420220 11109408768 577820 33554432000 4194304 4196468 140737067872800 139695958779552 139697176524501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22323] ppid=22194 vsize=10849032 memory=1296 CPUtime=0.07 cores=1,3,5,7
/proc/22199/task/22323/stat : 22323 (java) S 22194 22199 22142 0 -1 1077944384 3 13372 0 0 0 0 5 2 20 0 15 0 416420223 11109408768 577820 33554432000 4194304 4196468 140737067872800 139695718488784 139697176532891 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22324] ppid=22194 vsize=10849032 memory=2184 CPUtime=6.36 cores=1,3,5,7
/proc/22199/task/22324/stat : 22324 (java) S 22194 22199 22142 0 -1 1077944384 38535 13372 0 0 624 5 5 2 20 0 15 0 416420223 11109408768 577820 33554432000 4194304 4196468 140737067872800 139696702113776 139697176525442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22325] ppid=22194 vsize=10849032 memory=2311280 CPUtime=6.62 cores=1,3,5,7
/proc/22199/task/22325/stat : 22325 (java) S 22194 22199 22142 0 -1 1077944384 36546 13372 0 0 649 6 5 2 20 0 15 0 416420223 11109408768 577820 33554432000 4194304 4196468 140737067872800 139696701061232 139697176525442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22326] ppid=22194 vsize=10849032 memory=2311280 CPUtime=2.11 cores=1,3,5,7
/proc/22199/task/22326/stat : 22326 (java) S 22194 22199 22142 0 -1 1077944384 33079 13372 0 0 199 5 5 2 20 0 15 0 416420223 11109408768 577820 33554432000 4194304 4196468 140737067872800 139696700008688 139697176525442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22327] ppid=22194 vsize=10849032 memory=1364 CPUtime=0.07 cores=1,3,5,7
/proc/22199/task/22327/stat : 22327 (java) S 22194 22199 22142 0 -1 1077944384 3 13372 0 0 0 0 5 2 20 0 15 0 416420223 11109408768 577820 33554432000 4194304 4196468 140737067872800 139695684930144 139697176524501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
[pid=22199/tid=22332] ppid=22194 vsize=10849032 memory=1836 CPUtime=1.42 cores=1,3,5,7
/proc/22199/task/22332/stat : 22332 (java) S 22194 22199 22142 0 -1 1077944384 2773 13372 0 0 61 74 5 2 20 0 15 0 416420223 11109408768 577820 33554432000 4194304 4196468 140737067872800 139696698956592 139697176525442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29073408 140737067879151 140737067881669 140737067881669 140737067884495 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10849032 KiB
Current children cumulated memory: 2311280 KiB
Child status: 143
Real time (s): 2497.95
CPU time (s): 2520.13
CPU user time (s): 2518.11
CPU system time (s): 2.02459
CPU usage (%): 100.888
Max. virtual memory (cumulated for all children) (KiB): 10849032
Max. memory (cumulated for all children) (KiB): 2460472
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.11
system time used= 2.02459
maximum resident set size= 2461580
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 376468
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3168
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 93381
involuntary context switches= 2947
# summary of solver processes directly reported to runsolver:
# pid: 22199
# total CPU time (s): 2520.13
# total CPU user time (s): 2518.11
# total CPU system time (s): 2.02459
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.1625 second user time and 20.8012 second system time
The end